CC=gcc
MCC=mcc
TARGET=dpp dpp2 tableau tableau2 tableau3
MCCFLAGS=-s
CFLAGS=-I. -g -Wall

.SUFFIXES:	.cbc .c .o

.cbc.o:
	$(MCC) $(MCCFLAGS) $<
	$(CC) $(CFLAGS) -o $@ -c $(<:.cbc=.s)

all: $(TARGET)

# single running
dpp: dpp.o main.o
	$(CC) $(CFLAGS) -o $@ $^

# multiple running
dpp2: dpp2.o queue.o scheduler.o memory.o crc32.o
	$(CC) $(CFLAGS) -o $@ $^

# tableau expansion 
tableau: dpp2.o queue.o tableau.o memory.o state_db.o crc32.o
	$(CC) $(CFLAGS) -o $@ $^

# tableau expansion with LTL
tableau2: dpp2.o queue.o ltl.o tableau2.o memory.o state_db.o crc32.o
	$(CC) $(CFLAGS) -o $@ $^

# tableau expansion with LTL (reduced the number of states)
tableau3: dpp3.o queue.o ltl.o tableau3.o memory.o state_db.o crc32.o
	$(CC) $(CFLAGS) -o $@ $^

#

test:   memory_test state_test

memory_test: test/memory_test
	test/memory_test
state_test: test/state_test
	test/state_test

test/memory_test: test/memory_test.o memory.o crc32.o
	$(CC) $(CFLAGS) -I. $^ -o $@
test/state_test: test/state_test.o memory.o  state_db.o crc32.o
	$(CC) $(CFLAGS) -I. $^ -o $@

clean:
	$(RM) -f $(TARGET)
	$(RM) -f *.s *.o
	$(RM) -f test/*.s test/*.o test/state_test test/memory_test


depend:
	makedepend *.cbc *.[hc] test/*.c

# DO NOT DELETE

dpp.o: dpp.h
dpp2.o: dpp2.h queue.h dpp.h state_db.h scheduler.h
main.o: dpp.h
queue.o: queue.h dpp.h state_db.h
scheduler.o: /usr/include/stdio.h /usr/include/features.h
scheduler.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
scheduler.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
scheduler.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
scheduler.o: /usr/include/libio.h /usr/include/_G_config.h
scheduler.o: /usr/include/wchar.h /usr/include/bits/wchar.h
scheduler.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
scheduler.o: /usr/include/bits/sys_errlist.h /usr/include/stdlib.h
scheduler.o: /usr/include/sys/types.h /usr/include/time.h
scheduler.o: /usr/include/endian.h /usr/include/bits/endian.h
scheduler.o: /usr/include/sys/select.h /usr/include/bits/select.h
scheduler.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
scheduler.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
scheduler.o: /usr/include/alloca.h dpp2.h queue.h dpp.h state_db.h
tableau.o: /usr/include/stdlib.h /usr/include/features.h
tableau.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
tableau.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
tableau.o: /usr/include/sys/types.h /usr/include/bits/types.h
tableau.o: /usr/include/bits/typesizes.h /usr/include/time.h
tableau.o: /usr/include/endian.h /usr/include/bits/endian.h
tableau.o: /usr/include/sys/select.h /usr/include/bits/select.h
tableau.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
tableau.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
tableau.o: /usr/include/alloca.h dpp2.h queue.h dpp.h state_db.h memory.h
memory.o: /usr/include/stdio.h /usr/include/features.h
memory.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
memory.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
memory.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
memory.o: /usr/include/libio.h /usr/include/_G_config.h /usr/include/wchar.h
memory.o: /usr/include/bits/wchar.h /usr/include/gconv.h
memory.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
memory.o: /usr/include/stdlib.h /usr/include/sys/types.h /usr/include/time.h
memory.o: /usr/include/endian.h /usr/include/bits/endian.h
memory.o: /usr/include/sys/select.h /usr/include/bits/select.h
memory.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
memory.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
memory.o: /usr/include/alloca.h memory.h crc32.h /usr/include/string.h
queue.o: dpp.h state_db.h
state_db.o: /usr/include/stdlib.h /usr/include/features.h
state_db.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
state_db.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
state_db.o: /usr/include/sys/types.h /usr/include/bits/types.h
state_db.o: /usr/include/bits/typesizes.h /usr/include/time.h
state_db.o: /usr/include/endian.h /usr/include/bits/endian.h
state_db.o: /usr/include/sys/select.h /usr/include/bits/select.h
state_db.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
state_db.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
state_db.o: /usr/include/alloca.h state_db.h memory.h
test/memory_test.o: /usr/include/stdio.h /usr/include/features.h
test/memory_test.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
test/memory_test.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
test/memory_test.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
test/memory_test.o: /usr/include/libio.h /usr/include/_G_config.h
test/memory_test.o: /usr/include/wchar.h /usr/include/bits/wchar.h
test/memory_test.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
test/memory_test.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
test/memory_test.o: memory.h
test/state_test.o: /usr/include/stdio.h /usr/include/features.h
test/state_test.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
test/state_test.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
test/state_test.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
test/state_test.o: /usr/include/libio.h /usr/include/_G_config.h
test/state_test.o: /usr/include/wchar.h /usr/include/bits/wchar.h
test/state_test.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
test/state_test.o: /usr/include/bits/sys_errlist.h memory.h state_db.h