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 /Makefile | |
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 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile index c867823fc485..c47603731ddc 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,5 @@ makefiles = \ local.mk \ - src/boost/format/local.mk \ src/libutil/local.mk \ src/libstore/local.mk \ src/libmain/local.mk \ |