a3a15f8b91
adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" [1]. [1] http://okmij.org/ftp/papers/LogicT.pdf WWW: http://code.haskell.org/~dolio/logict Obtained from: FreeBSD Haskell
20 lines
402 B
Makefile
20 lines
402 B
Makefile
# New ports collection makefile for: hs-logict
|
|
# Date created: November 19, 2011
|
|
# Whom: haskell@FreeBSD.org
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= logict
|
|
PORTVERSION= 0.5.0
|
|
CATEGORIES= devel haskell
|
|
|
|
MAINTAINER= haskell@FreeBSD.org
|
|
COMMENT= A backtracking logic-programming monad
|
|
|
|
LICENSE= BSD
|
|
|
|
USE_CABAL= mtl>=1.0.1
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|