notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
All times are UTC
Ukraine
non port: math/hs-Agda/Makefile
SVNWeb

Number of commits found: 54

Wed, 6 Sep 2023
[ 19:22 Gleb Popov (arrowd) search for other commits by this committer ]    commit hash:fa64017c84e0d09ccca99a66dfffa2befbd9e139  commit hash:fa64017c84e0d09ccca99a66dfffa2befbd9e139  commit hash:fa64017c84e0d09ccca99a66dfffa2befbd9e139  fa64017 
math/hs-Agda: Unbreak emacs stuff.

Reported by:	pkg-fallout
Sun, 12 Mar 2023
[ 16:10 Gleb Popov (arrowd) search for other commits by this committer ]    commit hash:99662cf261c1171a7e744b513bb6a3a4cacf4269  commit hash:99662cf261c1171a7e744b513bb6a3a4cacf4269  commit hash:99662cf261c1171a7e744b513bb6a3a4cacf4269  99662cf 
math/hs-Agda: Update to 2.6.3
Sun, 20 Nov 2022
[ 17:39 Gleb Popov (arrowd) search for other commits by this committer ]    commit hash:2fca7097b9f29351f1969eca7d1837ab99782f2e  commit hash:2fca7097b9f29351f1969eca7d1837ab99782f2e  commit hash:2fca7097b9f29351f1969eca7d1837ab99782f2e  2fca709  (Only the first 10 of 90 ports in this commit are shown above. View all ports for this commit)
Uses/cabal.mk: Rework MASTER_SITES and DISTFILES handling.

This change removes duplicated entries from MASTER_SITES and DISTFILES
variables. Now the MASTER_SITES variable will contain single Hackage URL without
any group for the simplest case and with :_cabal_mk_hackage group in nodefault
case.

This change opens a path to using non-Hackage Cabal repositories
(needed for Cardano) and pulling in .cabal revisions without using patches.

Unfortunately, this change results in a large churn in Haskell ports distinfos.
To make this churn less useless, refresh all Haskell dependencies in all ports.
Wed, 7 Sep 2022
[ 21:10 Stefan E├čer (se) search for other commits by this committer ]    commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52  commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52  commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52  b7f0544  (Only the first 10 of 27931 ports in this commit are shown above. View all ports for this commit)
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Mon, 15 Aug 2022
[ 13:07 Gleb Popov (arrowd) search for other commits by this committer ]    commit hash:a04537df062a4149d0a518c1d68e54f7757f1020  commit hash:a04537df062a4149d0a518c1d68e54f7757f1020  commit hash:a04537df062a4149d0a518c1d68e54f7757f1020  a04537df 
math/hs-Agda: Unbreak and enable compiling emacs mode files.
Thu, 28 Jul 2022
[ 19:52 Gleb Popov (arrowd) search for other commits by this committer ]    commit hash:166cea3628c726601ebfd9a5497a4808015eebd3  commit hash:166cea3628c726601ebfd9a5497a4808015eebd3  commit hash:166cea3628c726601ebfd9a5497a4808015eebd3  166cea3  (Only the first 10 of 12 ports in this commit are shown above. View all ports for this commit)
Uses/cabal.mk: Introduce CABAL_WRAPPER_SCRIPTS variable.

Before this change every Haskell executable was wrapped into a shell script
which was installed into ${PREFIX}/bin while the actual executable was installed
into {PREFIX}/libexec/cabal. This was required to set env variables pointing the
Haskell program to its data files under ${PREFIX}/share. However, not every
Haskell program uses this feature.

Now the shell wrapping is off by default and CABAL_WRAPPER_SCRIPTS knob can be
used to enable it for a given port/executable.

