From 8c6c8c35a85cad4e1e0248562a7b4b8e5ea5aa1d Mon Sep 17 00:00:00 2001 From: Julien Moutinho Date: Sat, 16 Apr 2016 23:52:39 +0200 Subject: [PATCH] =?utf8?q?Correction=20:=20ocaml-4.03=20n=E2=80=99a=20plus?= =?utf8?q?=20-I=20.=20par=20d=C3=A9faut.?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- GNUmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GNUmakefile b/GNUmakefile index 1143320..dbe9470 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -169,7 +169,7 @@ include_GNUmakefile.inc = $(eval $(call make_GNUmakefile.inc,$(or $1,.))) # ocaml configure # --------------- %/configure.c %/configure.log %/configure.make %/configure.ml %/pa_configure.ml: %/configure - ocaml $< $(CONFIGURE_FLAGS) + ocaml -I . $(OCAML_FLAGS) $< $(CONFIGURE_FLAGS) # ---------- # ocaml deps -- 2.49.0