diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:11:04 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:11:04 +0000 |
commit | 489e3f2214aeb0e82fd13d5ddda9868f2abeb5fd (patch) | |
tree | 8ebd5a513c08c5cf4645ed6f0820a5826ce8d074 | |
parent | 83e716e65a3d497387e6bf8f33de29fff3bd269d (diff) | |
parent | 9db71b35b4b37b0b0228d0d8e4615ab4481ac2f4 (diff) | |
download | vericert-489e3f2214aeb0e82fd13d5ddda9868f2abeb5fd.tar.gz vericert-489e3f2214aeb0e82fd13d5ddda9868f2abeb5fd.zip |
Merge branch 'master' of github.com:ymherklotz/CoqUp
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" |