parent
4a200fbbf0
commit
f5dbe5de07
@ -0,0 +1,32 @@ |
||||
{ stdenv, fetchFromGitHub, coq }: |
||||
|
||||
stdenv.mkDerivation { |
||||
name = "coq${coq.coq-version}-coq-extensible-records-1.2.0"; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "gmalecha"; |
||||
repo = "coq-extensible-records"; |
||||
rev = "1.2.0"; |
||||
sha256 = "0h5m04flqfk0v577syw0v1dw2wf7xrx6jaxv5gpmqzssf5hxafy4"; |
||||
}; |
||||
|
||||
buildInputs = [ coq ]; |
||||
|
||||
enableParallelBuilding = true; |
||||
|
||||
installPhase = '' |
||||
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install |
||||
''; |
||||
|
||||
meta = with stdenv.lib; { |
||||
homepage = https://github.com/gmalecha/coq-extensible-records; |
||||
description = "Implementation of extensible records in Coq"; |
||||
license = licenses.mit; |
||||
maintainers = with maintainers; [ ptival ]; |
||||
platforms = coq.meta.platforms; |
||||
}; |
||||
|
||||
passthru = { |
||||
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ]; |
||||
}; |
||||
} |
Loading…
Reference in new issue