|
|
|
@ -1,18 +1,20 @@ |
|
|
|
|
{ stdenv, fetchFromGitHub, coq }: |
|
|
|
|
{ stdenv, fetchFromGitHub, coq, coq-ext-lib }: |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
version = "0.2"; |
|
|
|
|
version = "1.0.0"; |
|
|
|
|
name = "coq${coq.coq-version}-simple-io-${version}"; |
|
|
|
|
src = fetchFromGitHub { |
|
|
|
|
owner = "Lysxia"; |
|
|
|
|
repo = "coq-simple-io"; |
|
|
|
|
rev = version; |
|
|
|
|
sha256 = "1sbcf57gn134risiicpbxsf4kbzdq7klfn4vn8525kahlr82l65f"; |
|
|
|
|
sha256 = "06gnbl8chv6ig18rlxnp8gg0np6863kxd7j15h46q0v1cnpx84lp"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml ocamlbuild ]); |
|
|
|
|
|
|
|
|
|
doCheck = !stdenv.lib.versionAtLeast coq.coq-version "8.9"; |
|
|
|
|
propagatedBuildInputs = [ coq-ext-lib ]; |
|
|
|
|
|
|
|
|
|
doCheck = true; |
|
|
|
|
checkTarget = "test"; |
|
|
|
|
|
|
|
|
|
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; |
|
|
|
@ -26,7 +28,7 @@ stdenv.mkDerivation rec { |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
passthru = { |
|
|
|
|
compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6"; |
|
|
|
|
compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.7"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
} |
|
|
|
|