math/hs-Agda: Add forgotten Makefile.cabal, fixes build

Approved by:	haskell@ (alven@)
Fixes:	 	bc787f8e0d50 math/hs-Agda: Update 2.8.0 => 2.8.0.2

math/hs-Agda: Update 2.8.0 => 2.8.0.2

* Add WWW for Hackage package
* Remove BROKEN_i386 stance as lang/ghc* is already 64-bit only

Approved by:		haskell@ (alven@)

math/hs-Agda: Disable building emacs mode files until upstream fixes it

Reported by:	pkg-fallout

*/*: Use C.UTF-8 locale

Ports 02f27a83b44d fixed the ports tree to the C locale so it would work
correctly in environments where users use a locale that isn't compatible
with the C locale, e.g. xx_YY.UTF-8 where [A-Z] includes more than just
upper case letters.  USE_LOCALE was introduced to let ports use another
locale if they needed it.  The C.UTF-8 locale was created later on to be
mostly compatible with the C locale.

Switch the ports tree locale to C.UTF-8 and remove USE_LOCALE.  The
world has moved to Unicode so all ports either require it or know how to
build correctly in a Unicode environment.

PR:		295945
Exp-run by:	antoine

math/hs-Agda: fix build on powerpc64le

powerpc64le is also 64-bit.

math/hs-Agda: Fix building after the GHC upgrade

math/hs-Agda: update 2.7.0.1 => 2.8.0

PR:		288578
Approved by:	alven@ (maintainer, with haskell@ hat)
Approved by:	yuri@  (Mentor)

Revert "math/hs-Agda: Disable building emacs mode files until upstream fixes it"

This reverts commit e1197b1e58b2cdb5f98b4fd00db2e340800b444f.

Upstream bug [0] was fixed/closed 2025-03-28

[0] https://github.com/agda/agda/issues/7730

PR:		288578
Approved by:	alven (maintainer, with haskell@ hat)
Approved by:	yuri  (Mentor)

math/hs-Agda: Disable building emacs mode files until upstream fixes it

See https://github.com/agda/agda/issues/7730
Reported by:	pkg-fallout

math/hs-Agda: Update to 2.7.0.1

PR:		281581

math/hs-Agda: Update to 2.7.0

PR:		280954

math/hs-Agda: Fix LICENSE

PR:		277730

math/hs-Agda: Fix plist

PR:		277730
Fixes:	ba61a442a89ec86117ece8c356b5c5117a67681e

math/hs-Agda: Update to 2.6.4.3

PR:		277730

math/hs-Agda: update to 2.6.4.1

math/hs-Agda: Unbreak emacs stuff.

Reported by:	pkg-fallout

math/hs-Agda: Update to 2.6.3

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.

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

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.

math/hs-Agda: Unbreak and enable compiling emacs mode files.

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.

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

math/hs-Agda: Update to 2.6.2.2

devel/libffi: Bump deps PORTREVISION for shlib change

PR:		263764
Reported by:	VVD <vvd@unislabs.com>

math/hs-Agda: Update to 2.6.2

Bump USES=cabal ports after 12837690ed0c

Remove # $FreeBSD$ from Makefiles.

math/hs-Agda: Update to 2.6.1.3

math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will
improve
in new GHC releases.

math/hs-Agda: Fix build with new GHC.

Reported by:	pkg-fallout

math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
with our new Emacs.

lang/ghc: Update to 8.10.1.

As usual, along with the compiler, many Haskell packages are updated as well.

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)

math/hs-Agda: Install emacs mode files.

PR:		246254

Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.

PR:		244784
Submitted by:	Evilham <contact@evilham.com> (some ports)

math/hs-Agda: Update to latest version and unbreak.

Approved by:	tcberner (mentor, implicit)

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

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

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

Update some hs-* ports that were previously IGNORE'd.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16308

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

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

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

- 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):

- 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.

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)

- 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

- 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

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)

- 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

- 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

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

Add NO_STAGE all over the place in preparation for the staging support (cat:
math)

- 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

- Convert USE_ICONV=yes to USES=iconv
- Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here

Reviewed by:	zeising

- 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

- 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

- 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

- 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):

- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft

Obtained from:	FreeBSD Haskell

- Update to 2.3.0.1

Obtained from:  FreeBSD Haskell

- Update to 2.3.0

Obtained from:  FreeBSD Haskell

- 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

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

- Get Rid MD5 support

- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")

Suggested by:   admi3

- 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

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.

Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)

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>