diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-09 15:04:35 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-09 15:04:35 +0000 |
commit | 9db71b35b4b37b0b0228d0d8e4615ab4481ac2f4 (patch) | |
tree | 59a26c0fcebffe6db47f6f2f59d25ea5e6740617 | |
parent | 6e290b7049fc874c32e62ab816493dc5200ebc4e (diff) | |
download | vericert-9db71b35b4b37b0b0228d0d8e4615ab4481ac2f4.tar.gz vericert-9db71b35b4b37b0b0228d0d8e4615ab4481ac2f4.zip |
Update envrc
-rw-r--r-- | .envrc | 1 | ||||
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | shell.nix | 6 |
3 files changed, 8 insertions, 3 deletions
@@ -0,0 +1 @@ +eval "$(lorri direnv)" @@ -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" @@ -1 +1,5 @@ -import ./. +with import <nixpkgs> {}; +mkShell { + buildInputs = [ coq_8_10 ocamlPackages.menhir dune + ocaml ocamlPackages.findlib ]; +} |