pkgs/development/coq-modules/simple-io/test.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

{ 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";

}