parent
c9fc7a2a9c
commit
cf210c082d
@ -0,0 +1,43 @@ |
||||
{ stdenv, fetchFromGitHub, which, coq, coq-elpi }: |
||||
|
||||
let |
||||
versions = { |
||||
"0.9.0" = { |
||||
rev = "v0.9.0"; |
||||
sha256 = "1yss9f732r7bjaswgn46vd1rr3688ir0vz37wxkmy598xhrnd2ak"; |
||||
}; |
||||
}; |
||||
version = x: versions.${x} // {version = x;}; |
||||
params = { |
||||
"8.10" = version "0.9.0"; |
||||
"8.11" = version "0.9.0"; |
||||
}; |
||||
param = params.${coq.coq-version}; |
||||
in |
||||
|
||||
stdenv.mkDerivation rec { |
||||
name = "coq${coq.coq-version}-hierarchy-builder-${param.version}"; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "math-comp"; |
||||
repo = "hierarchy-builder"; |
||||
inherit (param) rev sha256; |
||||
}; |
||||
|
||||
propagatedBuildInputs = [ coq-elpi ]; |
||||
buildInputs = [ coq coq.ocaml coq.ocamlPackages.elpi ]; |
||||
|
||||
installPhase = ''make -f Makefile.coq VFILES=structures.v COQLIB=$out/lib/coq/${coq.coq-version}/ install''; |
||||
|
||||
meta = { |
||||
description = "Coq plugin embedding ELPI."; |
||||
maintainers = [ stdenv.lib.maintainers.cohencyril ]; |
||||
license = stdenv.lib.licenses.lgpl21; |
||||
inherit (coq.meta) platforms; |
||||
inherit (src.meta) homepage; |
||||
}; |
||||
|
||||
passthru = { |
||||
compatibleCoqVersions = stdenv.lib.flip builtins.hasAttr params; |
||||
}; |
||||
} |
Loading…
Reference in new issue