BSD Commit Log Search

   Move ladr to python3 using 2to3.
   This is only for installed examples anyway.

   drop RCS Ids

   Reverse the polarity of MODPY_VERSION; default is now 3.x,
   if a port needs 2.x then set MODPY_VERSION=${MODPY_DEFAULT_VERSION_2}.

   This commit doesn't change any versions currently used; it may be that
   some ports have MODPY_DEFAULT_VERSION_2 but don't require it, those
   should be cleaned up in the course of updating ports where possible.

   Python module ports providing py3-* packages should still use
   FLAVOR=python3 so that we don't have a mixture of dependencies some
   using ${MODPY_FLAVOR} and others not.

   replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes

   PERMIT_*

   PERMIT_* / REGRESS->TEST sweep

   - tweak MASTER_SITES

   Initial revision

   import Prover9, Mace4, and several related programs come packaged in a system
   called LADR (Library for Automated Deduction Research).

   split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr)

   ok aja@
   and thanks to landry@/robert@ too for putting up with my ranting about this..