# $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>
