From 323f262727ac3a4b129bdaeaa21083d8daa5184c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 19 Jun 2023 13:41:06 +0100
Subject: Update makefile to build cohpred

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

diff --git a/Makefile b/Makefile
index c7e7752..3d8dfff 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ COQINCLUDES := -R src vericert \
                -R lib/CompCert/flocq Flocq \
                -R lib/CompCert/MenhirLib MenhirLib \
                -R src TVSMT \
-               -R lib/cohpred/lib/smtcoq/src SMTCoq \
+               -R lib/cohpred/smtcoq/src SMTCoq \
                -I lib/smtcoq/src \
                -I lib/smtcoq/src/bva \
                -I lib/smtcoq/src/classes \
@@ -46,7 +46,7 @@ PREFIX ?= .
 
 .PHONY: all install proof clean extraction test force
 
-all: lib/COMPCERTSTAMP
+all: lib/COMPCERTSTAMP lib/COHPREDSTAMP
 	$(MAKE) proof
 	$(MAKE) compile
 
@@ -57,6 +57,10 @@ lib/COMPCERTSTAMP: lib/CompCert/Makefile.config
 	$(MAKE) HAS_RUNTIME_LIB=false CLIGHTGEN=false INSTALL_COQDEV=false -C lib/CompCert
 	touch $@
 
+lib/COHPREDSTAMP:
+	$(MAKE) -C lib/cohpred
+	touch lib/COHPREDSTAMP
+
 install: # doc/vericert.1
 	sed -i'' -e 's/arch=verilog/arch=x86/' _build/default/driver/compcert.ini
 	install -d $(PREFIX)/bin
-- 
cgit