diff options
| -rw-r--r-- | default.nix | 30 | ||||
| -rw-r--r-- | shell.nix | 6 |
2 files changed, 29 insertions, 7 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 ]; } @@ -1,7 +1,5 @@ with import <nixpkgs> {}; + mkShell { - buildInputs = [ - coq_8_10 ocamlPackages.menhir dune ocaml - ocamlPackages.findlib - ]; + buildInputs = (import ./.).buildInputs; } |