diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2015-03-31 01:11:57 -0400 |
---|---|---|
committer | Ben Darwin <bcdarwin@gmail.com> | 2015-03-31 01:11:57 -0400 |
commit | 54dab782bea50e03d31d241c72eda16b799b8deb (patch) | |
tree | 93a5fd98b94eabc4c5603981c7aed1a8641cc194 /pkgs/applications/science/logic/twelf | |
parent | 454b8b25aa1a3549e4b150ac5bcdb68e062977e8 (diff) | |
download | nixlib-54dab782bea50e03d31d241c72eda16b799b8deb.tar nixlib-54dab782bea50e03d31d241c72eda16b799b8deb.tar.gz nixlib-54dab782bea50e03d31d241c72eda16b799b8deb.tar.bz2 nixlib-54dab782bea50e03d31d241c72eda16b799b8deb.tar.lz nixlib-54dab782bea50e03d31d241c72eda16b799b8deb.tar.xz nixlib-54dab782bea50e03d31d241c72eda16b799b8deb.tar.zst nixlib-54dab782bea50e03d31d241c72eda16b799b8deb.zip |
twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd
Diffstat (limited to 'pkgs/applications/science/logic/twelf')
-rw-r--r-- | pkgs/applications/science/logic/twelf/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/twelf/default.nix b/pkgs/applications/science/logic/twelf/default.nix index 4d97f0480bb3..7d5724967c17 100644 --- a/pkgs/applications/science/logic/twelf/default.nix +++ b/pkgs/applications/science/logic/twelf/default.nix @@ -18,7 +18,8 @@ stdenv.mkDerivation rec { installPhase = '' mkdir -p $out/bin - rsync -av bin/* $out/bin/ + rsync -av bin/{*,.heap} $out/bin/ + bin/.mkexec ${smlnj}/bin/sml $out/ twelf-server twelf-server mkdir -p $out/share/emacs/site-lisp/twelf/ rsync -av emacs/ $out/share/emacs/site-lisp/twelf/ |