diff options
author | Gabor Pali <pgj@FreeBSD.org> | 2010-01-12 21:39:42 +0000 |
---|---|---|
committer | Gabor Pali <pgj@FreeBSD.org> | 2010-01-12 21:39:42 +0000 |
commit | a1a1e257875342155949872ed4808ebfe9f3c076 (patch) | |
tree | 36eb1dcccfe3f7f5b23252fbc5731771c9517896 /devel | |
parent | df511bb36ab3ca37e105f6af32acbb6c9cf0bd5e (diff) |
Checkers wraps up the expected properties associated with various
standard Haskell type classes as QuickCheck properties. Also some
morphism properties. It also provides arbitrary instances and
generator combinators for common data types.
WWW: http://haskell.org/haskellwiki/checkers
PR: ports/142488
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes
Notes:
svn path=/head/; revision=247743
Diffstat (limited to 'devel')
-rw-r--r-- | devel/Makefile | 1 | ||||
-rw-r--r-- | devel/hs-checkers/Makefile | 77 | ||||
-rw-r--r-- | devel/hs-checkers/distinfo | 3 | ||||
-rw-r--r-- | devel/hs-checkers/pkg-descr | 6 | ||||
-rw-r--r-- | devel/hs-checkers/pkg-plist | 33 |
5 files changed, 120 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 024aa759c473..4c193237375f 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -540,6 +540,7 @@ SUBDIR += hs-arrows SUBDIR += hs-binary-ghc SUBDIR += hs-c2hs + SUBDIR += hs-checkers SUBDIR += hs-cpphs SUBDIR += hs-dlist SUBDIR += hs-drift diff --git a/devel/hs-checkers/Makefile b/devel/hs-checkers/Makefile new file mode 100644 index 000000000000..4d03b467f1b2 --- /dev/null +++ b/devel/hs-checkers/Makefile @@ -0,0 +1,77 @@ +# New ports collection makefile for: hs-checkers +# Date created: December 20 2009 +# Whom: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> +# +# $FreeBSD$ +# + +PORTNAME= checkers +PORTVERSION= 0.2.4 +CATEGORIES= devel haskell +MASTER_SITES= http://hackage.haskell.org/packages/archive/${PORTNAME}/${PORTVERSION}/ +PKGNAMEPREFIX= hs- + +MAINTAINER= jacula@gmail.com +COMMENT= Check properties on standard Haskell classes and data structures + +BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc \ + hs-QuickCheck>=2.1.0.2:${PORTSDIR}/devel/hs-QuickCheck +RUN_DEPENDS+= ghc:${PORTSDIR}/lang/ghc \ + hs-QuickCheck>=2.1.0.2:${PORTSDIR}/devel/hs-QuickCheck + +GHC_VERSION= 6.10.4 +CHECKERS_VERSION= ${PORTVERSION} + +GHC_CMD= ${LOCALBASE}/bin/ghc +SETUP_CMD= ./setup + +DOCSDIR= ${PREFIX}/share/doc/${DISTNAME} +CHECKERS_LIBDIR_REL= lib/${DISTNAME} + +PLIST_SUB= GHC_VERSION=${GHC_VERSION} \ + CHECKERS_VERSION=${CHECKERS_VERSION} \ + CHECKERS_LIBDIR_REL=${CHECKERS_LIBDIR_REL} + +.if defined(NOPORTDOCS) +PLIST_SUB+= NOPORTDOCS="" +.else +PLIST_SUB+= NOPORTDOCS="@comment " +.endif + +.if !defined(NOPORTDOCS) + +PORT_HADDOCK!= (cd ${.CURDIR}/../../lang/ghc && ${MAKE} -V PORT_HADDOCK) +.if !empty(PORT_HADDOCK:M?0) +BUILD_DEPENDS+= haddock:${PORTSDIR}/devel/hs-haddock +.endif +BUILD_DEPENDS+= HsColour:${PORTSDIR}/print/hs-hscolour + +HSCOLOUR_VERSION= 1.15 +HSCOLOUR_DATADIR= ${PREFIX}/share/hscolour-${HSCOLOUR_VERSION} + +PORTDOCS= * +.endif + +.SILENT: + +do-configure: + cd ${WRKSRC} && ${GHC_CMD} --make Setup.lhs -o setup -package Cabal \ + && ${SETUP_CMD} configure --haddock-options=-w --prefix=${PREFIX} + +do-build: + cd ${WRKSRC} && ${SETUP_CMD} build \ + && ${SETUP_CMD} register --gen-script + +.if !defined(NOPORTDOCS) + cd ${WRKSRC} && ${SETUP_CMD} haddock --hyperlink-source \ + --hscolour-css=${HSCOLOUR_DATADIR}/hscolour.css +.endif + +do-install: + cd ${WRKSRC} && ${SETUP_CMD} install \ + && ${INSTALL_SCRIPT} register.sh ${PREFIX}/${CHECKERS_LIBDIR_REL}/register.sh + +post-install: + ${RM} -f ${PREFIX}/lib/ghc-${GHC_VERSION}/package.conf.old + +.include <bsd.port.mk> diff --git a/devel/hs-checkers/distinfo b/devel/hs-checkers/distinfo new file mode 100644 index 000000000000..b0ed4692ee49 --- /dev/null +++ b/devel/hs-checkers/distinfo @@ -0,0 +1,3 @@ +MD5 (checkers-0.2.4.tar.gz) = b3d03cf2d59a2e9213d1dc138e04aff4 +SHA256 (checkers-0.2.4.tar.gz) = 11297b65b63708a8e0c89ad3e9122714afbf36f056c3256bc142f12227090f63 +SIZE (checkers-0.2.4.tar.gz) = 15372 diff --git a/devel/hs-checkers/pkg-descr b/devel/hs-checkers/pkg-descr new file mode 100644 index 000000000000..acb8063a8f0f --- /dev/null +++ b/devel/hs-checkers/pkg-descr @@ -0,0 +1,6 @@ +Checkers wraps up the expected properties associated with various +standard Haskell type classes as QuickCheck properties. Also some +morphism properties. It also provides arbitrary instances and +generator combinators for common data types. + +WWW: http://haskell.org/haskellwiki/checkers diff --git a/devel/hs-checkers/pkg-plist b/devel/hs-checkers/pkg-plist new file mode 100644 index 000000000000..e61f7979d7ec --- /dev/null +++ b/devel/hs-checkers/pkg-plist @@ -0,0 +1,33 @@ +@comment $FreeBSD$ +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Extensions.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/HScheckers-%%CHECKERS_VERSION%%.o +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Bottoms.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Checkers.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Classes.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Array.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Char.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Eq.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Int.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/List.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Maybe.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Num.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Ord.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Tuple.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances/Word.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Later.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Utils.hi +%%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/libHScheckers-%%CHECKERS_VERSION%%.a +%%CHECKERS_LIBDIR_REL%%/register.sh +%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%% +@dirrm %%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck/Instances +@dirrm %%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test/QuickCheck +@dirrm %%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Test +@dirrm %%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad +@dirrm %%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control +@dirrm %%CHECKERS_LIBDIR_REL%%/ghc-%%GHC_VERSION%% +@dirrm %%CHECKERS_LIBDIR_REL%% +@exec /bin/sh %D/%%CHECKERS_LIBDIR_REL%%/register.sh +@exec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old +@unexec %D/bin/ghc-pkg unregister checkers +@unexec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old |