Adjust all Haskell ports affected by this change.
Wed, 20 Jul 2022
[ 14:22 Tobias C. Berner (tcberner) search for other commits by this committer ]    commit hash:f53eb28489aa8f30712cd8772d1a0e05c394a5da  commit hash:f53eb28489aa8f30712cd8772d1a0e05c394a5da  commit hash:f53eb28489aa8f30712cd8772d1a0e05c394a5da  f53eb28  (Only the first 10 of 719 ports in this commit are shown above. View all ports for this commit)
math: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Alessando Sagratini <ale_sagra@hotmail.com>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Amarendra Godbole <amarendra.godbole@gmail.com>
  *  Anders Nordby <anders@FreeBSD.org>
  *  Andreas Fehlner (fehlner@gmx.de)
  *  Andrew L. Neporada <andrew@chg.ru>
  *  Andrey <gugu@zoo.rambler.ru>
  *  Andrey Zakhvatov
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Thu, 7 Jul 2022
[ 10:24 Gleb Popov (arrowd) search for other commits by this committer ]    commit hash:49930702bb6e3a298d29e9cec1595438fd6e0841  commit hash:49930702bb6e3a298d29e9cec1595438fd6e0841  commit hash:49930702bb6e3a298d29e9cec1595438fd6e0841  4993070 
math/hs-Agda: Update to 2.6.2.2
Mon, 9 May 2022
[ 19:23 Kevin Bowling (kbowling) search for other commits by this committer ]    commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4  commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4  commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4  db78da8  (Only the first 10 of 120 ports in this commit are shown above. View all ports for this commit)
devel/libffi: Bump deps PORTREVISION for shlib change

PR:		263764
Reported by:	VVD <vvd@unislabs.com>
Fri, 22 Oct 2021
[ 14:25 Gleb Popov (arrowd) search for other commits by this committer Author: Alexis Praga ]    commit hash:f4a961f81b11b83af23432adc8e9d68b59feecba  commit hash:f4a961f81b11b83af23432adc8e9d68b59feecba  commit hash:f4a961f81b11b83af23432adc8e9d68b59feecba  f4a961f 
math/hs-Agda: Update to 2.6.2
Wed, 21 Apr 2021
[ 04:48 Tobias Kortkamp (tobik) search for other commits by this committer ]    commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16  commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16  commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16  bdca32c  (Only the first 10 of 55 ports in this commit are shown above. View all ports for this commit)
Bump USES=cabal ports after 12837690ed0c
Tue, 6 Apr 2021
[ 14:31 Mathieu Arnold (mat) search for other commits by this committer ]    commit hash:305f148f482daf30dcf728039d03d019f88344eb  commit hash:305f148f482daf30dcf728039d03d019f88344eb  commit hash:305f148f482daf30dcf728039d03d019f88344eb  305f148  (Only the first 10 of 29333 ports in this commit are shown above. View all ports for this commit)
Remove # $FreeBSD$ from Makefiles.
Mon, 1 Mar 2021
[ 18:13 arrowd search for other commits by this committer ] Original commit   Revision:566875
math/hs-Agda: Update to 2.6.1.3
Mon, 31 Aug 2020
[ 10:58 arrowd search for other commits by this committer ] Original commit   Revision:547165
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will
improve
in new GHC releases.
Sun, 23 Aug 2020
[ 15:57 arrowd search for other commits by this committer ] Original commit   Revision:545826
math/hs-Agda: Fix build with new GHC.

Reported by:	pkg-fallout
Wed, 19 Aug 2020
[ 12:27 arrowd search for other commits by this committer ] Original commit   Revision:545318
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
with our new Emacs.
Sun, 16 Aug 2020
[ 07:56 arrowd search for other commits by this committer ] Original commit   Revision:545088 (Only the first 10 of 91 ports in this commit are shown above. View all ports for this commit)
lang/ghc: Update to 8.10.1.

As usual, along with the compiler, many Haskell packages are updated as well.
Sat, 4 Jul 2020
[ 18:11 zeising search for other commits by this committer ] Original commit   Revision:541232 (Only the first 10 of 105 ports in this commit are shown above. View all ports for this commit)
Chanse update of devel/libffi

Chase the devel/libffi update
Bump portrevision of all dependent ports to chace shard library version bump
in libffi.
Update LIB_DEPENDS lines where needed to not require a specific version of
libffi.so.

PR:		247028 (for tracking)
Wed, 6 May 2020
[ 20:31 arrowd search for other commits by this committer ] Original commit   Revision:534200
math/hs-Agda: Install emacs mode files.

