From 0d5113c826bde8002d40dd896c97afb86a0b66f0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 29 Mar 2020 16:38:26 +0100
Subject: Update nix files with bbv dependency

---
 default.nix | 30 +++++++++++++++++++++++++++---
 1 file changed, 27 insertions(+), 3 deletions(-)

(limited to 'default.nix')

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 ];
 }
-- 
cgit