CVS commit: pkgsrc/devel/hs-logict

["Masatake Daimon" <pho%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   pho
Date:           Wed Feb 16 09:46:06 UTC 2022

Added Files:
        pkgsrc/devel/hs-logict: DESCR Makefile PLIST buildlink3.mk distinfo

Log Message:
devel/hs-logict: import hs-logict-0.7.1.0

Adapted from the paper "Backtracking, Interleaving, and Terminating Monad
Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr
Sabry.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/hs-logict/DESCR \
    pkgsrc/devel/hs-logict/Makefile pkgsrc/devel/hs-logict/PLIST \
    pkgsrc/devel/hs-logict/buildlink3.mk pkgsrc/devel/hs-logict/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/devel/hs-logict/DESCR
diff -u /dev/null pkgsrc/devel/hs-logict/DESCR:1.1
--- /dev/null   Wed Feb 16 09:46:06 2022
+++ pkgsrc/devel/hs-logict/DESCR        Wed Feb 16 09:46:06 2022
@@ -0,0 +1,3 @@
+Adapted from the paper "Backtracking, Interleaving, and Terminating Monad
+Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr
+Sabry.
Index: pkgsrc/devel/hs-logict/Makefile
diff -u /dev/null pkgsrc/devel/hs-logict/Makefile:1.1
--- /dev/null   Wed Feb 16 09:46:06 2022
+++ pkgsrc/devel/hs-logict/Makefile     Wed Feb 16 09:46:06 2022
@@ -0,0 +1,11 @@
+# $NetBSD: Makefile,v 1.1 2022/02/16 09:46:06 pho Exp $
+
+DISTNAME=      logict-0.7.1.0
+CATEGORIES=    devel
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+COMMENT=       Backtracking logic-programming monad
+LICENSE=       modified-bsd
+
+.include "../../mk/haskell.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/devel/hs-logict/PLIST
diff -u /dev/null pkgsrc/devel/hs-logict/PLIST:1.1
--- /dev/null   Wed Feb 16 09:46:06 2022
+++ pkgsrc/devel/hs-logict/PLIST        Wed Feb 16 09:46:06 2022
@@ -0,0 +1,23 @@
+@comment $NetBSD: PLIST,v 1.1 2022/02/16 09:46:06 pho Exp $
+lib/logict-${PKGVERSION}/${HS_VERSION}/package-description
+lib/logict-${PKGVERSION}/${HS_VERSION}/package-id
+lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic/Class.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic/Class.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic/Class.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/LICENSE
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/Control-Monad-Logic-Class.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/Control-Monad-Logic.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/doc-index.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/haddock-bundle.min.js
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/index.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/linuwial.css
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/logict.haddock
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/meta.json
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/quick-jump.css
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/synopsis.png
Index: pkgsrc/devel/hs-logict/buildlink3.mk
diff -u /dev/null pkgsrc/devel/hs-logict/buildlink3.mk:1.1
--- /dev/null   Wed Feb 16 09:46:06 2022
+++ pkgsrc/devel/hs-logict/buildlink3.mk        Wed Feb 16 09:46:06 2022
@@ -0,0 +1,13 @@
+# $NetBSD: buildlink3.mk,v 1.1 2022/02/16 09:46:06 pho Exp $
+
+BUILDLINK_TREE+=       hs-logict
+
+.if !defined(HS_LOGICT_BUILDLINK3_MK)
+HS_LOGICT_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.hs-logict+=      hs-logict>=0.7.1
+BUILDLINK_ABI_DEPENDS.hs-logict+=      hs-logict>=0.7.1.0
+BUILDLINK_PKGSRCDIR.hs-logict?=                ../../devel/hs-logict
+.endif # HS_LOGICT_BUILDLINK3_MK
+
+BUILDLINK_TREE+=       -hs-logict
Index: pkgsrc/devel/hs-logict/distinfo
diff -u /dev/null pkgsrc/devel/hs-logict/distinfo:1.1
--- /dev/null   Wed Feb 16 09:46:06 2022
+++ pkgsrc/devel/hs-logict/distinfo     Wed Feb 16 09:46:06 2022
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2022/02/16 09:46:06 pho Exp $
+
+BLAKE2s (logict-0.7.1.0.tar.gz) = cc28249a16395f910f09433656350755e295887fc73c0bca70ff10ae34ee3fb2
+SHA512 (logict-0.7.1.0.tar.gz) = b6d37521ab1f9ec6c2fd5eea27f6d221680cc043a0fd6413c5ac37f1bfeb2d87a15fba92774d36b6a11cd685b2b78f6710441ca91dfd5aa376735d95425d6b53
+Size (logict-0.7.1.0.tar.gz) = 15146 bytes