parent
d0bb7f0c53
commit
a12f3d232d
@ -0,0 +1,35 @@ |
||||
{stdenv, fetchgit, coq, python27}: |
||||
|
||||
stdenv.mkDerivation rec { |
||||
|
||||
name = "coq-fiat-${coq.coq-version}-${version}"; |
||||
version = "20161024"; |
||||
|
||||
src = fetchgit { |
||||
url = "https://github.com/mit-plv/fiat.git"; |
||||
rev = "7feb6c64be9ebcc05924ec58fe1463e73ec8206a"; |
||||
sha256 = "0griqc675yylf9rvadlfsabz41qy5f5idya30p5rv6ysiakxya64"; |
||||
}; |
||||
|
||||
buildInputs = [ coq.ocaml coq.camlp5 python27 ]; |
||||
propagatedBuildInputs = [ coq ]; |
||||
|
||||
doCheck = false; |
||||
|
||||
enableParallelBuilding = false; |
||||
buildPhase = "make -j$NIX_BUILD_CORES"; |
||||
|
||||
installPhase = '' |
||||
COQLIB=$out/lib/coq/${coq.coq-version}/ |
||||
mkdir -p $COQLIB/user-contrib/Fiat |
||||
cp -pR src/* $COQLIB/user-contrib/Fiat |
||||
''; |
||||
|
||||
meta = with stdenv.lib; { |
||||
homepage = http://plv.csail.mit.edu/fiat/; |
||||
description = "A library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications"; |
||||
maintainers = with maintainers; [ jwiegley ]; |
||||
platforms = coq.meta.platforms; |
||||
}; |
||||
|
||||
} |
Loading…
Reference in new issue