diff options
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 695521d39..a34a202ae 100644 --- a/release.nix +++ b/release.nix @@ -18,7 +18,7 @@ let inherit officialRelease; buildInputs = - [ curl bison flex2533 perl libxml2 libxslt w3m bzip2 + [ curl bison24 flex2535 perl libxml2 libxslt w3m bzip2 tetex dblatex nukeReferences ]; @@ -72,6 +72,7 @@ let configureFlags = '' --disable-init-state --with-bzip2=${bzip2} + --with-boehm-gc=${boehmgc} ''; }; |