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

coqPackages.domains: new expression

Browse Source
This commit is contained in:
John Wiegley
2014-10-11 22:01:46 -05:00
parent f300c68977
commit 7821d15299
5 changed files with 839 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coq-ext-lib/default.nix
+1 -1
View File
@@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
buildInputs = [ coq.ocaml coq.camlp5 ];
propagatedBuildInputs = [ coq ];
installFlags = "COQLIB=$out/lib/coq/${coq.coq-version}";
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}";
meta = with stdenv.lib; {
homepage = https://github.com/coq-ext-lib/coq-ext-lib;