FLAGS  = -lfl -lm  
CC     = gcc
OBJS   = lex.yy.c
LEX    = flex
YACC   = bison


all:    sTimeWM nLargestPolynomialWM provedDisprovedWM

clean:
	-rm sTimeWM nLargestPolynomialWM provedDisprovedWM lex.yy.c *.tab.*

sTimeWM: sTimeWM.l sTimeWM.y
	bison -d $@.y
	flex $@.l
	${CC} ${OBJS} $@.tab.c ${FLAGS} -o $@

nLargestPolynomialWM: nLargestPolynomialWM.l nLargestPolynomialWM.y
	bison -d $@.y
	flex $@.l
	${CC} ${OBJS} $@.tab.c ${FLAGS} -o $@

provedDisprovedWM:  provedDisprovedWM.l provedDisprovedWM.y
	bison -d $@.y
	flex $@.l
	${CC} ${OBJS} $@.tab.c ${FLAGS} -o $@
