diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-05-12T13·59+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-05-12T13·59+0000 |
| commit | 8032f26ca0bd2233de066ce5786ff976bbd641ae (patch) | |
| tree | 954b2ecdce037dcf47b0376616ac05dbad8542ab /release.nix | |
| parent | 4750065ada362bd46e85879975a3148e18df5b0c (diff) | |
| parent | bd25ac2260267abd2181324e1650820da70e5e60 (diff) | |
* Merged the `fast-eval' branch.
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/release.nix b/release.nix index e9afe9c9e6cf..3343f8658091 100644 --- a/release.nix +++ b/release.nix @@ -29,11 +29,8 @@ let --with-xml-flags=--nonet ''; - # Include the ATerm and Bzip2 tarballs in the distribution. + # Include the Bzip2 tarball in the distribution. preConfigure = '' - stripHash ${aterm.src} - cp -pv ${aterm.src} externals/$strippedName - stripHash ${bzip2.src} cp -pv ${bzip2.src} externals/$strippedName @@ -77,7 +74,7 @@ let configureFlags = '' --disable-init-state - --with-aterm=${aterm} --with-bzip2=${bzip2} + --with-bzip2=${bzip2} ''; }; @@ -98,7 +95,7 @@ let configureFlags = '' --disable-init-state - --with-aterm=${aterm} --with-bzip2=${bzip2} + --with-bzip2=${bzip2} --enable-static-nix ''; }; @@ -123,7 +120,7 @@ let configureFlags = '' --disable-init-state --disable-shared - --with-aterm=${aterm} --with-bzip2=${bzip2} + --with-bzip2=${bzip2} ''; lcovFilter = ["*/boost/*" "*-tab.*"]; |