This package provides a command-line program for type-checking and compiling
Agda programs. The program can also generate hyperlinked, highlighted HTML
files from Agda sources.
WWW: http://wiki.portal.chalmers.se/agda/
===> The following configuration options are available for hs-Agda-executable-2.3.0.1_3:
DOCS=on: Build and/or install documentation
DYNAMIC=on: Add support for dynamic linking
HSCOLOUR=off: Colorize generated documentation by HsColour
PROFILE=off: Add support for profiling
===> Use 'make config' to modify these settings
- 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 )
- 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.
This package provides a command-line program for type-checking and
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.
WWW: http://wiki.portal.chalmers.se/agda/
PR: ports/142141
Submitted by: Jacula Modyun <jacula(at)gmail.com>
