Commit b06a4b4e authored by Maximilien Colange's avatar Maximilien Colange

Better use of ocamlfind for the build process.

parent e327d4e5
SUBDIRS = utap
INCLUDEDIR=@UDBML_ROOT@/udbml
UPPAAL_DIR=@UDBML_ROOT@/uppaal/lib
BUILDDIR=_build
OCAMLBUILD=ocamlbuild -use-ocamlfind -classic-display -build-dir $(BUILDDIR) @OCAMLBUILDFLAGS@
OCAMLBUILD=OCAMLPATH=@UDBML_ROOT@ ocamlbuild -use-ocamlfind -classic-display -build-dir $(BUILDDIR) @OCAMLBUILDFLAGS@
UTAP_INCLUDEDIR=@abs_top_srcdir@/utap/src
......@@ -22,10 +21,10 @@ 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) -cclib -L$(UPPAAL_DIR) -cclib -ludbm" $@
XML_LINK_FLAGS="$(XML_LIBS)" CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -pkg udbml -lflags "-cclib -L$(UPPAAL_DIR) -cclib -ludbm" $@
.c.o:
CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -cflags "-I $(INCLUDEDIR)" $@
CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -pkg udbml $@
clean-local:
$(OCAMLBUILD) -clean
......
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