From 9c662cf9e8f4065ab354dc9c55c3e819f0db1fbe Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 6 Feb 2001 15:02:00 +0000
Subject: mise en place extraction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1339 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 33a7321e9b..0f2323cb5b 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,8 @@ noargument:
 
 LOCALINCLUDES= -I config -I tools -I scripts -I lib -I kernel -I library \
                -I proofs -I tactics -I pretyping -I parsing -I toplevel  \
-               -I contrib/omega -I contrib/ring -I contrib/xml
+               -I contrib/omega -I contrib/ring -I contrib/xml \
+	       -I contrib/extraction
 INCLUDES=$(LOCALINCLUDES) -I $(CAMLP4LIB)
 
 BYTEFLAGS=$(INCLUDES) $(CAMLDEBUG)
-- 
cgit v1.2.3