diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-21 12:01:21 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-21 12:18:46 +0200 |
| commit | 4af2611bd105f365e568069463b1700d141dd0a8 (patch) | |
| tree | b222a94aba0780ebf34f65c0417488457e104f31 /release.nix | |
| parent | 4c6a26539c8c5d1163c1a6a6d22caf818376b36a (diff) | |
Allow builders to create activities
Actually, currently they can only create download activities. Thus,
downloads by builtins.fetchurl show up in the progress bar.
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 834269ff7..40df200fd 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 = |