Lazy SmallCheck is a library for exhaustive, demand-driven testing of

Haskell programs.  It is based on the idea that if a property holds for
a partially-defined input then it must also hold for all fully-defined
refinements of the that input.  Compared to `eager' input generation as
in SmallCheck, Lazy SmallCheck may require significantly fewer
test-cases to verify a property for all inputs up to a given depth.

WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/

Approved by:	gabor

4 files changed, 80 insertions, 0 deletions

diff --git a/devel/hs-lazysmallcheck-ghc/Makefile b/devel/hs-lazysmallcheck-ghc/Makefile
new file mode 100644
index 000000000000..aa62399d16a6
--- /dev/null
+++ b/devel/hs-lazysmallcheck-ghc/Makefile
@@ -0,0 +1,55 @@
+# New ports collection makefile for:	hs-lazysmallcheck-ghc
+# Date created:				March 11, 2009
+# Whom:					Gabor Pali <pgj@FreeBSD.org>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	lazysmallcheck
+PORTVERSION=	0.3
+CATEGORIES=	devel haskell
+MASTER_SITES=	http://hackage.haskell.org/packages/archive/${PORTNAME}/${PORTVERSION}/
+PKGNAMEPREFIX=	hs-
+PKGNAMESUFFIX=	-ghc
+
+MAINTAINER=	haskell@FreeBSD.org
+COMMENT=	A library for demand-driven testing of Haskell programs
+
+BUILD_DEPENDS=	ghc>=6.8:${PORTSDIR}/lang/ghc
+RUN_DEPENDS=	ghc>=6.8:${PORTSDIR}/lang/ghc
+
+GHC_VERSION=	6.8.3
+CABALCMD=	${LOCALBASE}/bin/runghc Setup.hs
+CABALDIR=	lib/ghc-${GHC_VERSION}/cabal
+
+SUBDIR=		lib/${PORTNAME}-${PORTVERSION}
+PLIST_SUB=	GHC_VERSION=${GHC_VERSION}		\
+		PORTNAME=${PORTNAME}			\
+		PORTVERSION=${PORTVERSION}		\
+		SUBDIR=${CABALDIR}
+DOCSDIR=	${PREFIX}/share/doc/${PORTNAME}-${PORTVERSION}
+PORTDOCS=	LICENSE html
+
+CONFIGURE_ARGS=	--ghc --prefix=${PREFIX} --libdir=${PREFIX}/${CABALDIR} --libsubdir='' --datasubdir=''
+
+.if !defined(NOPORTDOCS)
+BUILD_DEPENDS+=	haddock:${PORTSDIR}/devel/hs-haddock
+PLIST_SUB+=	RMLIC="@comment "
+.else
+PLIST_SUB+=	RMLIC=""
+.endif
+
+do-configure:
+	cd ${WRKSRC} && ${CABALCMD} configure ${CONFIGURE_ARGS}
+
+do-build:
+	cd ${WRKSRC} && ${CABALCMD} build && ${CABALCMD} --gen-script register
+.if !defined(NOPORTDOCS)
+	cd ${WRKSRC} && ${CABALCMD} haddock
+.endif
+
+do-install:
+	cd ${WRKSRC} && ${CABALCMD} install
+	${INSTALL_SCRIPT} ${WRKSRC}/register.sh ${PREFIX}/${CABALDIR}/${PORTNAME}-register.sh
+
+.include <bsd.port.mk>
diff --git a/devel/hs-lazysmallcheck-ghc/distinfo b/devel/hs-lazysmallcheck-ghc/distinfo
new file mode 100644
index 000000000000..8f2201977d14
--- /dev/null
+++ b/devel/hs-lazysmallcheck-ghc/distinfo
@@ -0,0 +1,3 @@
+MD5 (lazysmallcheck-0.3.tar.gz) = 75f2495a391571013c1d10bad226e6ff
+SHA256 (lazysmallcheck-0.3.tar.gz) = f311abfe36e54a8d366db356da3daad52b607c24511ffc494fe1115eeb033cfa
+SIZE (lazysmallcheck-0.3.tar.gz) = 16834
diff --git a/devel/hs-lazysmallcheck-ghc/pkg-descr b/devel/hs-lazysmallcheck-ghc/pkg-descr
new file mode 100644
index 000000000000..9ad601a05337
--- /dev/null
+++ b/devel/hs-lazysmallcheck-ghc/pkg-descr
@@ -0,0 +1,8 @@
+Lazy SmallCheck is a library for exhaustive, demand-driven testing of
+Haskell programs.  It is based on the idea that if a property holds for
+a partially-defined input then it must also hold for all fully-defined
+refinements of the that input.  Compared to `eager' input generation as
+in SmallCheck, Lazy SmallCheck may require significantly fewer
+test-cases to verify a property for all inputs up to a given depth.
+
+WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/
diff --git a/devel/hs-lazysmallcheck-ghc/pkg-plist b/devel/hs-lazysmallcheck-ghc/pkg-plist
new file mode 100644
index 000000000000..8faf59b6756e
--- /dev/null
+++ b/devel/hs-lazysmallcheck-ghc/pkg-plist
@@ -0,0 +1,14 @@
+@comment $FreeBSD$
+%%SUBDIR%%/Test/LazySmallCheck.hi
+%%SUBDIR%%/Test/LazySmallCheck/Generic.hi
+%%SUBDIR%%/HS%%PORTNAME%%-%%PORTVERSION%%.o
+%%SUBDIR%%/libHS%%PORTNAME%%-%%PORTVERSION%%.a
+%%SUBDIR%%/%%PORTNAME%%-register.sh
+@dirrm    %%SUBDIR%%/Test/LazySmallCheck
+@dirrmtry %%SUBDIR%%/Test
+%%RMLIC%%%%DOCSDIR%%/LICENSE
+%%RMLIC%%@dirrm %%DOCSDIR%%
+@exec sh %D/%%SUBDIR%%/%%PORTNAME%%-register.sh
+@exec rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old
+@unexec ghc-pkg unregister %%PORTNAME%%
+@unexec rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old