2011-06-29 14:11:25 -04:00
|
|
|
# $OpenBSD: Makefile.inc,v 1.2 2011/06/29 18:11:25 jasper Exp $
|
2011-03-07 17:26:24 -05:00
|
|
|
|
|
|
|
CATEGORIES ?= math
|
|
|
|
|
2011-06-29 14:11:25 -04:00
|
|
|
HOMEPAGE ?= http://www.cs.unm.edu/%7Emccune/prover9/
|
2011-03-07 17:26:24 -05:00
|
|
|
|
|
|
|
# GPLv2
|
|
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
|
|
PERMIT_PACKAGE_FTP= Yes
|
|
|
|
PERMIT_DISTFILES_CDROM= Yes
|
|
|
|
PERMIT_DISTFILES_FTP= Yes
|
|
|
|
|
|
|
|
MODULES?= lang/python
|