Automatic testing of Haskell programs Maintained by:haskell@FreeBSD.org Port Added: 02 Sep 2009 15:39:05 Also Listed In:haskell License: BSD
QuickCheck is a library for random testing of program properties.
The programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests
that the properties hold in a large number of randomly generated cases.
Specifications are expressed in Haskell, using combinators defined in
the QuickCheck library. QuickCheck provides combinators to define
properties, observe the distribution of test data, and define test data
generators.
WWW: http://code.haskell.org/QuickCheck
To install the port:cd /usr/ports/devel/hs-QuickCheck/ && make install clean To add the package:pkg_add -r hs-QuickCheck
Configuration Options
===> The following configuration options are available for hs-QuickCheck-2.6:
DOCS=on: Build and/or install documentation
DYNAMIC=on: Add support for dynamic linking
HSCOLOUR=off: Colorize generated documentation by HsColour
LLVM=off: Use the LLVM backend for code generation
PROFILE=off: Add support for profiling
===> Use 'make config' to modify these settings
Reason:
The Glorious Glasgow Haskell Compiler has been updated to version
7.6.3 and Haskell Platform to 2013.2.0.0. Hence it is recommended to
rebuild or reinstall all the dependent ports by one of the following
commands:
# portmaster -w -r ghc
or
# portupgrade -fr lang/ghc
or
# pkg install -fR lang/ghc
Note that prefixes used for hs- ports (Cabal packages) have been
changed to PREFIX/{lib,share,share/doc}/cabal/ghc-GHC_VERSION to
enable more seamless upgrades in the future.
2013-03-31
Affects: users of */hs-*
Author: haskell@FreeBSD.org
Reason:
Due to some unexpected dynamic linking problems, Haskell Cabal ports with
binaries that link to their own libraries may not work. With default
configuration, the following ports are known to have this problem:
Agda, BNFC, pandoc, and uuagc. (Their port revision are now bumped.)
In general, it is recommended to rebuild the port if you are
experiencing that the corresponding binary will not start, e.g.:
% agda
Shared object "libHSAgda-2.3.2-ghc7.4.2.so" not found, required by "agda"
2013-02-05
Affects: users of lang/ghc and */hs-*
Author: haskell@FreeBSD.org
Reason:
Note that the recent devel/libffi update caused some breakage in the Haskell
ports with the DYNAMIC option enabled. The problem has been identified and
fixed since then. All Haskell ports have been updated to their latest stable
versions or bumped as DYNAMIC is enabled by default.
Hence it is recommended to rebuild or reinstall all ports depending on GHC
by one of the following commands:
# portmaster -w -r ghc
or
# portupgrade -fr lang/ghc
or
# pkg install -fR lang/ghc
2012-12-20
Affects: users of lang/ghc and */hs-*
Author: haskell@FreeBSD.org
Reason:
Note that the Glorious Glasgow Haskell Compiler has been updated to
version 7.4.2.
Please rebuild or reinstall all dependent ports by issuing one of the
following commands, depending on the tool used:
# portmaster -w -r ghc
or
# portupgrade -fr lang/ghc
or
# pkg install -fR lang/ghc
2012-06-03
Affects: users of lang/ghc and */hs-*
Author: haskell@FreeBSD.org
Reason:
Note that The Glorious Glasgow Haskell Compiler and the Haskell Platform
have been updated to versions 7.4.1 and 2012.2.0.0, respectively. At the
same time, all Haskell ports have been updated to their latest working
versions.
To follow the changes, please issue one of the following commands
(depending on the tool used):
# portmaster -r ghc
or
# portupgrade -fr lang/ghc
2012-02-13
Affects: users of lang/ghc and */hs-*
Author: pgj@FreeBSD.org
Reason:
GHC has been updated to version 7.0.4, and Haskell Platform to version
2011.4.0.0, and other Haskell ports are also updated to their Haskell
Platform versions or latest versions.
To update all affected ports:
# portmaster -r lang/ghc
or
# portupgrade -r lang/ghc
2011-05-09
Affects: users of lang/ghc and */hs-*
Author: ashish@FreeBSD.org
Reason:
GHC has been updated to version 7.0.3 and other Haskell ports are also
updated to their Haskell Platform versions or latest versions.
To update all affected ports:
# portmaster -r lang/ghc
or
# portupgrade -r lang/ghc
Number of commits found: 16
Commit History - (may be incomplete: see SVNWeb link above for full details)
- Update The Glorious Glasgow Haskell Compiler to version 7.6.3
- Update Haskell Platform to version 2013.2.0.0
Please note that port revisions for all the Haskell ports without version
changes are bumped.
Some highlights of the update:
- Fix PDF generation for pandoc [1]
- From now on, PREFIX/{lib,share,share/doc}/cabal/ghc-GHC_VERSION are used for
hs- ports (Cabal packages) as prefixes to avoid problems when upgrading with
portmaster(8) [2]
- Experimental support for LLVM-based code generation (disabled by default)
- Many simplifications, refactoring in bsd.cabal.mk
(Only the first 15 lines of the commit message are shown above )
- Fix breakage in the DYNAMIC-enabled ports triggered by the recent
devel/libffi update
- Enable multithreaded build for lang/ghc (i.e. mark MAKE_JOBS_SAFE)
Please note that port revision for all the Haskell ports without version
changes are bumped.
New ports (20):
devel/hs-MonadRandom 0.1.8
devel/hs-base64-conduit 0.5.1
devel/hs-bifunctors 3.2
devel/hs-either 3.1
devel/hs-errors 1.3.1
devel/hs-generic-deriving 1.4.0
(Only the first 15 lines of the commit message are shown above )
- Update The Glorious Glasgow Haskell Compiler to version 7.4.2
- Update Haskell Platform to version 2012.4.0.0
- Update Gtk2Hs to 0.12.4
- Transfer maintainership of math/hs-math-functions to haskell@ [1]
Please note that port revisions for all the Haskell ports without version
changes are bumped.
Some further highlights of the update:
- Trim Makefile headers
- Enable dynamic libraries and dynamic linking by default
- Enable bootstrapping by versions of GHC and HsColour already installed
- Use GCC and binutils from ports
New ports (32):
(Only the first 15 lines of the commit message are shown above )
Bump PORTREVISION of all ports dependent on lang/ghc as during
upgrade, lang/ghc cabal package cache gets invalidated causing all
dependent ports to be reinstalled.
Obtained from: FreeBSD Haskell
- Please welcome GHC 7.0.3
GHC in the ports tree has been updated to 7.0.3 and all other Haskell ports
are also updated to their corresponding Haskell Platform versions, or latest
versions.
We would like to acknowledge the support of the FreeBSD Donations Team and
Eotvos Lorand University, Faculty of Informatics who contributed to the server
that we used for testing.
We would also like to thank all the testers who tested FreeBSD Haskell ports
and provided their feedback.
PR: ports/156642
Approved by: tabthorpe (mentor)
Obtained from: FreeBSD Haskell
Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
ports which makes possible the direct translation of Cabal package
descriptions to FreeBSD ports. It promises both easier addition and
maintenance for Cabal-based ports.
If you buy from Amazon USA, please support us by using this link.
