From 3262e1e2e71b4fad5d5c47603aafb4dcb2539e27 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 17 Dec 2014 15:49:22 +0100
Subject: Minor bug fixes in configure and Makefile.extr

---
 Makefile.extr | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 732df31e..35ae5f7b 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -43,7 +43,7 @@ WARNINGS=-w -3
 extraction/%.cmx: WARNINGS +=-w -20
 extraction/%.cmo: WARNINGS +=-w -20
 
-COMPFLAGS=-g $(INCLUDE) $(WARNINGS)
+COMPFLAGS=-g $(INCLUDES) $(WARNINGS)
 
 # Using the bitstring library and syntax extension (for checklink)
 
@@ -162,6 +162,7 @@ depend: $(GENERATED)
 	@echo "Analyzing OCaml dependencies"
 	@for d in $(DIRS); do $(OCAMLDEP) $$d/*.mli $$d/*.ml; done > .depend.extr
 ifneq ($(strip $(DIRS_P4)),)
-	@for d in $(DIRS_P4); do $(OCAMLDEP_P4) $$d/*.mli $$d/*.ml; done >> .dependif
+	@for d in $(DIRS_P4); do $(OCAMLDEP_P4) $$d/*.mli $$d/*.ml; done >> .depend.extr
+endif
 
 
-- 
cgit