#CFLAGS=-Wall -O
CFLAGS=-Wall -g
#CFLAGS=-pg -fprofile-arcs -ftest-coverage

all: ltl2l2s ltl2tsmv printpod test

ltl2l2s: Makefile l2s.h encoder.h ltl2l2s.c l2sstring.o util.o operator.o \
	node.o formula.o bmcndetencoder.o cghtightencoder.o encoder.o \
	parser.o
	$(CC) $(CFLAGS) -o ltl2l2s l2sstring.o util.o operator.o node.o \
	formula.o bmcndetencoder.o cghtightencoder.o encoder.o parser.o \
	ltl2l2s.c

ltl2tsmv: Makefile l2s.h encoder.h ltl2tsmv.c l2sstring.o util.o operator.o \
	node.o formula.o bmcndetencoder.o cghtightencoder.o encoder.o \
	parser.o
	$(CC) $(CFLAGS) -o ltl2tsmv l2sstring.o util.o operator.o node.o \
	formula.o bmcndetencoder.o cghtightencoder.o encoder.o parser.o \
	ltl2tsmv.c

printpod: Makefile l2s.h l2sstring.o util.o operator.o node.o formula.o \
	parser.o
	$(CC) $(CFLAGS) -o printpod l2sstring.o util.o operator.o node.o \
	formula.o parser.o printpod.c

test: Makefile l2s.h encoder.h l2sstring.o util.o operator.o node.o \
	formula.o bmcndetencoder.o cghtightencoder.o encoder.o parser.o \
	test.o testmain.c
	$(CC) $(CFLAGS) -o test l2sstring.o util.o operator.o node.o \
	formula.o bmcndetencoder.o cghtightencoder.o encoder.o parser.o \
	test.o testmain.c

clean:
	make -C log clean
	rm -f *.o *.gcov *.bb *.bbg *.da ltl2l2s ltl2tsmv printpod test core

.PHONY: all clean
