FILES=astate_graph.c errors.c main.c bstate_graph.c containment.c sgraph.c std.c
HEADERS=$(FILES:.c=.h)
SRCS=lex.yy.c readCP.tab.c $(FILES)


ramsey: $(SRCS)
	gcc -Wall -O3 -o ramsey $(SRCS)
lex.yy.c: readCP.l readCP.tab.h
	flex readCP.l
readCP.tab.h: readCP.y
	bison -d readCP.y
readCP.tab.c: readCP.y
	bison -d readCP.y
  
debug: $(SRCS)
	flex readCP.l
	bison -d --debug --verbose readCP.y
	gcc -g -O0 -Wall -o ramsey-debug $(SRCS) 
prof: $(SRCS)
	gcc -g -pg -O0 -Wall -o ramsey-prof $(SRCS) 
bison:
	flex readCP.l
	bison -d --debug --verbose readCP.y
	gcc -Wall -g -O0 -o bison_ex errors.c memory.c sgraph.c lex.yy.c readCP.tab.c
clean : 
	rm -f readCP.tab.*
	rm -f lex.yy.c
	rm -f *.o
	rm -f *.hi
	rm -f ramsey
	rm -f tags
	rm -f ramsey-debug
install : ramsey
	mv ramsey ~/bin/
tags: $(FILES)
	 ctags -T $(HEADERS) $(FILES) 2> /dev/null


.c.o:
	$(CC) $(CFLAGS) $(CPPFLAGS) -c $< -o $@
