diff options
author | John Wiegley <johnw@newartisans.com> | 2018-11-20 15:16:27 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-11-20 15:18:12 -0800 |
commit | a370bd1fed5fcce0bb260fb6a5213911f1441eac (patch) | |
tree | b230efcfe10ba93048b1440ab10695e530521771 /pkgs/development/coq-modules/Cheerios | |
parent | 461c9d783cbaced35338035e78a5245e599fdeca (diff) | |
download | nixpkgs-a370bd1fed5fcce0bb260fb6a5213911f1441eac.tar nixpkgs-a370bd1fed5fcce0bb260fb6a5213911f1441eac.tar.gz nixpkgs-a370bd1fed5fcce0bb260fb6a5213911f1441eac.tar.bz2 nixpkgs-a370bd1fed5fcce0bb260fb6a5213911f1441eac.tar.lz nixpkgs-a370bd1fed5fcce0bb260fb6a5213911f1441eac.tar.xz nixpkgs-a370bd1fed5fcce0bb260fb6a5213911f1441eac.tar.zst nixpkgs-a370bd1fed5fcce0bb260fb6a5213911f1441eac.zip |
coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi
Diffstat (limited to 'pkgs/development/coq-modules/Cheerios')
-rw-r--r-- | pkgs/development/coq-modules/Cheerios/default.nix | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/Cheerios/default.nix b/pkgs/development/coq-modules/Cheerios/default.nix new file mode 100644 index 00000000000..217c2ad5344 --- /dev/null +++ b/pkgs/development/coq-modules/Cheerios/default.nix @@ -0,0 +1,52 @@ +{ stdenv, fetchFromGitHub, coq, StructTact }: + +let params = + { + "8.6" = { + version = "20181102"; + rev = "04da309304bdd28a1f7dacca9fdf8696204a4ff2"; + sha256 = "1xfa78p70c90favds1mv1vj5sr9bv0ad3dsgg05v3v72006g2f1q"; + }; + + "8.7" = { + version = "20181102"; + rev = "04da309304bdd28a1f7dacca9fdf8696204a4ff2"; + sha256 = "1xfa78p70c90favds1mv1vj5sr9bv0ad3dsgg05v3v72006g2f1q"; + }; + + "8.8" = { + version = "20181102"; + rev = "04da309304bdd28a1f7dacca9fdf8696204a4ff2"; + sha256 = "1xfa78p70c90favds1mv1vj5sr9bv0ad3dsgg05v3v72006g2f1q"; + }; + + "8.9" = { + version = "20181102"; + rev = "04da309304bdd28a1f7dacca9fdf8696204a4ff2"; + sha256 = "1xfa78p70c90favds1mv1vj5sr9bv0ad3dsgg05v3v72006g2f1q"; + }; + }; + param = params."${coq.coq-version}"; +in + +stdenv.mkDerivation rec { + name = "coq${coq.coq-version}-Cheerios-${param.version}"; + + src = fetchFromGitHub { + owner = "uwplse"; + repo = "cheerios"; + inherit (param) rev sha256; + }; + + buildInputs = [ + coq coq.ocaml coq.camlp5 coq.findlib StructTact + ]; + enableParallelBuilding = true; + + buildPhase = "make -j$NIX_BUILD_CORES"; + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + passthru = { + compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ]; + }; +} |