typecheck: lex.yy.c y.tab.c types.h types.c 
	gcc -o typecheck y.tab.c -ly -ll

lex.yy.c: check.l
	lex check.l

y.tab.c: check.y 
	yacc check.y

typecheck2: lex.yy.c y.tab.c types.H type.cpp
	g++ -x c++ -o typecheck2 y.tab.c types.cpp -ly -ll