Commit ce2e88a6 authored by Maximilien Colange's avatar Maximilien Colange

Replace custom caml parser by the much more mature Uppaal parser (in C).

The caml automaton is built from C thanks to OCaml callbacks.
parent 6b77995a
SUBDIRS = utap
INCLUDEDIR=@UDBML_ROOT@/udbml
all:
ocamlbuild -use-ocamlfind -classic-display $(OCAMLBUILDFLAGS) -cflags "-I $(INCLUDEDIR)" -lflags "$(INCLUDEDIR)/udbml.cmxa -cclib -L$(INCLUDEDIR)" src/main.native
cp `readlink -f main.native` tiamo
BUILDDIR=_build
OCAMLBUILD=ocamlbuild -use-ocamlfind -classic-display -build-dir $(BUILDDIR)
UTAP_INCLUDEDIR=@abs_top_srcdir@/utap/src
UTAP_LIB=@abs_top_srcdir@/utap/src/libutap.a
CXX_FLAGS=-std=c++11 -fPIC -O3 -DNDEBUG -I$(UTAP_INCLUDEDIR)
OCAML_CXX_FLAGS=$(foreach i,$(CXX_FLAGS),-ccopt $i)
XML_LINK_FLAGS=$(foreach i,$(XML_LIBS),-cclib $i)
all-local:
$(OCAMLBUILD) -cflags "-cc g++ $(OCAML_CXX_FLAGS)" timedAutomatonBuilder.o
$(OCAMLBUILD) $(OCAMLBUILDFLAGS) -cflags "-g -I $(INCLUDEDIR)" -lflags "$(INCLUDEDIR)/udbml.cmxa $(UTAP_LIB) src/timedAutomatonBuilder.o $(XML_LINK_FLAGS) -cclib -L$(INCLUDEDIR)" src/main.native
cp `readlink -f $(BUILDDIR)/src/main.native` tiamo
clean-local:
ocamlbuild -clean
......
This diff is collapsed.
This diff is collapsed.
<src/*.{o,a}>: not_hygienic
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