diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-10-27 21:09:59 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-11-02 19:23:15 +0100 |
commit | b840da02cd91a67010826a9f375a02d71eaa7254 (patch) | |
tree | fee987c554debc020ab8891da9ca7a24d088c0fb /pkgs/applications/science | |
parent | da68cc24f087176c576cb7ff0e05faeb4ea7672f (diff) | |
download | nixlib-b840da02cd91a67010826a9f375a02d71eaa7254.tar nixlib-b840da02cd91a67010826a9f375a02d71eaa7254.tar.gz nixlib-b840da02cd91a67010826a9f375a02d71eaa7254.tar.bz2 nixlib-b840da02cd91a67010826a9f375a02d71eaa7254.tar.lz nixlib-b840da02cd91a67010826a9f375a02d71eaa7254.tar.xz nixlib-b840da02cd91a67010826a9f375a02d71eaa7254.tar.zst nixlib-b840da02cd91a67010826a9f375a02d71eaa7254.zip |
coq: build and install the votour utility
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/coq/8.5.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/8.5.nix b/pkgs/applications/science/logic/coq/8.5.nix index 91266553c938..9512e27080f3 100644 --- a/pkgs/applications/science/logic/coq/8.5.nix +++ b/pkgs/applications/science/logic/coq/8.5.nix @@ -57,7 +57,11 @@ stdenv.mkDerivation { prefixKey = "-prefix "; - buildFlags = "revision coq coqide"; + buildFlags = "revision coq coqide bin/votour"; + + postInstall = '' + cp bin/votour $out/bin/ + ''; meta = with stdenv.lib; { description = "Coq proof assistant"; |