# 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 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 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