openbsd-ports/devel/hs-logict/Makefile

# $OpenBSD: Makefile,v 1.9 2015/12/20 11:27:22 kili Exp $

COMMENT =		backtracking logic-programming monad

DISTNAME =		logict-0.5.0.2
REVISION =		0
CATEGORIES =		devel

# BSD3
PERMIT_PACKAGE_CDROM =	Yes

MODULES =		lang/ghc

MODGHC_BUILD =		cabal hackage haddock register

MODGHC_PACKAGE_KEY =	6DFOfbxuDUzFZeqG5i35lj

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

.include <bsd.port.mk>
Adjust MODGHC_PACKAGE_KEY. 2015-12-20 11:27:22 +00:00			`# $OpenBSD: Makefile,v 1.9 2015/12/20 11:27:22 kili 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 21:07:22 +00:00
			`COMMENT = backtracking logic-programming monad`

Update to hs-logict-0.5.0.2. 2015-09-20 15:13:35 +00:00			`DISTNAME = logict-0.5.0.2`
Adjust MODGHC_PACKAGE_KEY. 2015-12-20 11:27:22 +00:00			`REVISION = 0`
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 21:07:22 +00:00			`CATEGORIES = devel`

			`# BSD3`
			`PERMIT_PACKAGE_CDROM = Yes`

			`MODULES = lang/ghc`

			`MODGHC_BUILD = cabal hackage haddock register`

Adjust MODGHC_PACKAGE_KEY. 2015-12-20 11:27:22 +00:00			`MODGHC_PACKAGE_KEY = 6DFOfbxuDUzFZeqG5i35lj`
Update to hs-logict-0.5.0.2. 2015-09-20 15:13:35 +00:00
			`RUN_DEPENDS = devel/hs-mtl>=1.0.1,<2.3`
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 21:07:22 +00:00			`BUILD_DEPENDS = ${RUN_DEPENDS}`

			`.include <bsd.port.mk>`