all: tptp2grafite

tptp2grafite: ast.ml parser.mly lexer.mll main.ml
	ocamlc -c ast.ml
	ocamlyacc parser.mly
	ocamlc -c parser.mli
	ocamlc -c parser.ml
	ocamllex lexer.mll
	ocamlc -c lexer.ml
	ocamlc -c main.ml
	ocamlc -o tptp2grafite ast.cmo lexer.cmo parser.cmo main.cmo

clean:
	rm -f tptp2grafite *.cmo *.cmi parser.mli parser.ml lexer.ml rm *.output

test: tptp2grafite
	for X in `cat unit_equality_problems`; do\
		cat ~/TPTP-v3.1.1/$$X | ./tptp2grafite || echo ERROR PARSING $$X;\
	done