diff options
author | John Wiegley <johnw@newartisans.com> | 2018-10-23 17:08:56 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-10-23 17:09:35 -0700 |
commit | 3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2 (patch) | |
tree | 45bf0a034deba7f638c390726d4d912d90f73924 /pkgs/development/coq-modules | |
parent | 4964871adbd4376d0ce7cd2a8720f50b1035a789 (diff) | |
download | nixpkgs-3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2.tar nixpkgs-3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2.tar.gz nixpkgs-3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2.tar.bz2 nixpkgs-3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2.tar.lz nixpkgs-3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2.tar.xz nixpkgs-3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2.tar.zst nixpkgs-3c4c4ff0515f7078d9488a3ac216d2b9c4d3e9d2.zip |
coqPackages.Velisarios: New expression
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/Velisarios/default.nix | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/Velisarios/default.nix b/pkgs/development/coq-modules/Velisarios/default.nix new file mode 100644 index 00000000000..cd7ddfefb84 --- /dev/null +++ b/pkgs/development/coq-modules/Velisarios/default.nix @@ -0,0 +1,50 @@ +{ stdenv, fetchFromGitHub, coq }: + +let params = + { + "8.6" = { + version = "20180221"; + rev = "e1eee1f10d5d46331a560bd8565ac101229d0d6b"; + sha256 = "0l9885nxy0n955fj1gnijlxl55lyxiv9yjfmz8hmfrn9hl8vv1m2"; + }; + + "8.7" = { + version = "20180221"; + rev = "e1eee1f10d5d46331a560bd8565ac101229d0d6b"; + sha256 = "0l9885nxy0n955fj1gnijlxl55lyxiv9yjfmz8hmfrn9hl8vv1m2"; + }; + + "8.8" = { + version = "20180221"; + rev = "e1eee1f10d5d46331a560bd8565ac101229d0d6b"; + sha256 = "0l9885nxy0n955fj1gnijlxl55lyxiv9yjfmz8hmfrn9hl8vv1m2"; + }; + }; + param = params."${coq.coq-version}"; +in + +stdenv.mkDerivation rec { + name = "coq${coq.coq-version}-Velisarios-${param.version}"; + + src = fetchFromGitHub { + owner = "vrahli"; + repo = "Velisarios"; + inherit (param) rev sha256; + }; + + buildInputs = [ + coq coq.ocaml coq.camlp5 coq.findlib + ]; + enableParallelBuilding = true; + + buildPhase = "make -j$NIX_BUILD_CORES"; + preBuild = "./create-makefile.sh"; + installPhase = '' + mkdir -p $out/lib/coq/${coq.coq-version}/Velisarios + cp -pR model/*.vo $out/lib/coq/${coq.coq-version}/Velisarios + ''; + + passthru = { + compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" ]; + }; +} |