tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 stdenv,
3 coq,
4 simple-io,
5}:
6
7stdenv.mkDerivation {
8 pname = "coq-simple-io-test";
9 inherit (simple-io) src version;
10 nativeCheckInputs = [
11 coq
12 simple-io
13 ];
14 dontConfigure = true;
15 dontBuild = true;
16 doCheck = true;
17
18 checkPhase = ''
19 cd test
20 for p in Argv.v Example.v HelloWorld.v TestExtraction.v TestOcamlbuild.v TestPervasives.v
21 do
22 [ -f $p ] && echo $p && coqc $p
23 done
24 '';
25
26 installPhase = "touch $out";
27
28}