Edit

IABSD.fr/ports/math/logic2cnf/Makefile

Branch :

  • Show log

    Commit

  • Author : edd
    Date : 2010-10-24 13:55:41
    Hash : 29f399ba
    Message : import logic2cnf - propositional logic solver tool. OK jasper@

  • math/logic2cnf/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>