Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

coqPackages.QuickChick: init at 1.0.2 for Coq 8.8 #53798

Merged
merged 1 commit into from Jan 18, 2019
Merged
Changes from all commits
Commits
File filter...
Filter file types
Jump to…
Jump to file or symbol
Failed to load files and symbols.

Always

Just for now

coqPackages.QuickChick: init at 1.0.2 for Coq 8.8

  • Loading branch information...
vbgl committed Dec 3, 2018
commit 72675cf4be2df72421292d7e8d36b9a13f439eb2
@@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, coq, ssreflect }:
{ stdenv, fetchFromGitHub, coq, ssreflect, coq-ext-lib, simple-io }:

let params =
{
@@ -19,6 +19,14 @@ let params =
rev = "195e550a1cf0810497734356437a1720ebb6d744";
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}";
in
@@ -33,11 +41,16 @@ stdenv.mkDerivation rec {
inherit (param) rev sha256;
};

buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib ];
propagatedBuildInputs = [ coq ssreflect ];
buildInputs = [ coq ]
++ (with coq.ocamlPackages; [ ocaml camlp5 findlib ])
++ (param.buildInputs or [])
;
propagatedBuildInputs = [ ssreflect ] ++ (param.propagatedBuildInputs or []);

enableParallelBuilding = false;

preConfigure = param.preConfigure or null;

installPhase = ''
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install
'';
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.