From a7c6cf8d4d59e29ed73f9eb8bfc015b0384672a1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 4 Sep 2006 15:33:05 +0000
Subject: Revu la repartition des sources Coq en sous-repertoires

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@73 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 extraction/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'extraction')

diff --git a/extraction/Makefile b/extraction/Makefile
index 6ae8e35..04878c7 100644
--- a/extraction/Makefile
+++ b/extraction/Makefile
@@ -32,7 +32,7 @@ OCAMLC=ocamlc -g $(CAMLINCL)
 OCAMLOPT=ocamlopt $(CAMLINCL)
 OCAMLDEP=ocamldep $(CAMLINCL)
 
-COQINCL=-I ../lib -I ../backend
+COQINCL=-I ../lib -I ../common -I ../backend -I ../cfrontend
 COQEXEC=coqtop $(COQINCL) -batch -load-vernac-source
 
 ../ccomp: $(FILES:.ml=.cmo)
-- 
cgit v1.2.3