diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-02 15:31:44 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-02 15:33:16 +0000 |
| commit | 9b9d3743cef353e7f3735519c5187bb00fd22ef7 (patch) | |
| tree | d3271887e23dde56a996dab574aea47723cb9a0e /pkgs | |
| parent | 2c301b1b48f7443a8346301162de24bfcb30dc1d (diff) | |
| download | nixlib-9b9d3743cef353e7f3735519c5187bb00fd22ef7.tar nixlib-9b9d3743cef353e7f3735519c5187bb00fd22ef7.tar.gz nixlib-9b9d3743cef353e7f3735519c5187bb00fd22ef7.tar.bz2 nixlib-9b9d3743cef353e7f3735519c5187bb00fd22ef7.tar.lz nixlib-9b9d3743cef353e7f3735519c5187bb00fd22ef7.tar.xz nixlib-9b9d3743cef353e7f3735519c5187bb00fd22ef7.tar.zst nixlib-9b9d3743cef353e7f3735519c5187bb00fd22ef7.zip | |
coqPackages.QuickChick: fix
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy with the corresponding versions of Coq. Use a two month old version with Coq-8.6 to avoid issue #45: https://github.com/QuickChick/QuickChick/issues/45
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 34 |
1 files changed, 26 insertions, 8 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index 80cdcfec2879..1ce559b325e7 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -1,20 +1,38 @@ -{stdenv, fetchgit, coq, coqPackages}: - -let revision = "ee436635a34873c79f49c3d2d507194216f6e8e9"; in +{ stdenv, fetchgit, coq, ssreflect }: + +let param = + { + "8.4" = { + version = "20160529"; + rev = "a9e89f1d4246a787bf1d8873072077a319635c3e"; + sha256 = "14ng71p890q12xvsj00si2a3fjcbsap2gy0r8sxpw4zndnlq74wa"; + }; + + "8.5" = { + version = "20170512"; + rev = "31eb050ae5ce57ab402db9726fb7cd945a0b4d03"; + sha256 = "033ch10i5wmqyw8j6wnr0dlbnibgfpr1vr0c07q3yj6h23xkmqpg"; + }; + + "8.6" = { + version = "20170616"; + rev = "366ee3f8e599b5cab438a63a09713f44ac544c5a"; + sha256 = "06kwnrfndnr6w8bmaa2s0i0rkqyv081zj55z3vcyn0wr6x6mlsz9"; + }; + }."${coq.coq-version}" +; in stdenv.mkDerivation rec { - name = "coq-QuickChick-${coq.coq-version}-${version}"; - version = "20170710-${builtins.substring 0 7 revision}"; + name = "coq${coq.coq-version}-QuickChick-${param.version}"; src = fetchgit { url = git://github.com/QuickChick/QuickChick.git; - rev = revision; - sha256 = "0sq14j1kl4m4plyxj2dbkfwa6iqipmf9w7mxxxcbsm718m0xf1gr"; + inherit (param) rev sha256; }; buildInputs = [ coq.ocaml coq.camlp5 ]; - propagatedBuildInputs = [ coq coqPackages.ssreflect ]; + propagatedBuildInputs = [ coq ssreflect ]; enableParallelBuilding = true; |