openbsd-ports/devel/hs-logict/Makefile

# $OpenBSD: Makefile,v 1.6 2013/03/11 10:50:07 espie Exp $

COMMENT =		backtracking logic-programming monad

DISTNAME =		logict-0.5.0.1
REVISION =		1
CATEGORIES =		devel

# BSD3
PERMIT_PACKAGE_CDROM =	Yes

MODULES =		lang/ghc

MODGHC_BUILD =		cabal hackage haddock register

RUN_DEPENDS =		devel/hs-mtl>=1.0.1,<2.2
BUILD_DEPENDS =		${RUN_DEPENDS}

.include <bsd.port.mk>
PERMIT_* / REGRESS->TEST sweep 2013-03-11 06:50:00 -04:00			`# $OpenBSD: Makefile,v 1.6 2013/03/11 10:50:07 espie Exp $`
A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" available here: http://okmij.org/ftp/papers/LogicT.pdf. ok ajacoutot@ 2012-01-23 16:07:22 -05:00
			`COMMENT = backtracking logic-programming monad`

Update to logict-0.5.0.1. 2012-09-02 16:28:18 -04:00			`DISTNAME = logict-0.5.0.1`
Regenerate plist for profiling libs. 2013-01-20 12:56:05 -05:00			`REVISION = 1`
A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" available here: http://okmij.org/ftp/papers/LogicT.pdf. ok ajacoutot@ 2012-01-23 16:07:22 -05:00			`CATEGORIES = devel`

			`# BSD3`
			`PERMIT_PACKAGE_CDROM = Yes`

			`MODULES = lang/ghc`

			`MODGHC_BUILD = cabal hackage haddock register`

Update to logict-0.5.0.1. 2012-09-02 16:28:18 -04:00			`RUN_DEPENDS = devel/hs-mtl>=1.0.1,<2.2`
A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" available here: http://okmij.org/ftp/papers/LogicT.pdf. ok ajacoutot@ 2012-01-23 16:07:22 -05:00			`BUILD_DEPENDS = ${RUN_DEPENDS}`

			`.include <bsd.port.mk>`