Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
586 B · 38 lines
Nix
123456789101112131415161718192021222324252627282930313233343536373839{ stdenv, lib, coq, itauto,}:
let excluded = lib.optionals (lib.versions.isEq "8.16" itauto.version) [ "arith.v" "refl_bool.v" ];in
stdenv.mkDerivation { pname = "coq${coq.coq-version}-itauto-test"; inherit (itauto) src version;
nativeCheckInputs = [ coq itauto ];
dontConfigure = true; dontBuild = true; doCheck = true;
checkPhase = '' cd test-suite for m in *.v do echo -n ${lib.concatStringsSep " " excluded} | grep --silent $m && continue echo $m && coqc $m done '';
installPhase = "touch $out";}