diff options
| author | Peter Simons <simons@cryp.to> | 2010-05-18 13:40:19 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2010-05-18 13:40:19 +0000 |
| commit | 1295493b1807a3804c8418f58241b6cc23767156 (patch) | |
| tree | d346a3414a82f79b35323b7ee188520a654cfd21 /pkgs/applications/science/logic | |
| parent | 5f36663eccae65c1694591223e5eedeaa72101ec (diff) | |
| download | nixlib-1295493b1807a3804c8418f58241b6cc23767156.tar nixlib-1295493b1807a3804c8418f58241b6cc23767156.tar.gz nixlib-1295493b1807a3804c8418f58241b6cc23767156.tar.bz2 nixlib-1295493b1807a3804c8418f58241b6cc23767156.tar.lz nixlib-1295493b1807a3804c8418f58241b6cc23767156.tar.xz nixlib-1295493b1807a3804c8418f58241b6cc23767156.tar.zst nixlib-1295493b1807a3804c8418f58241b6cc23767156.zip | |
pkgs/applications/science/logic/coq: install coqide libraries
Patch courtesy of Russell O'Connor. svn path=/nixpkgs/trunk/; revision=21838
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 19827022072d..acf88848f059 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -1,6 +1,5 @@ # TODO: # - coqide compilation should be optional or (better) separate; -# - coqide libraries are not installed; {stdenv, fetchurl, ocaml, camlp5, lablgtk, ncurses}: @@ -52,6 +51,10 @@ stdenv.mkDerivation { "\"-I\"; \"${lablgtk}/lib/ocaml/lablgtk2\"; \"-I\"; \"${lablgtk}/lib/ocaml/stublibs\"" ''; + postInstall = '' + cp ide/*.cmi ide/ide.*a $out/lib/coq/ide/ + ''; + meta = { description = "Coq proof assistant"; longDescription = '' |