FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
hs-Agda 2.3.2_6 math on this many watch lists=0 search for ports that depend on this port
Dependently typed functional programming language and proof assistant
Maintained by: haskell@FreeBSD.org search for ports maintained by this maintainer
Port Added: 04 Jan 2010 03:26:01
Also Listed In: haskell
License: not specified in port


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/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. lang/ghc
  2. lang/ghc
  3. devel/hs-alex
  4. devel/hs-happy
  5. devel/hs-geniplate
  6. devel/hs-hashable
  7. devel/hs-hashtables
  8. devel/hs-haskeline
  9. devel/hs-haskell-src-exts
  10. devel/hs-mtl
  11. devel/hs-QuickCheck
  12. devel/hs-parallel
  13. devel/hs-syb
  14. devel/hs-unordered-containers
  15. textproc/hs-xhtml
  16. archivers/hs-zlib
  17. lang/gcc
  18. devel/binutils
Required To Run:
  1. lang/ghc
  2. lang/ghc
  3. devel/hs-geniplate
  4. devel/hs-hashable
  5. devel/hs-hashtables
  6. devel/hs-haskeline
  7. devel/hs-haskell-src-exts
  8. devel/hs-mtl
  9. devel/hs-QuickCheck
  10. devel/hs-parallel
  11. devel/hs-syb
  12. devel/hs-unordered-containers
  13. textproc/hs-xhtml
  14. archivers/hs-zlib
  15. lang/gcc
Required Libraries:
  1. math/gmp
  2. converters/libiconv

This port is required by:

for Build for Run * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

To install the port: cd /usr/ports/math/hs-Agda/ && make install clean
To add the package: pkg install math/hs-Agda


Configuration Options
===> The following configuration options are available for hs-Agda-2.3.2_6:
     DOCS=on: Build and/or install documentation
     DYNAMIC=on: Add support for dynamic linking
     EPIC=off: Install the Epic compiler
     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

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/cabal/
  2. http://hackage.haskell.org/package/Agda-2.3.2/
Notes from UPDATING
These upgrade notes are taken from /usr/ports/UPDATING
  • 2013-06-04
    Affects: users of lang/ghc and */hs-*
    Author: haskell@FreeBSD.org
    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: 24

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
29 Mar 2014 00:52:55
Original commit files touched by this commit  2.3.2_6
Revision:349475
pgj search for other commits by this committer
- 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
10 Mar 2014 20:55:22
Original commit files touched by this commit  2.3.2_5
Revision:347809
gerald search for other commits by this committer
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)
09 Jan 2014 21:32:14
Original commit files touched by this commit  2.3.2_4
Revision:339286
pgj search for other commits by this committer
- 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
09 Jan 2014 21:29:40
Original commit files touched by this commit  2.3.2_4
Revision:339285
pgj search for other commits by this committer
- 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
26 Oct 2013 00:52:36
Original commit files touched by this commit  2.3.2_3
Revision:331644
gerald search for other commits by this committer
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)
20 Sep 2013 20:55:06
Original commit files touched by this commit  2.3.2_2
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
04 Jun 2013 18:53:41
Original commit files touched by this commit  2.3.2_2
Revision:319894
pgj search for other commits by this committer
- 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)
27 Apr 2013 11:59:29
Original commit files touched by this commit  2.3.2_1
Revision:316662
mva search for other commits by this committer
- Convert USE_ICONV=yes to USES=iconv
- Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here

Reviewed by:	zeising
31 Mar 2013 13:43:10
Original commit files touched by this commit  2.3.2_1
Revision:315636
pgj search for other commits by this committer
- 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
29 Mar 2013 22:43:58
Original commit files touched by this commit  2.3.2
Revision:315580
pgj search for other commits by this committer
- 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)
05 Feb 2013 22:26:32
Original commit files touched by this commit  2.3.0.1_3
Revision:311736
pgj search for other commits by this committer
- 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)
20 Dec 2012 02:23:06
Original commit files touched by this commit  2.3.0.1_2
Revision:309275
pgj search for other commits by this committer
- 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)
03 Aug 2012 02:30:11
Original commit files touched by this commit  2.3.0.1_1
pgj search for other commits by this committer
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft

Obtained from:	FreeBSD Haskell
03 Jun 2012 22:09:29
Original commit files touched by this commit  2.3.0.1
pgj search for other commits by this committer
- Update to 2.3.0.1

Obtained from:  FreeBSD Haskell
13 Feb 2012 05:04:03
Original commit files touched by this commit  2.3.0
pgj search for other commits by this committer
- Update to 2.3.0

Obtained from:  FreeBSD Haskell
10 Jul 2011 16:30:20
Original commit files touched by this commit  2.2.10_2
ashish search for other commits by this committer
- 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
26 May 2011 00:51:15
Original commit files touched by this commit  2.2.10_1
ashish search for other commits by this committer
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
09 May 2011 05:28:57
Original commit files touched by this commit  2.2.10
ashish search for other commits by this committer
- 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
20 Mar 2011 12:54:45
Original commit files touched by this commit  2.2.6_1
miwi search for other commits by this committer
- Get Rid MD5 support
08 Aug 2010 08:49:38
Original commit files touched by this commit  2.2.6_1
pgj search for other commits by this committer
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")

Suggested by:   admi3
26 May 2010 11:18:46
Original commit files touched by this commit  2.2.6_1
jacula search for other commits by this committer
- 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)
12 May 2010 16:33:59
Original commit files touched by this commit  2.2.6_1
pgj search for other commits by this committer
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.
19 Apr 2010 10:43:43
Original commit files touched by this commit  2.2.6_1
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
04 Jan 2010 03:24:25
Original commit files touched by this commit  2.2.6
pgj search for other commits by this committer
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: 24

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
mingw32-opensslApr 23
opensslApr 23
py-djangoApr 23
py-django-develApr 23
py-django14Apr 23
py-django15Apr 23
bugzilla40*Apr 18
bugzilla40*Apr 18
bugzilla42*Apr 18
bugzilla42*Apr 18
bugzilla44*Apr 18
bugzilla44*Apr 18
curlApr 11
dbus-glibApr 11
libaudiofileApr 11

14 vulnerabilities affecting 20 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24372
Broken 178
Deprecated 91
Ignore 533
Forbidden 6
Restricted 263
No CDROM 108
Vulnerable 29
Expired 24
Set to expire 78
Interactive 22
new 24 hours 3
new 48 hours6
new 7 days15
new fortnight33
new month132

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.