pkgs/development/coq-modules/itauto/test.nix

   1 { stdenv, lib, coq, itauto }:
   2
   3 let excluded =
   4   lib.optionals (lib.versions.isEq "8.16" itauto.version) [ "arith.v" "refl_bool.v" ]
   5 ; in
   6
   7 stdenv.mkDerivation {
   8   pname = "coq${coq.coq-version}-itauto-test";
   9   inherit (itauto) src version;
  10
  11   nativeCheckInputs = [ coq itauto ];
  12
  13   dontConfigure = true;
  14   dontBuild = true;
  15   doCheck = true;
  16
  17   checkPhase = ''
  18     cd test-suite
  19     for m in *.v
  20     do
  21       echo -n ${lib.concatStringsSep " " excluded} | grep --silent $m && continue
  22       echo $m && coqc $m
  23     done
  24   '';
  25
  26   installPhase = "touch $out";
  27 }