Commit 9cf45a69 authored by Maximilien Colange's avatar Maximilien Colange

Force rebuild of the executable, due to a bad interaction between Makefile and...

Force rebuild of the executable, due to a bad interaction between Makefile and ocamlbuild dependency tracking.
parent eeaec6de
......@@ -21,6 +21,7 @@ tiamo: src/main.native
src/main.native: src/timedAutomatonBuilder.o
.ml.native:
rm -f $(BUILDDIR)/$@
XML_LINK_FLAGS="$(XML_LIBS)" CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -pkg udbml -lflags "-cclib -L$(UPPAAL_DIR) -cclib -ludbm" $@
.c.o:
......
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