EXTRA_OBJECTS_TO_INSTALL =
EXTRA_OBJECTS_TO_CLEAN =
-TPTPDIR= /home/$(USER)/work-area/TPTP-v3.2.0/
+TPTPDIR= /home/$(USER)/work-area/TPTP-v4.0.1/
all: tptp2grafite mainTHF
-clean: clean_tests
+clean: clean_tests clean_generated
+
+clean_generated:
+ rm -f parser.mli parser.ml parserTHF.mli parserTHF.ml
+ rm -f lexer.ml lexerTHF.ml
clean_tests:
rm -f tptp2grafite
+lexer.cmo: parser.cmi
+lexer.cmx: parser.cmi
+lexerTHF.cmo: parserTHF.cmi
+lexerTHF.cmx: parserTHF.cmi
+
%.mli %.ml: %.mly
ocamlyacc $*.mly
%.ml:%.mll
> /dev/null || echo Failed: $$X; \
done
+thf:
+ rm -rf THF
+ mkdir THF
+ for x in `cat thf_problems`; do\
+ echo $$x;\
+ ./mainTHF -tptppath $(TPTPDIR) $$x.p > THF/$$x.ma;\
+ done
+
include ../../Makefile.defs
include ../Makefile.common