PR:		246254
Mon, 4 May 2020
[ 18:08 arrowd search for other commits by this committer ] Original commit   Revision:533933 (Only the first 10 of 166 ports in this commit are shown above. View all ports for this commit)
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.

PR:		244784
Submitted by:	Evilham <contact@evilham.com> (some ports)
Thu, 13 Jun 2019
[ 18:51 arrowd search for other commits by this committer ] Original commit   Revision:504134
math/hs-Agda: Update to latest version and unbreak.

Approved by:	tcberner (mentor, implicit)
Thu, 9 May 2019
[ 14:39 arrowd search for other commits by this committer ] Original commit   Revision:501101 (Only the first 10 of 102 ports in this commit are shown above. View all ports for this commit)
Introduce USES=cabal and use it to build Haskell applications.

PR:		230186
Reviewed by:	mat, tcberner
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19730
Sat, 30 Mar 2019
[ 17:39 tcberner search for other commits by this committer ] Original commit   Revision:497311 (Only the first 10 of 529 ports in this commit are shown above. View all ports for this commit)
Mark almost all Haskell ports for expiration by mid April

Ports for Haskell *libraries* are going to be removed from the ports tree.
Haskell *applications* are going to be statically linked with all dependencies
( https://reviews.freebsd.org/D19730  ), so there is no reason to keep
Haskell libraries in tree.

If you think a port is wrongly marked and should stay, please contact haskell@

Submitted by:	arrowd
Differential Revision:	https://reviews.freebsd.org/D19244
Sun, 6 Jan 2019
[ 12:18 arrowd search for other commits by this committer ] Original commit   Revision:489474 (Only the first 10 of 807 ports in this commit are shown above. View all ports for this commit)
lang/ghc: Update to 8.6.3 and bump PORTREVISION's of all Haskell ports.

As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:

# portmaster -w -r ghc
  or
# portupgrade -fr lang/ghc

In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch.  For
example:

# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc
# pkg install -y `cat ghc-pkgs.txt`

During update some hs-* ports got two PORTREVISION bumps in a row. Other ports
got a PORTVERSION update together with one PORTREVISION bump. This is caused
by bulk-bumping PORTREVISION of all hs-* ports. There are a lot of them updated,
so figuring out which ones require a bump and which are not is too tedious.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D18707
Sun, 29 Jul 2018
[ 10:40 arrowd search for other commits by this committer ] Original commit   Revision:475642 (Only the first 10 of 34 ports in this commit are shown above. View all ports for this commit)
Update some hs-* ports that were previously IGNORE'd.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16308
Sat, 30 Jun 2018
[ 09:58 arrowd search for other commits by this committer ] Original commit   Revision:473611 (Only the first 10 of 563 ports in this commit are shown above. View all ports for this commit)
lang/ghc: Update to 8.4.3 and bump PORTREVISION's of all Haskell ports.

As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:

# portmaster -w -r ghc
  or
# portupgrade -fr lang/ghc

In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch.  For
example:

# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc

In ghc-pkgs.txt, check and remove all the packages that have been moved
on the update, then use this command:

# pkg install -y `cat ghc-pkgs.txt`

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16038
Fri, 25 May 2018
[ 21:44 tcberner search for other commits by this committer ] Original commit   Revision:470870 (Only the first 10 of 966 ports in this commit are shown above. View all ports for this commit)
Update lang/ghc 8.4.2 and the hs-* ports the newer versions

* Update lang/ghc to 8.4.2
* Update the boostrap compiler to 8.4.1
* Update the many hs-* ports
* Bump the rest

Thanks a lot to arrowd for doing all the heavy lifting :)

PR:		227968
Exp-run by:	antoine
Submitted by:	arrowd
Differential Revision:	https://reviews.freebsd.org/D15005
Sat, 10 Feb 2018
[ 08:03 tcberner search for other commits by this committer ] Original commit   Revision:461362 (Only the first 10 of 560 ports in this commit are shown above. View all ports for this commit)
Switch C compiler used to compile GHC to base Clang.

