From 0905747947f56f273fe4cf6c96ce6525745bb90a Mon Sep 17 00:00:00 2001
From: bertot
Date: Thu, 19 Feb 2004 16:27:11 +0000
Subject: files from contrib/interface need files from contrib/field, the
 variable LOCALINCLUDES needs to contain -I contrib/field

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

diff --git a/Makefile b/Makefile
index 9963bf7f26..dbb6540f9a 100644
--- a/Makefile
+++ b/Makefile
@@ -71,7 +71,8 @@ LOCALINCLUDES=-I config -I tools -I scripts -I lib -I kernel -I library \
 	      -I contrib/extraction \
               -I contrib/interface -I contrib/fourier \
 	      -I contrib/jprover -I contrib/cc \
-	      -I contrib/funind -I contrib/first-order
+	      -I contrib/funind -I contrib/first-order \
+              -I contrib/field
 
 MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
 
-- 
cgit v1.2.3