Commit e327d4e5 authored by Maximilien Colange's avatar Maximilien Colange

Libudbml dropped unstable automatic link dependency.

Explicit link against libudbm is now required.
parent c0066a49
......@@ -2,6 +2,7 @@
SUBDIRS = utap
INCLUDEDIR=@UDBML_ROOT@/udbml
UPPAAL_DIR=@UDBML_ROOT@/uppaal/lib
BUILDDIR=_build
......@@ -21,7 +22,7 @@ tiamo: src/main.native
src/main.native: src/timedAutomatonBuilder.o
.ml.native:
XML_LINK_FLAGS="$(XML_LIBS)" CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -cflags "-I $(INCLUDEDIR)" -lflags "$(INCLUDEDIR)/udbml.cmxa -cclib -L$(INCLUDEDIR)" $@
XML_LINK_FLAGS="$(XML_LIBS)" CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -cflags "-I $(INCLUDEDIR)" -lflags "$(INCLUDEDIR)/udbml.cmxa -cclib -L$(INCLUDEDIR) -cclib -L$(UPPAAL_DIR) -cclib -ludbm" $@
.c.o:
CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -cflags "-I $(INCLUDEDIR)" $@
......
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