• Andrei Paskevich's avatar
    fix configure and Makefile · 15ea5190
    Andrei Paskevich authored
    thanks to Frédéric Herbreteau for the patch!
    The TPTP plugin does not load (Linux 64bit) when compiled with
    the Menhir library. For the moment, let us leave it as it is.
    The use of the library is not necessary and is off by default.
configure.in 15.1 KB