Makefile.am 1.09 KB
Newer Older
mcolange's avatar
mcolange committed
1

2 3
SUBDIRS = utap

4
UPPAAL_DIR=@UDBML_ROOT@/uppaal/lib
mcolange's avatar
mcolange committed
5

6 7
BUILDDIR=_build

8
OCAMLBUILD=OCAMLPATH=@UDBML_ROOT@ ocamlbuild -use-ocamlfind -classic-display -build-dir $(BUILDDIR) @OCAMLBUILDFLAGS@
9 10 11

UTAP_INCLUDEDIR=@abs_top_srcdir@/utap/src

12
CXX_FLAGS=-std=c++11 -I$(UTAP_INCLUDEDIR) -I@abs_top_srcdir@/src
13

14 15
SUFFIXES = .native .ml

16 17 18
all-local: tiamo

tiamo: src/main.native
19
	cp $(BUILDDIR)/$< tiamo
20

21
src/main.native: src/ctime.o
22 23
src/main.native: src/timedAutomatonBuilder.o

24
.ml.native:
25
	rm -f $(BUILDDIR)/$@
26
	XML_LINK_FLAGS="$(XML_LIBS)" CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -pkg udbml -lflags "-cclib -L$(UPPAAL_DIR) -cclib -ludbm" $@
27 28

.c.o:
29
	CXX_FLAGS="$(CXX_FLAGS)" $(OCAMLBUILD) -pkg udbml $@
30

mcolange's avatar
mcolange committed
31
clean-local:
32
	$(OCAMLBUILD) -clean
mcolange's avatar
mcolange committed
33
	rm -f tiamo
34 35 36 37 38


# test part

TEST_EXTENSIONS = .data
39
DATA_LOG_DRIVER = ./teamcity-test-driver
40 41 42
DATA_LOG_COMPILER = ./run_test.pl

TESTS = \
Maximilien Colange's avatar
Maximilien Colange committed
43 44 45
	tests/test_1.data \
	tests/test_2.data \
	tests/test_3.data \
Maximilien Colange's avatar
Maximilien Colange committed
46 47
	tests/test_4.data \
	tests/test_5.data \
Maximilien Colange's avatar
Maximilien Colange committed
48 49 50 51
	tests/test_6.data \
	tests/test_7.data \
	tests/test_8.data \
	tests/test_9.data \
Maximilien Colange's avatar
Maximilien Colange committed
52 53 54
	tests/test_10.data \
	tests/test_11.data \
	tests/test_12.data