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
ats Language with a type system rooted in the Applied Type System
0.2.9 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 14 Oct 2011 17:01:18
License: not specified in port
ATS is a statically typed programming language
that unifies implementation with formal specification.
It is equipped with a highly expressive type system rooted in
the framework Applied Type System, which gives the language its name.
In particular, both dependent types and linear types are available in ATS.

WWW: http://www.ats-lang.org/
SVNWeb : Homepage : Distfiles Availability : PortsMon

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

Build dependencies:
  1. gmake : devel/gmake
Library dependencies:
  1. libgmp.so : math/gmp
  2. libpcre.so : devel/pcre

This port is required by:

for Build * - 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/lang/ats/ && make install clean
To add the package: pkg install lang/ats


Configuration Options
===> The following configuration options are available for ats-0.2.9:
     DOCS=on: Build and/or install documentation
     EXAMPLES=on: Build and/or install examples
     GMP=on: GMP (multiple precision arithmetic) support
     PCRE=on: Use Perl Compatible Regular Expressions
===> Use 'make config' to modify these settings

Master Sites:
  1. http://aarnet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  2. http://distcache.FreeBSD.org/ports-distfiles/
  3. http://downloads.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  4. http://freefr.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  5. http://garr.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  6. http://heanet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  7. http://hivelocity.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  8. http://ignum.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  9. http://internode.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  10. http://iweb.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  11. http://jaist.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  12. http://kaz.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  13. http://kent.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  14. http://master.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  15. http://nchc.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  16. http://ncu.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  17. http://netcologne.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  18. http://sunet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  19. http://superb-dca3.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  20. http://switch.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  21. http://tenet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  22. http://ufpr.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/
  23. http://waix.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.9/

Number of commits found: 19

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
27 Oct 2014 15:23:31
Original commit files touched by this commit  0.2.9
Revision:371587
bapt search for other commits by this committer
Cleanup plist
29 Jul 2014 19:11:53
Original commit files touched by this commit  0.2.9
Revision:363374
adamw search for other commits by this committer
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...

Approved by:	portmgr (not really, but touches unstaged ports)
08 Jul 2014 09:17:24
Original commit files touched by this commit  0.2.9
Revision:361204
vanilla search for other commits by this committer
Stagify.
10 Jun 2014 06:31:43
Original commit files touched by this commit  0.2.9
Revision:357273
linimon search for other commits by this committer
Reset maintainership.

PR:		190858
PR:		190859
PR:		190860
PR:		190861
PR:		190862
PR:		190863
PR:		190864
Submitted by:	former maintainer
Approved by:	portmgr (blanket)
26 May 2014 14:47:57
Original commit files touched by this commit  0.2.9
Revision:355354
miwi search for other commits by this committer
- Convert gmake,bzip2 to USES

Approved by:	portmgr
20 Sep 2013 19:53:10
Original commit files touched by this commit  0.2.9
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
14 Aug 2013 12:27:04
Original commit files touched by this commit  0.2.9
Revision:324708
marino search for other commits by this committer
lang/ats: Fix typo on previous commit

Approved by:	bapt (mentor)
14 Aug 2013 11:53:17
Original commit files touched by this commit  0.2.9
Revision:324703
marino search for other commits by this committer
lang/ats: Mark jobs unsafe

Also replace USE_GMAKE

Approved by: 	bapt/culot (mentors, implicit)
09 Jul 2013 03:02:39
Original commit files touched by this commit  0.2.9
Revision:322544
danfe search for other commits by this committer
Respect CFLAGS is a saner manner.
24 Jan 2013 10:06:10
Original commit files touched by this commit  0.2.9
Revision:310921
ak search for other commits by this committer
- Update to 0.2.9
- Convert Makefile headers to new style
- Remove indefinite article from COMMENT

PR:	ports/175539
Submitted by:	Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
10 Dec 2012 19:11:12
Refresh Original commit files touched by this commit
Revision:308630  Sanity Test Failure
mm search for other commits by this committer
Update PCRE to 8.32
Introduces the UTF-32 library pcre32
Bump PORTREVISION in dependent ports
07 Sep 2012 05:09:42
Original commit files touched by this commit  0.2.8
Revision:303803
lwhsu search for other commits by this committer
- Update to 0.2.8

PR:		ports/171374
Submitted by:	Jyun-Yan You <jyyou@cs.nctu.edu.tw>
27 Jun 2012 18:07:16
Original commit files touched by this commit  0.2.7
lwhsu search for other commits by this committer
- use empty() to check if an option is not set

PR:             ports/169052
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
13 Jun 2012 16:19:08
Original commit files touched by this commit  0.2.7
lwhsu search for other commits by this committer
- Move ats source to FETCH_DEPENDS to avoid fetch failure in slave ports
- Use the new options framework
- Use COPYTREE_SHARE to install data

PR:             ports/168702
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw>
28 May 2012 17:40:27
Original commit files touched by this commit  0.2.7
scheidell search for other commits by this committer
- Update to 0.2.7

PR:             ports/168249
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
14 Feb 2012 12:45:35
Original commit files touched by this commit  0.2.6_1
mm search for other commits by this committer
Bump pcre library dependency due to 8.30 update
16 Nov 2011 16:14:29
Original commit files touched by this commit  0.2.6
miwi search for other commits by this committer
- Update to 0.2.6

PR:             162575
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
Feature safe:   yes
07 Nov 2011 04:00:32
Original commit files touched by this commit  0.2.5
lwhsu search for other commits by this committer
- Fix build on i386 [1]
- Change unnecessary "?=" to "="

Noticed by:     pointyhat by erwin [1]
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
14 Oct 2011 17:00:39
Original commit files touched by this commit  0.2.5
lwhsu search for other commits by this committer
Add ats 0.2.5, a language with a type system rooted in the Applied Type
System.

PR:             ports/161575
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw>

Number of commits found: 19

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
muttDec 23
muttDec 23
ntpDec 20
ntp-develDec 20
gitDec 19
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
asterisk11Dec 11
bind99Dec 11

10 vulnerabilities affecting 28 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 24435
Broken 144
Deprecated 71
Ignore 395
Forbidden 2
Restricted 207
No CDROM 93
Vulnerable 20
Expired 0
Set to expire 66
Interactive 0
new 24 hours 6
new 48 hours7
new 7 days20
new fortnight49
new month102

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