diff options
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 30 |
1 files changed, 27 insertions, 3 deletions
diff --git a/default.nix b/default.nix index 4569d22..8b2a5ea 100644 --- a/default.nix +++ b/default.nix @@ -1,9 +1,33 @@ with import <nixpkgs> {}; +let + ncoq = coq_8_10; + ncoqPackages = coqPackages_8_10; + bbv = ncoqPackages.callPackage + ( { coq, stdenv, fetchFromGitHub }: + stdenv.mkDerivation { + name = "coq${coq.coq-version}-bbv"; + + src = fetchFromGitHub { + owner = "mit-plv"; + repo = "bbv"; + rev = "5099237c52d2910f79a1a3ca9ae4dfa80129bf86"; + sha256 = "0qnha333h7dc8105prdxvmkgy6l8swvyf6kz9v5s5dk4dvr5nra8"; + }; + + buildInputs = with coq.ocamlPackages; [ ocaml camlp5 ]; + propagatedBuildInputs = [ coq ]; + enableParallelBuilding = true; + + installPhase = '' + make -f Makefile.coq.all install COQLIB='$(out)/lib/coq/${coq.coq-version}/' + ''; + } ) { }; +in stdenv.mkDerivation { - name = "CoqUp"; + name = "coqup"; src = ./.; - buildInputs = [ coq_8_10 ocamlPackages.menhir dune - ocaml ocamlPackages.findlib ]; + buildInputs = [ ncoq ocamlPackages.menhir dune + ocaml ocamlPackages.findlib bbv ]; } |