Commit 518ac666 authored by Simon Cruanes's avatar Simon Cruanes

correction of LIBINCLUDES in Makefile.in

now ocamlgraph can be used properly in hypothesis_selection
parent d229cf17
......@@ -124,7 +124,6 @@ LIBINCLUDES = $(addprefix -I src/, $(LIBDIRS))
ifeq (@enable_hypothesis_selection@,yes)
LIB_TRANSFORM += hypothesis_selection
LIBINCLUDES += -I +ocamlgraph
INCLUDES += -I +ocamlgraph
EXTLIBS += ocamlgraph/graph
endif
......@@ -135,7 +134,7 @@ LIBMLI = $(addsuffix .mli, $(LIBMODULES))
LIBCMO = $(addsuffix .cmo, $(LIBMODULES))
LIBCMX = $(addsuffix .cmx, $(LIBMODULES))
$(LIBCMO) $(LIBCMX): INCLUDES = $(LIBINCLUDES)
$(LIBCMO) $(LIBCMX): INCLUDES += $(LIBINCLUDES)
$(LIBCMX): OFLAGS += -for-pack Why
# build targets
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment