axioms.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

{ pkgs ? import ./nixpkgs-pinned.nix {} }: with pkgs;

stdenv.mkDerivation {
  name = "mininix-axioms";

  src = ./.;

  nativeBuildInputs = [ coq_8_20 ];
  buildInputs = (with coqPackages_8_20; [
    flocq
    stdpp
  ]);

  buildPhase = ''
    make validate 2>&1 | tee coqchk-output
  '';

  installPhase = ''
    mkdir -p $out
    mv coqchk-output $out
  '';
}