Commit 5753a847 authored by Simon Cruanes's avatar Simon Cruanes

tptp2why compilation iff menhir is detected

parent 160b4fe1
......@@ -394,8 +394,8 @@ clean::
# TODO : autoconf
MENHIR=/usr/bin/menhir
TPTPGENERATED = src/tptp2why/tptp_parser.ml src/tptp2why/tptp_parser.mli \
src/tptp2why/tptp_parser.output src/tptp2why/tptp_lexer.ml
TPTPGENERATED = src/tptp2why/tptp_parser.output src/tptp2why/tptp_lexer.ml \
src/tptp2why/tptp_parser.ml src/tptp2why/tptp_parser.mli
TPTP_FILES = tptpTree tptp_parser tptp_lexer tptp2why
TPTP_DIR=src/tptp2why/
......@@ -411,8 +411,10 @@ $(TPTPCMO) $(TPTPCMX): INCLUDES = -I $(TPTP_DIR)
# build targets
ifeq (@enable_tptp2why_support@,yes)
byte: bin/tptp2why.byte
opt: bin/tptp2why.opt
endif
src/tptp2why/tptp_parser.ml src/tptp2why/tptp_parser.mli: src/tptp2why/tptpTree.cmi src/tptp2why/tptp_parser.mly
cd $(TPTP_DIR) && $(MENHIR) --infer tptp_parser.mly
......@@ -428,7 +430,9 @@ bin/tptp2why.byte: $(TPTPCMO)
# depend and clean targets
ifeq (@enable_tptp2why_support@,yes)
include .depend.tptp2why
endif
.depend.tptp2why: $(TPTPGENERATED)
$(OCAMLDEP) -slash -I src -I src/tptp2why $(TPTPML) $(TPTPMLI) > $@
......
......@@ -259,6 +259,18 @@ if test "$CAMLP5O" = no; then
enable_coq_support=no
fi
# tptp2why
AC_CHECK_PROG(MENHIR,menhir,menhir,no)
if test "$MENHIR" = no; then
enable_tptp2why_support=no
else
enable_tptp2why_support=yes
fi
#Viewer for ps and pdf
dnl AC_CHECK_PROGS(PSVIEWER,gv evince)
dnl AC_CHECK_PROGS(PDFVIEWER,xpdf acroread evince)
......@@ -303,6 +315,9 @@ AC_SUBST(COQDEP)
AC_SUBST(COQLIB)
AC_SUBST(COQVERSION)
AC_SUBST(MENHIR)
AC_SUBST(enable_tptp2why_support)
dnl AC_SUBST(PSVIEWER)
dnl AC_SUBST(PDFVIEWER)
......@@ -324,6 +339,7 @@ echo "Why IDE : $enable_ide"
echo "Why plugins : $enable_plugins"
echo "Why proof manager : $enable_proof_manager"
echo "Coq support : $enable_coq_support"
echo "tptp2why support : $enable_tptp2why_support"
if test "$enable_coq_support" = "yes" ; then
echo " Version : $COQVERSION"
echo " Lib : $COQLIB"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment