diff options
| author | Dan Peebles <pumpkin@me.com> | 2016-09-08 23:11:36 -0400 |
|---|---|---|
| committer | Dan Peebles <pumpkin@me.com> | 2016-09-08 23:12:32 -0400 |
| commit | f285ce8fed1f585325ab7b6c1138db4d9ae06909 (patch) | |
| tree | e0171642e663060381fbe5a8627863ff9c8f3e62 /pkgs/applications/science/logic/twelf | |
| parent | c1d3c10607437474ae8dcb19c3a64ce30acfe7a7 (diff) | |
| download | nixlib-f285ce8fed1f585325ab7b6c1138db4d9ae06909.tar nixlib-f285ce8fed1f585325ab7b6c1138db4d9ae06909.tar.gz nixlib-f285ce8fed1f585325ab7b6c1138db4d9ae06909.tar.bz2 nixlib-f285ce8fed1f585325ab7b6c1138db4d9ae06909.tar.lz nixlib-f285ce8fed1f585325ab7b6c1138db4d9ae06909.tar.xz nixlib-f285ce8fed1f585325ab7b6c1138db4d9ae06909.tar.zst nixlib-f285ce8fed1f585325ab7b6c1138db4d9ae06909.zip | |
twelf: fix emacs mode
Diffstat (limited to 'pkgs/applications/science/logic/twelf')
| -rw-r--r-- | pkgs/applications/science/logic/twelf/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/twelf/default.nix b/pkgs/applications/science/logic/twelf/default.nix index 7d5724967c17..ca2422558e9a 100644 --- a/pkgs/applications/science/logic/twelf/default.nix +++ b/pkgs/applications/science/logic/twelf/default.nix @@ -21,6 +21,9 @@ stdenv.mkDerivation rec { rsync -av bin/{*,.heap} $out/bin/ bin/.mkexec ${smlnj}/bin/sml $out/ twelf-server twelf-server + substituteInPlace emacs/twelf-init.el \ + --replace '(concat twelf-root "emacs")' '(concat twelf-root "share/emacs/site-lisp/twelf")' + mkdir -p $out/share/emacs/site-lisp/twelf/ rsync -av emacs/ $out/share/emacs/site-lisp/twelf/ |