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