cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

A continuation-based, backtracking, logic programming monad. An

Browse Source 
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@
This commit is contained in:
kili 2012-01-23 21:07:22 +00:00
parent 4cf8b50264
commit 33e542cb07
4 changed files with 61 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
devel/hs-logict/Makefile Normal file
View File

@ -0,0 +1,21 @@
# $OpenBSD: Makefile,v 1.1.1.1 2012/01/23 21:07:22 kili Exp $
COMMENT = backtracking logic-programming monad
DISTNAME = logict-0.5.0
CATEGORIES = devel
# BSD3
PERMIT_PACKAGE_CDROM = Yes
PERMIT_PACKAGE_FTP = Yes
PERMIT_DISTFILES_CDROM =Yes
PERMIT_DISTFILES_FTP = Yes
MODULES = lang/ghc
MODGHC_BUILD = cabal hackage haddock register
RUN_DEPENDS = devel/hs-mtl
BUILD_DEPENDS = ${RUN_DEPENDS}
.include <bsd.port.mk>

5
devel/hs-logict/distinfo Normal file
View File

@ -0,0 +1,5 @@
MD5 (ghc/logict-0.5.0.tar.gz) = jmGXuG9/U1MfUkcrjfw9vA==
RMD160 (ghc/logict-0.5.0.tar.gz) = 30Hwpo2UFLViZwIv6ULd/Rv6k4w=
SHA1 (ghc/logict-0.5.0.tar.gz) = PY9hYq69aN/P2mO9jrDqZrpesWw=
SHA256 (ghc/logict-0.5.0.tar.gz) = uUBXjbTMuwwhvYTmUfKV0P6sedpdNEH793Uca5tChyk=
SIZE (ghc/logict-0.5.0.tar.gz) = 5276

4
devel/hs-logict/pkg/DESCR Normal file
View File

@ -0,0 +1,4 @@
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.

31
devel/hs-logict/pkg/PLIST Normal file
View File

@ -0,0 +1,31 @@
@comment $OpenBSD: PLIST,v 1.1.1.1 2012/01/23 21:07:22 kili Exp $
lib/ghc/${DISTNAME}/
lib/ghc/${DISTNAME}/Control/
lib/ghc/${DISTNAME}/Control/Monad/
lib/ghc/${DISTNAME}/Control/Monad/Logic/
lib/ghc/${DISTNAME}/Control/Monad/Logic.hi
lib/ghc/${DISTNAME}/Control/Monad/Logic/Class.hi
lib/ghc/${DISTNAME}/HS${DISTNAME}.o
lib/ghc/${DISTNAME}/libHS${DISTNAME}.a
lib/ghc/${DISTNAME}/register.sh
@exec /usr/bin/env HOME=/nonexistent %D/lib/ghc/${DISTNAME}/register.sh -v0
@unexec /usr/bin/env HOME=/nonexistent %D/lib/ghc/${DISTNAME}/unregister.sh -v0 --force
lib/ghc/${DISTNAME}/unregister.sh
share/doc/hs-${DISTNAME}/
share/doc/hs-${DISTNAME}/LICENSE
share/doc/hs-${DISTNAME}/html/
share/doc/hs-${DISTNAME}/html/Control-Monad-Logic-Class.html
share/doc/hs-${DISTNAME}/html/Control-Monad-Logic.html
share/doc/hs-${DISTNAME}/html/doc-index.html
share/doc/hs-${DISTNAME}/html/frames.html
share/doc/hs-${DISTNAME}/html/haddock-util.js
share/doc/hs-${DISTNAME}/html/hslogo-16.png
share/doc/hs-${DISTNAME}/html/index-frames.html
share/doc/hs-${DISTNAME}/html/index.html
share/doc/hs-${DISTNAME}/html/logict.haddock
share/doc/hs-${DISTNAME}/html/mini_Control-Monad-Logic-Class.html
share/doc/hs-${DISTNAME}/html/mini_Control-Monad-Logic.html
share/doc/hs-${DISTNAME}/html/minus.gif
share/doc/hs-${DISTNAME}/html/ocean.css
share/doc/hs-${DISTNAME}/html/plus.gif
share/doc/hs-${DISTNAME}/html/synopsis.png