21 lines
456 B
Makefile
21 lines
456 B
Makefile
# $OpenBSD: Makefile,v 1.2 2013/03/11 11:23:55 espie 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
|
|
|
|
WANTLIB += c m stdc++
|
|
|
|
MASTER_SITES = ${HOMEPAGE}/raw-attachment/wiki/releases/
|
|
|
|
CONFIGURE_STYLE = gnu
|
|
|
|
.include <bsd.port.mk>
|