diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-01-18 16:29:16 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-01-25 15:54:15 +0100 |
| commit | 8187f6500dc4817839df39f2cca044450867f6ca (patch) | |
| tree | f37b02722645533a9dd2617138ce3380a9b198f9 /pkgs/applications/science/logic/tamarin-prover | |
| parent | 36693d8c28be6f855140126a5b8ff5818201abbd (diff) | |
| download | nixpkgs-8187f6500dc4817839df39f2cca044450867f6ca.tar nixpkgs-8187f6500dc4817839df39f2cca044450867f6ca.tar.gz nixpkgs-8187f6500dc4817839df39f2cca044450867f6ca.tar.bz2 nixpkgs-8187f6500dc4817839df39f2cca044450867f6ca.tar.lz nixpkgs-8187f6500dc4817839df39f2cca044450867f6ca.tar.xz nixpkgs-8187f6500dc4817839df39f2cca044450867f6ca.tar.zst nixpkgs-8187f6500dc4817839df39f2cca044450867f6ca.zip | |
tamarin-prover: install emacs-mode
Diffstat (limited to 'pkgs/applications/science/logic/tamarin-prover')
| -rw-r--r-- | pkgs/applications/science/logic/tamarin-prover/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix index 76dc559cb7a..08b8a681b2d 100644 --- a/pkgs/applications/science/logic/tamarin-prover/default.nix +++ b/pkgs/applications/science/logic/tamarin-prover/default.nix @@ -79,6 +79,8 @@ mkDerivation (common "tamarin-prover" src // { # so that the package can be used as a vim plugin to install syntax coloration install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/syntax/spthy.vim install etc/filetype.vim -D $out/share/vim-plugins/tamarin-prover/ftdetect/tamarin.vim + # Emacs SPTHY major mode + install -Dt $out/share/emacs/site-lisp etc/spthy-mode.el ''; checkPhase = "./dist/build/tamarin-prover/tamarin-prover test"; |