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

---
 _CoqProject | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 3fdb59f..3d5dae3 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1 +1,2 @@
--R src/CoqUp CoqUp
+-R src/CoqUp CoqUp -R lib/CompCert/lib compcert.lib -R lib/CompCert/common compcert.common -R lib/CompCert/x86 compcert.x86 -R lib/CompCert/backend compcert.backend -R lib/CompCert/cfrontend compcert.cfrontend -R lib/CompCert/driver compcert.driver -R lib/CompCert/flocq compcert.flocq -R lib/CompCert/exportclight compcert.exportclight -R lib/CompCert/cparser compcert.cparser -R lib/CompCert/MenhirLib compcert.MenhirLib
+-R lib/CompCert/x86_64 compcert.x86_64
-- 
cgit