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

proverif: install emacs mode

Browse Source
This commit is contained in:
Vincent Laporte 2020-11-27 08:59:02 +01:00 committed by Vincent Laporte
parent a41808fff7
commit 8ee7c2505f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/applications/science/logic/proverif/default.nix
View File

@ -16,6 +16,7 @@ stdenv.mkDerivation rec {
mkdir -p $out/bin mkdir -p $out/bin
cp ./proverif $out/bin cp ./proverif $out/bin
cp ./proveriftotex $out/bin cp ./proveriftotex $out/bin
install -D -t $out/share/emacs/site-lisp/ emacs/proverif.el
''; '';
meta = { meta = {