public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.fiat: enable building the examples as a test

Browse Source
This commit is contained in:
John Wiegley 2015-01-09 15:19:58 -06:00
parent 69f5738668
commit 753539800e
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/coq-modules/fiat/default.nix
View File

@ -14,6 +14,7 @@ stdenv.mkDerivation rec {
propagatedBuildInputs = [ coq ]; propagatedBuildInputs = [ coq ];
enableParallelBuilding = true; enableParallelBuilding = true;
doCheck = true;
unpackPhase = '' unpackPhase = ''
mkdir fiat mkdir fiat
@ -21,7 +22,8 @@ stdenv.mkDerivation rec {
tar xvzf ${src} tar xvzf ${src}
''; '';
buildPhase = "make sources"; buildPhase = "make -j$NIX_BUILD_CORES sources";
checkPhase = "make -j$NIX_BUILD_CORES examples";
installPhase = '' installPhase = ''
COQLIB=$out/lib/coq/${coq.coq-version}/ COQLIB=$out/lib/coq/${coq.coq-version}/
@ -29,8 +31,6 @@ stdenv.mkDerivation rec {
cp -pR src/* $COQLIB/user-contrib/Fiat cp -pR src/* $COQLIB/user-contrib/Fiat
''; '';
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = http://plv.csail.mit.edu/fiat/; homepage = http://plv.csail.mit.edu/fiat/;
description = "Fiat is a library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications"; description = "Fiat is a library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications";