CC=cbc-gcc-4.6.0
#MCC=mcc
TARGET=dpp dpp2 tableau tableau2 tableau3
#MCCFLAGS=-s
#CFLAGS=-I. -g -O0 -Wall
CFLAGS= -O2 -Wall

.SUFFIXES:	.cbc .c .o

.cbc.o:
#	$(MCC) $(MCCFLAGS) $<
#	$(CC) $(CFLAGS) -o $@ -c $(<:.cbc=.s)
	$(CC) $(CFLAGS) -S $<
	$(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