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

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