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

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

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

Required To Build:
  1. devel/gmake
Required Libraries:
  1. math/gmp
  2. 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
flacNov 25
asterisk11Nov 21
asterisk11Nov 21
phpmyadminNov 21
kde4-runtimeNov 20
kwebkitpartNov 20
yiiNov 19
chromiumNov 18
kde4-workspaceNov 17
dbusNov 11
wgetNov 08
konversation-kde4Nov 05
jenkinsOct 31
jenkins-ltsOct 31
twikiOct 31

9 vulnerabilities affecting 11 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 24392
Broken 162
Deprecated 79
Ignore 419
Forbidden 1
Restricted 206
No CDROM 93
Vulnerable 18
Expired 12
Set to expire 74
Interactive 0
new 24 hours 6
new 48 hours10
new 7 days51
new fortnight182
new month236

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