helm/software/components/binaries/tptp2grafite/Makefile

   1 all: tptp2grafite
   2
   3 tptp2grafite: ast.ml parser.mly lexer.mll main.ml
   4         ocamlc -c ast.ml
   5         ocamlyacc parser.mly
   6         ocamlc -c parser.mli
   7         ocamlc -c parser.ml
   8         ocamllex lexer.mll
   9         ocamlc -c lexer.ml
  10         ocamlc -c main.ml
  11         ocamlc -o tptp2grafite ast.cmo lexer.cmo parser.cmo main.cmo
  12
  13 clean:
  14         rm -f tptp2grafite *.cmo *.cmi parser.mli parser.ml lexer.ml rm *.output
  15
  16 test: tptp2grafite
  17         for X in `cat unit_equality_problems`; do\
  18                 cat ~/TPTP-v3.1.1/$$X | ./tptp2grafite || echo ERROR PARSING $$X;\
  19         done