openbsd-ports/math/prover9/Makefile.inc

# $OpenBSD: Makefile.inc,v 1.4 2013/03/11 12:27:54 sthen Exp $

CATEGORIES ?=	math

HOMEPAGE ?=	http://www.cs.unm.edu/%7Emccune/prover9/

# GPLv2
PERMIT_PACKAGE_CDROM=	Yes

MODULES?=		lang/python
PERMIT_* 2013-03-11 08:27:53 -04:00			`# $OpenBSD: Makefile.inc,v 1.4 2013/03/11 12:27:54 sthen Exp $`
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
			`CATEGORIES ?= math`

- tweak MASTER_SITES 2011-06-29 14:11:25 -04:00			`HOMEPAGE ?= http://www.cs.unm.edu/%7Emccune/prover9/`
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
			`# GPLv2`
PERMIT_* 2013-03-11 08:27:53 -04:00			`PERMIT_PACKAGE_CDROM= Yes`
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
			`MODULES?= lang/python`