diff options
| author | Alyssa Ross <hi@alyssa.is> | 2019-02-07 15:19:21 +0000 |
|---|---|---|
| committer | Alyssa Ross <hi@alyssa.is> | 2019-02-07 23:35:47 +0000 |
| commit | e5013c05a2f845255debf94318ab38ecef1c186b (patch) | |
| tree | bec11a0bd31d3432a16899e5539f1098f1c168a4 /nixpkgs/pkgs/development/coq-modules/QuickChick | |
| parent | 4fc07c92ec07cafcf6d56143ea7334693143ef88 (diff) | |
| parent | 2d2f10475138b7206572dc3ec288184df2be022e (diff) | |
| download | nixlib-e5013c05a2f845255debf94318ab38ecef1c186b.tar nixlib-e5013c05a2f845255debf94318ab38ecef1c186b.tar.gz nixlib-e5013c05a2f845255debf94318ab38ecef1c186b.tar.bz2 nixlib-e5013c05a2f845255debf94318ab38ecef1c186b.tar.lz nixlib-e5013c05a2f845255debf94318ab38ecef1c186b.tar.xz nixlib-e5013c05a2f845255debf94318ab38ecef1c186b.tar.zst nixlib-e5013c05a2f845255debf94318ab38ecef1c186b.zip | |
Merge commit '2d2f10475138b7206572dc3ec288184df2be022e'
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/QuickChick')
| -rw-r--r-- | nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix b/nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix index d532020d663c..96954eb43ace 100644 --- a/nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix +++ b/nixpkgs/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 ''; |