{ 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
  '';
}