| Port details |
- hs-Agda-executable Command-line program for type-checking and compiling Agda programs
- 2.3.0.1_3 math
 =0      2.3.0.1_3Version of this port present on the latest quarterly branch. - Maintainer: haskell@FreeBSD.org
- Port Added: 2010-01-04 03:26:46
- Last Update: 2013-03-29 22:43:58
- SVN Revision: 315580
- Also Listed In: haskell
- License: not specified in port
- WWW:
- http://wiki.portal.chalmers.se/agda/
- Description:
- 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/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- hs-Agda-executable>0:math/hs-Agda-executable
- No installation instructions:
- This port has been deleted.
- PKGNAME: hs-Agda-executable
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ghc : lang/ghc
- ghc>=7.4.2 : lang/ghc
- hs-Agda>=2.3.0 : math/hs-Agda
- hs-Agda<2.3.1 : math/hs-Agda
- gcc46 : lang/gcc
- as : devel/binutils
- Runtime dependencies:
-
- ghc : lang/ghc
- ghc>=7.4.2 : lang/ghc
- hs-Agda>=2.3.0 : math/hs-Agda
- hs-Agda<2.3.1 : math/hs-Agda
- gcc46 : lang/gcc
- Library dependencies:
-
- gmp.10 : math/gmp
- iconv.3 : converters/libiconv
- There are no ports dependent upon this port
Configuration Options:- ===> 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
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.3.0.1_3
29 Mar 2013 22:43:58
  |
pgj |
- 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  ) |
2.3.0.1_3
05 Feb 2013 22:26:32
|
pgj |
- 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 ) |
2.3.0.1_2
20 Dec 2012 02:23:06
|
pgj |
- 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 ) |
2.3.0.1_1
03 Aug 2012 02:30:11
|
pgj |
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft
Obtained from: FreeBSD Haskell |
2.3.0.1
03 Jun 2012 22:09:57
|
pgj |
- Update to 2.3.0.1
Obtained from: FreeBSD Haskell |
2.3.0
13 Feb 2012 05:05:11
|
pgj |
- Update to 2.3.0
Obtained from: FreeBSD Haskell |
2.2.10_1
10 Jul 2011 16:30:20
|
ashish |
- 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 |
2.2.10
14 Jun 2011 19:57:04
|
pgj |
- Un-break build |
2.2.10
05 Jun 2011 19:15:19
|
pav |
- Mark BROKEN: bad dependency object
Reported by: pointyhat |
2.2.10
09 May 2011 05:28:57
|
ashish |
- 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 |
2.2.6_1
20 Mar 2011 12:54:45
|
miwi |
- Get Rid MD5 support |
2.2.6_1
08 Aug 2010 08:49:38
|
pgj |
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")
Suggested by: admi3 |
2.2.6_1
26 May 2010 11:18:46
|
jacula |
- 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 ) |
2.2.6_1
12 May 2010 16:33:59
|
pgj |
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. |
2.2.6_1
19 Apr 2010 10:43:43
|
ale |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin) |
2.2.6
04 Jan 2010 03:26:20
|
pgj |
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> |
As an Amazon Associate I earn from qualifying purchases.