From 20e3c4aee0332960b008ec7aaa5c8689fa0bd059 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 13 Nov 2015 16:03:14 +0100
Subject: Tentative fix for issue #70 (menhirLib recompilation problems)

Don't pass $(MENHIR_INCLUDES) to ocamldep.
---
 Makefile.extr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index ed46e3f2..3e37914e 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -32,7 +32,7 @@ DIRS=extraction \
   lib common $(ARCH) backend cfrontend cparser driver \
   exportclight debug
 
-INCLUDES=$(patsubst %,-I %, $(DIRS)) $(MENHIR_INCLUDES)
+INCLUDES=$(patsubst %,-I %, $(DIRS))
 
 # Control of warnings:
 # warning 3 = deprecated feature.  Turned off for OCaml 4.02 (bytes vs strings)
@@ -42,7 +42,7 @@ WARNINGS=-w -3
 extraction/%.cmx: WARNINGS +=-w -20
 extraction/%.cmo: WARNINGS +=-w -20
 
-COMPFLAGS=-g $(INCLUDES) $(WARNINGS)
+COMPFLAGS=-g $(INCLUDES) $(MENHIR_INCLUDES) $(WARNINGS)
 
 # Using .opt compilers if available
 
-- 
cgit