diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-01-19 06:44:47 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-23 07:45:16 +0000 |
commit | 85fe73a5736ada164b7180835ea1087e0b31cfe2 (patch) | |
tree | 88061cd28b3fcc064ded15a91476cd2f5f54bfdc /pkgs/development/coq-modules | |
parent | ab31b13401f13d3e0cf834b015e880a528a71131 (diff) | |
download | nixpkgs-85fe73a5736ada164b7180835ea1087e0b31cfe2.tar nixpkgs-85fe73a5736ada164b7180835ea1087e0b31cfe2.tar.gz nixpkgs-85fe73a5736ada164b7180835ea1087e0b31cfe2.tar.bz2 nixpkgs-85fe73a5736ada164b7180835ea1087e0b31cfe2.tar.lz nixpkgs-85fe73a5736ada164b7180835ea1087e0b31cfe2.tar.xz nixpkgs-85fe73a5736ada164b7180835ea1087e0b31cfe2.tar.zst nixpkgs-85fe73a5736ada164b7180835ea1087e0b31cfe2.zip |
coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0}
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/flocq/default.nix | 29 |
1 files changed, 23 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/flocq/default.nix b/pkgs/development/coq-modules/flocq/default.nix index ff7385a9222..6c0be377bc0 100644 --- a/pkgs/development/coq-modules/flocq/default.nix +++ b/pkgs/development/coq-modules/flocq/default.nix @@ -1,17 +1,31 @@ -{stdenv, bash, which, autoconf, automake, fetchurl, coq}: +{ stdenv, bash, which, autoconf, automake, fetchurl, coq }: + +let params = + if stdenv.lib.versionAtLeast coq.coq-version "8.7" then { + version = "3.0.0"; + uid = "37477"; + sha256 = "1h05ji5cmyqyv2i1l83xgkm7vfvcnl8r1dzvbp5yncm1jr9kf6nn"; + } else { + version = "2.6.1"; + uid = "37454"; + sha256 = "06msp1fwpqv6p98a3i1nnkj7ch9rcq3rm916yxq8dxf51lkghrin"; + } +; in stdenv.mkDerivation rec { name = "coq${coq.coq-version}-flocq-${version}"; - version = "2.6.0"; + inherit (params) version; src = fetchurl { - url = https://gforge.inria.fr/frs/download.php/file/37054/flocq-2.6.0.tar.gz; - sha256 = "13fv150dcwnjrk00d7zj2c5x9jwmxgrq0ay440gkr730l8mvk3l3"; + url = "https://gforge.inria.fr/frs/download.php/file/${params.uid}/flocq-${version}.tar.gz"; + inherit (params) sha256; }; - buildInputs = with coq.ocamlPackages; [ ocaml camlp5 bash which autoconf automake ]; - propagatedBuildInputs = [ coq ]; + nativeBuildInputs = [ bash which autoconf automake ]; + buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ + ocaml camlp5 + ]); buildPhase = '' ${bash}/bin/bash autogen.sh @@ -31,4 +45,7 @@ stdenv.mkDerivation rec { platforms = coq.meta.platforms; }; + passthru = { + compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ]; + }; } |