This removes build dependency on gcc and runtime dependency on gcc's runtime
libraries.

Big thanks to Gleb for working on this.

PR:		225185
Submitted by:	Gleb Popov <6yearold@gmail.com>
Exp-run by:	antoine
Reviewed by:	pgj
Differential Revision:	https://reviews.freebsd.org/D12043
Tue, 8 Aug 2017
[ 17:21 tcberner search for other commits by this committer ] Original commit   Revision:447548 (Only the first 10 of 1370 ports in this commit are shown above. View all ports for this commit)
- Update The Glorious Glasgow Haskell Compiler to version 8.0.2
- Simplified port by only suporting GCC, and creating a build.mk file
- Update Pandoc to 1.19.2.1
- Update git-annex to 6.20170520
- Update Darcs to 2.12.5
- Update Gtk2Hs to 0.13.2.2
- Update Agda to 2.5.2

Please note that port revisions for all the Haskell ports without version
changes are bumped.

See the UPDATING file for instructions.

New ports (63):
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Thu, 20 Aug 2015
[ 23:02 pgj search for other commits by this committer ] Original commit   Revision:394918 (Only the first 10 of 1153 ports in this commit are shown above. View all ports for this commit)
- Update The Glorious Glasgow Haskell Compiler to version 7.10.2
- Include a patch for addressing timer issues [1]
- Add support for building both GHC and Haskell ports with Clang, either from
  ports or the base system
- Discontinue supporting Haskell Platform, use Stackage instead as a
  reference
- Drop support for FreeBSD 8.x, optimize bootstrap compiler tarballs
- Update Gtk2Hs to version 0.13 [2]
- Update Pandoc to version 1.15.0.6
- Update git-annex to version 5.20150727
- Update Darcs to 2.10 [3]
- Unbreak wxHaskell ports

Please note that port revisions for all the Haskell ports without version
changes are bumped.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Wed, 10 Sep 2014
[ 20:50 gerald search for other commits by this committer ] Original commit   Revision:367888 (Only the first 10 of 3171 ports in this commit are shown above. View all ports for this commit)
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
Sun, 10 Aug 2014
[ 22:34 pgj search for other commits by this committer ] Original commit   Revision:364579 (Only the first 10 of 1166 ports in this commit are shown above. View all ports for this commit)
- Update The Glorious Glasgow Haskell Compiler to version 7.8.3
- Update Haskell Platform to version 2014.2.0.0
- Update Yesod Platform to version 1.2.13
- Update Gtk2Hs to version 0.12.5
- Update Pandoc to version 1.12.4.2
- Update git-annex to version 5.20140717
- Unbreak wxHaskell ports

Please note that port revisions for all the Haskell ports without version
changes are bumped.

New ports (69):

databases/hs-esqueleto: Type-safe EDSL for SQL queries on persistent backends
devel/hs-Glob: Globbing library
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Sat, 29 Mar 2014
[ 00:52 pgj search for other commits by this committer ] Original commit   Revision:349475 (Only the first 10 of 402 ports in this commit are shown above. View all ports for this commit)
- Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and
  9.x in order to prevent run-time breakage after the recent changes in
  libiconv
- Bump port revision for lang/ghc and all dependents, as a consequence

Obtained from:	FreeBSD Haskell
Mon, 10 Mar 2014
[ 20:55 gerald search for other commits by this committer ] Original commit   Revision:347809 (Only the first 10 of 1081 ports in this commit are shown above. View all ports for this commit)
Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3.  This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.

Part II, Bump PORTREVISIONs.

PR:		182136
Supported by:	Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by:	bdrewery (two -exp runs)
Thu, 9 Jan 2014
[ 21:32 pgj search for other commits by this committer ] Original commit   Revision:339286 (Only the first 10 of 410 ports in this commit are shown above. View all ports for this commit)
- Stagify lang/ghc and all the Haskell Cabal ports
- Update HACKAGE_SITE to follow changes in upstream
- MAKE_ENV now sets LC_ALL and DESTDIR for Haskell Cabal ports
- Further minor cosmetical changes: replace USE_GMAKE with USES, get rid of
  ${DO_NADA}, some refactoring

