CSRC += main.c smt.c smtPre.c smtFml.c smtUtil.c smtCnf.c smtSat.c smtDl.c smtGraph.c smtMp.c smtDebug.c
HEADERS += smt.h

LEXSRC += smt.l
YACCSRC += smt.y
GENERATEDCSRC += smtRead.c

$(objectdir)/smtRead.c $(objectdir)/smtread.h: smt.y smt.h smtLex.c
	$(YACC) -pSmtYy -t -d -o $(objectdir)/smtRead.c $<
	-@chmod 0664 $(objectdir)/smtRead.c

smtLex.c: smt.l
	$(LEX) -PSmtYy -o$(objectdir)/smtLex.c $< 
	-@chmod 0664 $(objectdir)/smtLex.c

$(objectdir)/smtRead.o: $(objectdir)/smtRead.c

DEPENDENCYFILES = $(CSRC)