|
|
|
@ -1,22 +1,23 @@ |
|
|
|
|
{stdenv, fetchgit, coq, python27}: |
|
|
|
|
{stdenv, fetchgit, coq, ocamlPackages, python27}: |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
|
|
|
|
|
name = "coq-fiat-${coq.coq-version}-unstable-${version}"; |
|
|
|
|
version = "2016-10-24"; |
|
|
|
|
version = "2018-02-27"; |
|
|
|
|
|
|
|
|
|
src = fetchgit { |
|
|
|
|
url = "https://github.com/mit-plv/fiat.git"; |
|
|
|
|
rev = "7feb6c64be9ebcc05924ec58fe1463e73ec8206a"; |
|
|
|
|
sha256 = "0griqc675yylf9rvadlfsabz41qy5f5idya30p5rv6ysiakxya64"; |
|
|
|
|
rev = "253fc133397f73d6daed0b9518ca7ab5507a1cb0"; |
|
|
|
|
sha256 = "0b5z7nz0cr1s7vy04s996dj0pd7ljqx6g5a8syh4hy2z87ijkjzd"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
buildInputs = [ coq.ocaml coq.camlp5 python27 ]; |
|
|
|
|
buildInputs = [ ocamlPackages.ocaml ocamlPackages.camlp5_transitional |
|
|
|
|
ocamlPackages.findlib python27 ]; |
|
|
|
|
propagatedBuildInputs = [ coq ]; |
|
|
|
|
|
|
|
|
|
doCheck = false; |
|
|
|
|
|
|
|
|
|
enableParallelBuilding = false; |
|
|
|
|
enableParallelBuilding = true; |
|
|
|
|
buildPhase = "make -j$NIX_BUILD_CORES"; |
|
|
|
|
|
|
|
|
|
installPhase = '' |
|
|
|
@ -33,6 +34,6 @@ stdenv.mkDerivation rec { |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
passthru = { |
|
|
|
|
compatibleCoqVersions = v: v == "8.5"; |
|
|
|
|
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ]; |
|
|
|
|
}; |
|
|
|
|
} |
|
|
|
|