diff options
-rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index d532020d663c..96954eb43ace 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -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 ''; |