From 9db71b35b4b37b0b0228d0d8e4615ab4481ac2f4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 9 Mar 2020 15:04:35 +0000 Subject: Update envrc --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') 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" -- cgit