diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-11-27 08:59:02 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-11-29 14:05:14 +0100 |
commit | 8ee7c2505f9e7019aa69c8a6313e5f2d32a69f27 (patch) | |
tree | 6c8aed9ab6e274f7a9d9959cfcbcfb5725297f50 /pkgs/applications | |
parent | a41808fff7c8850b2f7e1472ffaddbb56eb810df (diff) |
proverif: install emacs mode
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/proverif/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/proverif/default.nix b/pkgs/applications/science/logic/proverif/default.nix index 6acae2bcb766..4242bb0599e9 100644 --- a/pkgs/applications/science/logic/proverif/default.nix +++ b/pkgs/applications/science/logic/proverif/default.nix @@ -16,6 +16,7 @@ stdenv.mkDerivation rec { mkdir -p $out/bin cp ./proverif $out/bin cp ./proveriftotex $out/bin + install -D -t $out/share/emacs/site-lisp/ emacs/proverif.el ''; meta = { |