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

coqPackages.QuickChick: init at 1.0.2 for Coq 8.8

This commit is contained in:
Vincent Laporte 2018-12-03 15:14:33 +00:00 committed by Vincent Laporte
parent 14474a449b
commit 63383a6db2
1 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/development/coq-modules/QuickChick/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, coq, ssreflect }: { stdenv, fetchFromGitHub, coq, ssreflect, coq-ext-lib, simple-io }:
let params = let params =
{ {
@ -19,6 +19,14 @@ let params =
rev = "195e550a1cf0810497734356437a1720ebb6d744"; rev = "195e550a1cf0810497734356437a1720ebb6d744";
sha256 = "0zm23y89z0h4iamy74qk9qi2pz2cj3ga6ygav0w79n0qyqwhxcq1"; sha256 = "0zm23y89z0h4iamy74qk9qi2pz2cj3ga6ygav0w79n0qyqwhxcq1";
}; };
"8.8" = rec {
preConfigure = "substituteInPlace Makefile --replace quickChickTool.byte quickChickTool.native";
version = "1.0.2";
rev = "v${version}";
sha256 = "1mcbsp07ra3gdcmir36pf27ig3xv8nagyfp7w5pwqi4gj9w81ffn";
buildInputs = with coq.ocamlPackages; [ ocamlbuild num ];
propagatedBuildInputs = [ coq-ext-lib simple-io ];
};
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}";
in in
@ -33,11 +41,16 @@ stdenv.mkDerivation rec {
inherit (param) rev sha256; inherit (param) rev sha256;
}; };
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib ]; buildInputs = [ coq ]
propagatedBuildInputs = [ coq ssreflect ]; ++ (with coq.ocamlPackages; [ ocaml camlp5 findlib ])
++ (param.buildInputs or [])
;
propagatedBuildInputs = [ ssreflect ] ++ (param.propagatedBuildInputs or []);
enableParallelBuilding = false; enableParallelBuilding = false;
preConfigure = param.preConfigure or null;
installPhase = '' installPhase = ''
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install
''; '';