From 450bda69837b02c20d2fb391bbe7827d1becaac4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 14 Jul 2020 16:08:58 +0100
Subject: Change name to Vericert

---
 Makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1303b13..518d4c9 100644
--- a/Makefile
+++ b/Makefile
@@ -9,9 +9,9 @@ endif
 COMPCERTRECDIRS := lib common x86_32 x86 backend cfrontend driver flocq exportclight \
   MenhirLib cparser
 
-COQINCLUDES := -R src/common coqup.common -R src/verilog coqup.verilog \
-               -R src/extraction coqup.extraction -R src/translation coqup.translation \
-               -R src coqup \
+COQINCLUDES := -R src/common vericert.common -R src/verilog vericert.verilog \
+               -R src/extraction vericert.extraction -R src/translation vericert.translation \
+               -R src vericert \
                $(foreach d, $(COMPCERTRECDIRS), -R lib/CompCert/$(d) compcert.$(d))
 
 COQEXEC := $(COQBIN)coqtop $(COQINCLUDES) -batch -load-vernac-source
@@ -35,7 +35,7 @@ lib/COMPCERTSTAMP:
 install:
 	install -d $(PREFIX)/bin
 	install -C _build/default/driver/compcert.ini $(PREFIX)/bin/.
-	install -C _build/default/driver/CoqupDriver.exe $(PREFIX)/bin/coqup
+	install -C _build/default/driver/VericertDriver.exe $(PREFIX)/bin/vericert
 
 proof: Makefile.coq
 	$(MAKE) -f Makefile.coq
@@ -47,9 +47,9 @@ test:
 	./test/test_all.sh ./test
 
 compile: src/extraction/STAMP
-	@echo "OCaml bin/coqup"
+	@echo "OCaml bin/vericert"
 	@mkdir -p bin
-	@dune build driver/CoqupDriver.exe
+	@dune build driver/VericertDriver.exe
 	@cp lib/CompCert/compcert.ini _build/default/driver/.
 
 src/extraction/STAMP:
-- 
cgit