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>
This commit is contained in:
parent
df511bb36a
commit
a1a1e25787
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=247743
@ -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
|
||||
|
77
devel/hs-checkers/Makefile
Normal file
77
devel/hs-checkers/Makefile
Normal file
@ -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>
|
3
devel/hs-checkers/distinfo
Normal file
3
devel/hs-checkers/distinfo
Normal file
@ -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
|
6
devel/hs-checkers/pkg-descr
Normal file
6
devel/hs-checkers/pkg-descr
Normal file
@ -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
|
33
devel/hs-checkers/pkg-plist
Normal file
33
devel/hs-checkers/pkg-plist
Normal file
@ -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
|
Loading…
Reference in New Issue
Block a user