3 files changed, 8 insertions, 3 deletions
diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..051d09d
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+eval "$(lorri direnv)"
diff --git a/Makefile b/Makefile
index 9a18ebd..c575bde 100644
--- a/Makefile
+++ b/Makefile
@@ -30,8 +30,8 @@ extraction: src/Extraction/STAMP
 compile: src/Extraction/STAMP
 	@echo "OCaml bin/coqup"
 	@mkdir -p bin
-	@dune build src/Extraction/Driver.exe
-	@cp _build/default/src/Extraction/Driver.exe bin/coqup
+	@dune build src/Driver/Driver.exe
+	@cp _build/default/src/Driver/Driver.exe bin/coqup
 
 src/Extraction/STAMP:
 	@echo "COQEXEC ./src/Extraction/Extraction.v"
diff --git a/shell.nix b/shell.nix
index 84ead99..63f0123 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1 +1,5 @@
-import ./.
+with import <nixpkgs> {};
+mkShell {
+  buildInputs = [ coq_8_10 ocamlPackages.menhir dune
+                  ocaml ocamlPackages.findlib ];
+}