BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"

Browse source 
This reverts commit f5f71c08cd, due to
insufficient testing.
This commit is contained in:
John Wiegley 2018-10-10 10:00:23 -07:00
parent bd778b93c9
commit 1ba4d23c3a
No known key found for this signature in database
GPG key ID: C144D8F4F19FE630
1 changed files with 7 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
pkgs/development/coq-modules/fiat/HEAD.nix
View file

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