Obtained from:	FreeBSD Haskell
[ 21:29 pgj search for other commits by this committer ] Original commit   Revision:339285 (Only the first 10 of 406 ports in this commit are shown above. View all ports for this commit)
- Fix a run-time problem with lang/ghc on FreeBSD 10.0 and later, caused by
  the iconv changes (basically GHCi was rendered unusable)
- Fix build for x11-toolkits/hs-wxc, while here
- Bump port revision for all Haskell Cabal ports as they have to be rebuilt

PR:		ports/184806
Reported by:	many
Obtained from:	FreeBSD Haskell
MFH:		2014Q1
Sat, 26 Oct 2013
[ 00:52 gerald search for other commits by this committer ] Original commit   Revision:331644 (Only the first 10 of 1147 ports in this commit are shown above. View all ports for this commit)
Update to libmpc version 1.0.1 which brings the following fixes:

 - Switched to automake 1.11.6, see CVE-2012-3386.
 - #14669: Fixed extraction of CC from gmp.h.
 - Fixed case of intermediate zero real or imaginary part in mpc_fma,
   found by hydra with GMP_CHECK_RANDOMIZE=1346362345.

This is on top of the following changes from version 1.0

 - Licence change towards LGPLv3+ for the code and GFDLv1.3+ (with no
   invariant sections) for the documentation.
 - 100% of all lines are covered by tests
 - Renamed functions
   . mpc_mul_2exp to mpc_mul_2ui
   . mpc_div_2exp to mpc_div_2ui
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Fri, 20 Sep 2013
[ 20:55 bapt search for other commits by this committer ] Original commit   Revision:327746 (Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Tue, 4 Jun 2013
[ 18:53 pgj search for other commits by this committer ] Original commit   Revision:319894 (Only the first 10 of 625 ports in this commit are shown above. View all ports for this commit)
- 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 View all of this commit message)
Sat, 27 Apr 2013
[ 11:59 mva search for other commits by this committer ] Original commit   Revision:316662 (Only the first 10 of 219 ports in this commit are shown above. View all ports for this commit)
- Convert USE_ICONV=yes to USES=iconv
- Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here

Reviewed by:	zeising
Sun, 31 Mar 2013
[ 13:43 pgj search for other commits by this committer ] Original commit   Revision:315636
- Fix a minor dynamic linking problem for certain Haskell Cabal ports
- Add an UPDATING entry for description and instructions

Submitted by:	ashish
Approved by:	portmgr (miwi)
Obtained from:	FreeBSD Haskell
Fri, 29 Mar 2013
[ 22:43 pgj search for other commits by this committer ] Original commit   Revision:315580 (Only the first 10 of 339 ports in this commit are shown above. View all ports for this commit)
- Update Haskell ports from the development repository
- Avoid self-dependency for print/hs-hscolour (when HSCOLOUR is set)
  Contributed by: ashish

New ports (5):

devel/hs-geniplate                       0.6.0.3
devel/hs-uuid                            1.2.9
net/hs-maccatcher                        2.1.5
net/hs-publicsuffixlist                  0.0.3
textproc/hs-regex-tdfa                   1.1.8

Removed ports (1):

math/hs-Agda-executable                  2.3.0.1_3
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Tue, 5 Feb 2013
[ 22:26 pgj search for other commits by this committer ] Original commit   Revision:311736 (Only the first 10 of 595 ports in this commit are shown above. View all ports for this commit)
- 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 View all of this commit message)
Thu, 20 Dec 2012
[ 02:23 pgj search for other commits by this committer ] Original commit   Revision:309275 (Only the first 10 of 1010 ports in this commit are shown above. View all ports for this commit)
- 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 View all of this commit message)
Fri, 3 Aug 2012
[ 02:30 pgj search for other commits by this committer ] Original commit  (Only the first 10 of 286 ports in this commit are shown above. View all ports for this commit)
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft

Obtained from:	FreeBSD Haskell
Sun, 3 Jun 2012
[ 22:09 pgj search for other commits by this committer ] Original commit 
- Update to 2.3.0.1

