diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-12-04T16·07+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-12-04T16·11+0100 |
commit | 7f2c324ed18cba4004ff89dfd84cf2df979b2571 (patch) | |
tree | 48ee765a4eefa021869e2f7f7ef18991f9a279d4 /release.nix | |
parent | f1efb97075d301c05f5fe974b9234f2920e83c27 (diff) |
Simplify build by including nlohmann/json.hpp
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/release.nix b/release.nix index c76966a1a440..c5c2170f78d0 100644 --- a/release.nix +++ b/release.nix @@ -43,8 +43,6 @@ let (cd perl ; autoreconf --install --force --verbose) # TeX needs a writable font cache. export VARTEXFONTS=$TMPDIR/texfonts - - cp -rv ${nlohmann_json}/include/nlohmann src/nlohmann ''; distPhase = |