Add build files for loop pipelining

3 files changed, 5 insertions, 4 deletions

diff --git a/default.nix b/default.nix
index 7abebda..b004643 100644
--- a/default.nix
+++ b/default.nix
@@ -28,9 +28,9 @@ stdenv.mkDerivation {
   name = "vericert";
   src = ./.;
 
-  buildInputs = [ ncoq dune
-                  ocaml ocamlPackages.findlib ocamlPackages.menhir ocamlPackages.utop
-                  gcc bbv
+  buildInputs = [ ncoq dune gcc
+                  ocaml ocamlPackages.findlib ocamlPackages.menhir
+                  ocamlPackages.ocamlgraph
                 ];
 
   enableParallelBuilding = true;
diff --git a/dune b/dune
index 80eccf1..f58c64e 100644
--- a/dune
+++ b/dune
@@ -7,5 +7,5 @@
 (library
  (public_name vericert)
  (modules_without_implementation c debugTypes dwarfTypes)
- (libraries menhirLib str unix)
+ (libraries menhirLib str unix ocamlgraph)
  (flags (:standard -warn-error -A)))
diff --git a/shell.nix b/shell.nix
index 81d40f6..a80b1be 100644
--- a/shell.nix
+++ b/shell.nix
@@ -3,5 +3,6 @@ with import <nixpkgs> {};
 mkShell {
   buildInputs = (import ./.).buildInputs ++ [ ocamlPackages.ocp-indent
                                               ocamlPackages.merlin ocamlPackages.utop
+                                              # (import ./.)
                                             ];
 }