diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2014-09-20 12:13:43 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2014-09-20 12:13:43 +0400 |
| commit | 18ca33ee7ccb2e00044f572b44c9920b65f51bba (patch) | |
| tree | bfcb674a1d9fac6c58074f1e744685d99eb6c637 /pkgs/development/interpreters | |
| parent | d22a3b8d0ea0911a07ec5f8cbb2b064ecb06f4a5 (diff) | |
| download | nixlib-18ca33ee7ccb2e00044f572b44c9920b65f51bba.tar nixlib-18ca33ee7ccb2e00044f572b44c9920b65f51bba.tar.gz nixlib-18ca33ee7ccb2e00044f572b44c9920b65f51bba.tar.bz2 nixlib-18ca33ee7ccb2e00044f572b44c9920b65f51bba.tar.lz nixlib-18ca33ee7ccb2e00044f572b44c9920b65f51bba.tar.xz nixlib-18ca33ee7ccb2e00044f572b44c9920b65f51bba.tar.zst nixlib-18ca33ee7ccb2e00044f572b44c9920b65f51bba.zip | |
Adopt fix from ewemoa to give more memory to acl2 build
Diffstat (limited to 'pkgs/development/interpreters')
| -rw-r--r-- | pkgs/development/interpreters/acl2/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix index 568551bb5ba5..e723133e256d 100644 --- a/pkgs/development/interpreters/acl2/default.nix +++ b/pkgs/development/interpreters/acl2/default.nix @@ -26,8 +26,8 @@ rec { doDeploy = (a.simplyShare installSuffix); doBuild = a.fullDepEntry ('' cd $out/share/${installSuffix} - make LISP=${a.sbcl}/bin/sbcl - make LISP=${a.sbcl}/bin/sbcl regression + make LISP='${a.sbcl}/bin/sbcl --dynamic-space-size 2000' + make LISP='${a.sbcl}/bin/sbcl --dynamic-space-size 2000' regression mkdir -p "$out/bin" cp saved_acl2 "$out/bin/acl2" '') ["doDeploy" "addInputs" "defEnsureDir"]; |