public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #7100 from bcdarwin/fix-twelf

Browse Source 
twelf: fix by actually including the Twelf SML heap image in the package...
This commit is contained in:
lethalman 2015-03-31 12:24:12 +02:00
commit 9151983435
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/science/logic/twelf/default.nix
View File

@ -18,7 +18,8 @@ stdenv.mkDerivation rec {
installPhase = '' installPhase = ''
mkdir -p $out/bin 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/ mkdir -p $out/share/emacs/site-lisp/twelf/
rsync -av emacs/ $out/share/emacs/site-lisp/twelf/ rsync -av emacs/ $out/share/emacs/site-lisp/twelf/