3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/coq-modules/heq/default.nix

31 lines
812 B
Nix
Raw Normal View History

{stdenv, fetchurl, coq, unzip}:
stdenv.mkDerivation rec {
name = "coq-heq-${coq.coq-version}-${version}";
version = "0.92";
src = fetchurl {
url = "https://www.mpi-sws.org/~gil/Heq/download/Heq-${version}.zip";
sha256 = "03y71c4qs6cmy3s2hjs05g7pcgk9sqma6flj15394yyxbvr9is1p";
};
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 unzip ];
propagatedBuildInputs = [ coq ];
preBuild = "cd src";
2014-10-12 04:01:46 +01:00
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}";
meta = with stdenv.lib; {
homepage = https://www.mpi-sws.org/~gil/Heq/;
description = "Heq : a Coq library for Heterogeneous Equality";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
};
2018-03-21 14:00:47 +00:00
passthru = {
compatibleCoqVersions = v: !stdenv.lib.versionAtLeast v "8.8";
};
}