29 lines
458 B
Nix
29 lines
458 B
Nix
|
{
|
||
|
|
stdenv,
|
||
|
|
coq,
|
||
|
|
simple-io,
|
||
|
|
}:
|
||
|
|
|
||
|
|
stdenv.mkDerivation {
|
||
|
|
pname = "coq-simple-io-test";
|
||
|
|
inherit (simple-io) src version;
|
||
|
|
nativeCheckInputs = [
|
||
|
|
coq
|
||
|
|
simple-io
|
||
|
|
];
|
||
|
|
dontConfigure = true;
|
||
|
|
dontBuild = true;
|
||
|
|
doCheck = true;
|
||
|
|
|
||
|
|
checkPhase = ''
|
||
|
|
cd test
|
||
|
|
for p in Argv.v Example.v HelloWorld.v TestExtraction.v TestOcamlbuild.v TestPervasives.v
|
||
|
|
do
|
||
|
|
[ -f $p ] && echo $p && coqc $p
|
||
|
|
done
|
||
|
|
'';
|
||
|
|
|
||
|
|
installPhase = "touch $out";
|
||
|
|
|
||
|
|
}
|