Attachment 102473 Details for Bug 142280 – hs-smallcheck.shar

hs-smallcheck.shar

hs-smallcheck.shar (text/plain), 7.51 KB, created by Jacula Modyun on 2010-01-03 23:00:12 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Jacula Modyun

Created: 2010-01-03 23:00:12 UTC

Size: 7.51 KB

patch

obsolete

># This is a shell archive.  Save it in a file, remove anything before
># this line, and then unpack it by entering "sh file".  Note, it may
># create directories; files and directories will be owned by you and
># have default permissions.
>#
># This archive contains:
>#
>#	hs-smallcheck
>#	hs-smallcheck/files
>#	hs-smallcheck/files/patch-smallcheck.cabal
>#	hs-smallcheck/Makefile
>#	hs-smallcheck/distinfo
>#	hs-smallcheck/pkg-plist
>#	hs-smallcheck/pkg-descr
>#
>echo c - hs-smallcheck
>mkdir -p hs-smallcheck > /dev/null 2>&1
>echo c - hs-smallcheck/files
>mkdir -p hs-smallcheck/files > /dev/null 2>&1
>echo x - hs-smallcheck/files/patch-smallcheck.cabal
>sed 's/^X//' >hs-smallcheck/files/patch-smallcheck.cabal << '2f185b8cc791b0ff95e335e29854a749'
>X--- smallcheck.cabal.orig	2009-12-25 17:11:58.000000000 +0000
>X+++ smallcheck.cabal	2009-12-25 17:17:57.000000000 +0000
>X@@ -16,17 +16,19 @@
>X Build-Depends: base, haskell98
>X Build-Type:    Simple
>X 
>X-Extra-source-files: examples/numeric/NumProps.hs, examples/logical/LogicProps.hs,
>X+Extra-source-files: examples/numeric/NumProps.hs, examples/numeric/README,
>X+                    examples/logical/LogicProps.hs, examples/logical/README,
>X                     examples/imperative/Interpreter.hs, examples/imperative/Syntax.hs,
>X                     examples/imperative/Machine.hs, examples/imperative/Behaviour.hs,
>X                     examples/imperative/Properties.hs, examples/imperative/Value.hs,
>X                     examples/imperative/StackMap.hs, examples/imperative/Compiler.hs,
>X-                    examples/listy/ListProps.hs, examples/regular/Regular.hs,
>X-                    examples/circuits/BitAdd.hs, examples/circuits/Mux.hs, examples/circuits/Sad.hs,
>X-                    examples/binarytries/BinaryTries.hs
>X+                    examples/imperative/README, examples/listy/ListProps.hs,
>X+                    examples/listy/README, examples/regular/Regular.hs,
>X+                    examples/regular/README, examples/circuits/BitAdd.hs,
>X+                    examples/circuits/Mux.hs, examples/circuits/Sad.hs,
>X+                    examples/circuits/README, examples/binarytries/BinaryTries.hs,
>X+                    examples/binarytries/README
>X 
>X-Data-files:         examples/numeric/README, examples/logical/README, examples/imperative/README,
>X-                    examples/listy/README, examples/regular/README, examples/circuits/README,
>X-                    examples/binarytries/README, README
>X+Data-files: README
>X 
>X Exposed-modules:    Test.SmallCheck
>2f185b8cc791b0ff95e335e29854a749
>echo x - hs-smallcheck/Makefile
>sed 's/^X//' >hs-smallcheck/Makefile << '70b6aee3acdd8fd1dd51b0392722506f'
>X# New ports collection makefile for: hs-smallcheck
>X# Date created:        December 20 2009
>X# Whom:                Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
>X#
>X
>XPORTNAME=	smallcheck
>XPORTVERSION=	0.4
>XCATEGORIES=	devel haskell
>XMASTER_SITES=	http://hackage.haskell.org/packages/archive/${PORTNAME}/${PORTVERSION}/
>XPKGNAMEPREFIX=	hs-
>X
>XMAINTAINER=	jacula@gmail.com
>XCOMMENT=	Another lightweight testing library in Haskell
>X
>XBUILD_DEPENDS+=	ghc:${PORTSDIR}/lang/ghc
>XRUN_DEPENDS+=	ghc:${PORTSDIR}/lang/ghc
>X
>XGHC_VERSION=		6.10.4
>XSMALLCHECK_VERSION=	${PORTVERSION}
>X
>XGHC_CMD=	${LOCALBASE}/bin/ghc
>XSETUP_CMD=	./setup
>X
>XEXAMPLESDIR=	${PREFIX}/share/examples/${DISTNAME}
>XDATADIR=	${PREFIX}/share/${DISTNAME}
>XDOCSDIR=	${PREFIX}/share/doc/${DISTNAME}
>XSMALLCHECK_LIBDIR_REL=	lib/${DISTNAME}
>X
>XPLIST_SUB=	GHC_VERSION=${GHC_VERSION} \
>X		SMALLCHECK_VERSION=${SMALLCHECK_VERSION} \
>X		SMALLCHECK_LIBDIR_REL=${SMALLCHECK_LIBDIR_REL}
>X
>X.if defined(NOPORTDOCS)
>XPLIST_SUB+=	NOPORTDOCS=""
>X.else
>XPLIST_SUB+=	NOPORTDOCS="@comment "
>X.endif
>X
>X.if !defined(NOPORTDOCS)
>X
>XPORT_HADDOCK!=	(cd  ${.CURDIR}/../../lang/ghc && ${MAKE} -V PORT_HADDOCK)
>X.if !empty(PORT_HADDOCK:M?0)
>XBUILD_DEPENDS+=	haddock:${PORTSDIR}/devel/hs-haddock
>X.endif
>XBUILD_DEPENDS+=	HsColour:${PORTSDIR}/print/hs-hscolour
>X
>XHSCOLOUR_VERSION=	1.15
>XHSCOLOUR_DATADIR=	${PREFIX}/share/hscolour-${HSCOLOUR_VERSION}
>X
>XPORTDOCS=	*
>X.endif
>X
>X.SILENT:
>X
>Xdo-configure:
>X	cd ${WRKSRC} && ${GHC_CMD} --make Setup.hs -o setup -package Cabal \
>X		     && ${SETUP_CMD} configure --haddock-options=-w --prefix=${PREFIX}
>X
>Xdo-build:
>X	cd ${WRKSRC} && ${SETUP_CMD} build \
>X		     && ${SETUP_CMD} register --gen-script
>X
>X.if !defined(NOPORTDOCS)
>X	cd ${WRKSRC} && ${SETUP_CMD} haddock --hyperlink-source \
>X					     --hscolour-css=${HSCOLOUR_DATADIR}/hscolour.css
>X.endif
>X
>Xdo-install:
>X	cd ${WRKSRC} && ${SETUP_CMD} install \
>X		     && ${INSTALL_SCRIPT} register.sh ${PREFIX}/${SMALLCHECK_LIBDIR_REL}/register.sh
>X	${MKDIR} ${EXAMPLESDIR} && cd ${WRKSRC}/examples && ${COPYTREE_SHARE} \* ${EXAMPLESDIR}
>X
>Xpost-install:
>X	${RM} -f ${PREFIX}/lib/ghc-${GHC_VERSION}/package.conf.old
>X
>X.include <bsd.port.mk>
>70b6aee3acdd8fd1dd51b0392722506f
>echo x - hs-smallcheck/distinfo
>sed 's/^X//' >hs-smallcheck/distinfo << 'f593dac55318f7f8d239578103c17862'
>XMD5 (smallcheck-0.4.tar.gz) = dbb3e22742e5ef5f00ec9a5328408936
>XSHA256 (smallcheck-0.4.tar.gz) = aa86853b3c480fb3d13115823a7b70126c136ed4913261cd7c354f35aa1c015b
>XSIZE (smallcheck-0.4.tar.gz) = 21543
>f593dac55318f7f8d239578103c17862
>echo x - hs-smallcheck/pkg-plist
>sed 's/^X//' >hs-smallcheck/pkg-plist << 'aeb3308be0ee26dfee75a574a8654b05'
>X%%SMALLCHECK_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/HSsmallcheck-%%SMALLCHECK_VERSION%%.o
>X%%SMALLCHECK_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/SmallCheck.hi
>X%%SMALLCHECK_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/libHSsmallcheck-%%SMALLCHECK_VERSION%%.a
>X%%SMALLCHECK_LIBDIR_REL%%/register.sh
>X%%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
>X%%EXAMPLESDIR%%/binarytries/BinaryTries.hs
>X%%EXAMPLESDIR%%/binarytries/README
>X%%EXAMPLESDIR%%/circuits/BitAdd.hs
>X%%EXAMPLESDIR%%/circuits/Mux.hs
>X%%EXAMPLESDIR%%/circuits/README
>X%%EXAMPLESDIR%%/circuits/Sad.hs
>X%%EXAMPLESDIR%%/imperative/Behaviour.hs
>X%%EXAMPLESDIR%%/imperative/Compiler.hs
>X%%EXAMPLESDIR%%/imperative/Interpreter.hs
>X%%EXAMPLESDIR%%/imperative/Machine.hs
>X%%EXAMPLESDIR%%/imperative/Properties.hs
>X%%EXAMPLESDIR%%/imperative/README
>X%%EXAMPLESDIR%%/imperative/StackMap.hs
>X%%EXAMPLESDIR%%/imperative/Syntax.hs
>X%%EXAMPLESDIR%%/imperative/Value.hs
>X%%EXAMPLESDIR%%/listy/ListProps.hs
>X%%EXAMPLESDIR%%/listy/README
>X%%EXAMPLESDIR%%/logical/LogicProps.hs
>X%%EXAMPLESDIR%%/logical/README
>X%%EXAMPLESDIR%%/numeric/NumProps.hs
>X%%EXAMPLESDIR%%/numeric/README
>X%%EXAMPLESDIR%%/regular/README
>X%%EXAMPLESDIR%%/regular/Regular.hs
>X%%DATADIR%%/README
>X@dirrmtry %%DATADIR%%
>X@dirrm %%EXAMPLESDIR%%/regular
>X@dirrm %%EXAMPLESDIR%%/numeric
>X@dirrm %%EXAMPLESDIR%%/logical
>X@dirrm %%EXAMPLESDIR%%/listy
>X@dirrm %%EXAMPLESDIR%%/imperative
>X@dirrm %%EXAMPLESDIR%%/circuits
>X@dirrm %%EXAMPLESDIR%%/binarytries
>X@dirrm %%EXAMPLESDIR%%
>X%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%
>X@dirrm %%SMALLCHECK_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test
>X@dirrm %%SMALLCHECK_LIBDIR_REL%%/ghc-%%GHC_VERSION%%
>X@dirrm %%SMALLCHECK_LIBDIR_REL%%
>X@exec /bin/sh %D/%%SMALLCHECK_LIBDIR_REL%%/register.sh
>X@exec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old
>X@unexec %D/bin/ghc-pkg unregister smallcheck
>X@unexec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old
>aeb3308be0ee26dfee75a574a8654b05
>echo x - hs-smallcheck/pkg-descr
>sed 's/^X//' >hs-smallcheck/pkg-descr << '4586a98758c466cd00601d2e0698dfa2'
>XSmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
>Xinstead of testing for a sample of randomly generated values, SmallCheck
>Xtests properties for all the finitely many values up to some depth,
>Xprogressively increasing the depth used.
>X
>XWWW: http://hackage.haskell.org/package/smallcheck
>4586a98758c466cd00601d2e0698dfa2
>exit

Actions: View

Attachments on bug 142280: 102473