diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-03-14T18·01+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-03-14T18·24+0100 |
| commit | ca14b142001ab467e679d4ed0cc6236180bf34b2 (patch) | |
| tree | b7d89f1b6703eea64dc3aa9e6f2f354c3cd9f0c3 /src/boost/format/local.mk | |
| parent | 56f2ed00813f49e2834076787f98438a976eebb1 (diff) | |
Use boost::format from the boost package
Note that this only requires headers from boost so it doesn't add a runtime dependency. Also, use Nixpkgs 18.03.
Diffstat (limited to 'src/boost/format/local.mk')
| -rw-r--r-- | src/boost/format/local.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/boost/format/local.mk b/src/boost/format/local.mk deleted file mode 100644 index 3776eff382fe..000000000000 --- a/src/boost/format/local.mk +++ /dev/null @@ -1,7 +0,0 @@ -libraries += libformat - -libformat_NAME = libnixformat - -libformat_DIR := $(d) - -libformat_SOURCES := $(wildcard $(d)/*.cc) |