24 lines
538 B
Makefile
24 lines
538 B
Makefile
# $OpenBSD: Makefile,v 1.1.1.1 2010/10/24 13:55:41 edd Exp $
|
|
COMMENT = easy to use propositional logic solver based on MiniSAT
|
|
|
|
DISTNAME = logic2cnf-0.7.2
|
|
|
|
CATEGORIES = math lang
|
|
|
|
HOMEPAGE = http://projects.cs.kent.ac.uk/projects/logic2cnf/trac/
|
|
MAINTAINER = Edd Barrett <edd@openbsd.org>
|
|
|
|
# ISC
|
|
PERMIT_PACKAGE_CDROM = Yes
|
|
PERMIT_PACKAGE_FTP = Yes
|
|
PERMIT_DISTFILES_CDROM =Yes
|
|
PERMIT_DISTFILES_FTP = Yes
|
|
|
|
WANTLIB += c m stdc++
|
|
|
|
MASTER_SITES = ${HOMEPAGE}/raw-attachment/wiki/releases/
|
|
|
|
CONFIGURE_STYLE = gnu
|
|
|
|
.include <bsd.port.mk>
|