diff options
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/release.nix b/release.nix index 834269ff7dc2..40df200fdc53 100644 --- a/release.nix +++ b/release.nix @@ -43,6 +43,8 @@ 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 = |