tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 stdenv,
3 lib,
4 coq,
5 itauto,
6}:
7
8let
9 excluded = lib.optionals (lib.versions.isEq "8.16" itauto.version) [
10 "arith.v"
11 "refl_bool.v"
12 ];
13in
14
15stdenv.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}