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

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