Commit 347710e3 authored by MARCHE Claude's avatar MARCHE Claude

bug with includes

parent deff5574
......@@ -124,7 +124,7 @@ LIBINCLUDES = $(addprefix -I src/, $(LIBDIRS))
ifeq (@enable_hypothesis_selection@,yes)
LIB_TRANSFORM += hypothesis_selection
INCLUDES += -I +ocamlgraph
LIBINCLUDES += -I +ocamlgraph
EXTLIBS += ocamlgraph/graph
endif
......@@ -663,7 +663,7 @@ clean::
%.cmi: %.mli
$(if $(QUIET),@echo 'Ocamlc $<' &&) $(OCAMLC) -c $(BFLAGS) $<
%.cmo %cmi: %.ml
%.cmo %.cmi: %.ml
$(if $(QUIET),@echo 'Ocamlc $<' &&) $(OCAMLC) -c $(BFLAGS) $<
%.cmx: %.ml
......
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