From 5a86c7bb8c274ea41716b9002189d2644eb1c8c6 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 14 Feb 2020 15:47:07 +0000
Subject: Update makefile and Coq dependencies with CompCert

---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9ef58ed..eff7f35 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,9 @@
-COQINCLUDES=-R src/CoqUp CoqUp
+COMPCERTRECDIRS=lib common $(ARCHDIRS) backend cfrontend driver flocq exportclight \
+  MenhirLib cparser
+
+COMPCERTCOQINCLUDES=$(foreach d, $(RECDIRS), -R lib/CompCert/$(d) compcert.$(d))
+
+COQINCLUDES=-R src/CoqUp CoqUp $(COMPCERTCOQINCLUDES)
 
 COQEXEC=$(COQBIN)coqtop $(COQINCLUDES) -batch -load-vernac-source
 COQMAKE="$(COQBIN)coq_makefile"
@@ -8,6 +13,8 @@ VS=$(wildcard src/CoqUp/*.v)
 .PHONY: all install coq clean
 
 all:
+	(cd lib/CompCert && ./configure x86_64-linux)
+	$(MAKE) -C lib/CompCert all
 	$(MAKE) coq
 	$(MAKE) compile
 
-- 
cgit