Obtained from:  FreeBSD Haskell
Mon, 13 Feb 2012
[ 05:04 pgj search for other commits by this committer ] Original commit 
- Update to 2.3.0

Obtained from:  FreeBSD Haskell
Sun, 10 Jul 2011
[ 16:30 ashish search for other commits by this committer ] Original commit  (Only the first 10 of 32 ports in this commit are shown above. View all ports for this commit)
- Update devel/hs-blaze-builder to 0.3.0.1
- Update devel/hs-blaze-builder-enumerator to 0.2.0.1
- Update devel/hs-darcs to 2.5.2
- Update devel/hs-hashed-storage to 0.5.7
- Update devel/hs-haskeline to 0.6.4.0
- Update devel/hs-haskell-src-exts to 1.11.1
- Update devel/hs-hoogle to 4.2.5
- Update devel/hs-test-framework to 0.4.0
- Update devel/hs-test-framework-quickcheck2 to 0.2.10
- Update www/hs-wai to 0.4.0
- Update www/hs-warp to 0.4.0.1
- Bump PORTREVISION of devel/cvs2darcs, devel/hs-test-framework-hunit,
  devel/hs-uuagc, math/hs-Agda, math/hs-Agda-executable

Obtained from:  FreeBSD Haskell
Thu, 26 May 2011
[ 00:51 ashish search for other commits by this committer ] Original commit  (Only the first 10 of 166 ports in this commit are shown above. View all ports for this commit)
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
Mon, 9 May 2011
[ 05:28 ashish search for other commits by this committer ] Original commit  (Only the first 10 of 460 ports in this commit are shown above. View all ports for this commit)
- 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
Wed, 26 May 2010
[ 11:18 jacula search for other commits by this committer ] Original commit  (Only the first 10 of 75 ports in this commit are shown above. View all ports for this commit)
- Pass maintainership to haskell@FreeBSD.org:

    audio/hs-ALUT, audio/hs-OpenAL, benchmarks/hs-criterion
    converters/hs-json, devel/hs-DeepArrow, devel/hs-FileManip
    devel/hs-MemoTrie, devel/hs-MissingH, devel/hs-MonadCatchIO-mtl
    devel/hs-ObjectName, devel/hs-QuickCheck, devel/hs-StateVar
    devel/hs-Tensor, devel/hs-TypeCompose, devel/hs-arrows
    devel/hs-checkers, devel/hs-convertible, devel/hs-datetime
    devel/hs-deepseq, devel/hs-fgl, devel/hs-ghc-mtl, devel/hs-ghc-paths
    devel/hs-ghc-paths-docs, devel/hs-haskeline
    devel/hs-haskell-src-exts, devel/hs-hint, devel/hs-hoogle
    devel/hs-hslogger, devel/hs-mmap, devel/hs-mueval, devel/hs-reactive
    devel/hs-readline, devel/hs-safe, devel/hs-show, devel/hs-smallcheck
    devel/hs-split, devel/hs-testpack, devel/hs-transformers
    devel/hs-unamb, devel/hs-uniplate, devel/hs-unix-compat
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Wed, 12 May 2010
[ 16:33 pgj search for other commits by this committer ] Original commit  (Only the first 10 of 214 ports in this commit are shown above. View all ports for this commit)
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.
Mon, 19 Apr 2010
[ 10:43 ale search for other commits by this committer ] Original commit  (Only the first 10 of 132 ports in this commit are shown above. View all ports for this commit)
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
Mon, 4 Jan 2010
[ 03:24 pgj search for other commits by this committer ] Original commit 
Agda is a dependently typed functional programming language: It has inductive
families, which are similar to Haskell's GADTs, but they can be indexed by
values and not just types. It also has parameterised modules, mixfix operators,
Unicode characters, and an interactive Emacs interface (the type checker can
assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Lof. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.

WWW: http://wiki.portal.chalmers.se/agda/

PR:             ports/142141
Submitted by:   Jacula Modyun <jacula(at)gmail.com>

Number of commits found: 54