11 lines
196 B
Makefile
11 lines
196 B
Makefile
# $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
|