openbsd-ports/math/prover9/Makefile

# $OpenBSD: Makefile,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $

    SUBDIR =
    SUBDIR += ladr
    SUBDIR += p9m4

.include <bsd.port.subdir.mk>
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.. 2011-03-07 17:26:24 -05:00			`# $OpenBSD: Makefile,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $`

			`SUBDIR =`
			`SUBDIR += ladr`
			`SUBDIR += p9m4`

			`.include <bsd.port.subdir.mk>`