blob: 762d38bf3e9567cdab3e4583f32eb77efd6ea95c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/8dd8bd8be74879f9f7919b16a4cb5ab2a75f18e5.tar.gz") {};
let
ncoq = coq_8_13;
ncoqPackages = coqPackages_8_13;
in
stdenv.mkDerivation {
name = "vericert";
src = ./.;
buildInputs = [ ncoq ncoqPackages.coqhammer cvc4 eprover z3-tptp dune_2 gcc
ncoq.ocaml ncoq.ocamlPackages.findlib ncoq.ocamlPackages.menhir
ncoq.ocamlPackages.ocamlgraph
];
enableParallelBuilding = true;
}
|