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

Port details
ats 0.2.9 lang on this many watch lists=0 search for ports that depend on this port
Language with a type system rooted in the Applied Type System
Maintained by: jyyou@cs.nctu.edu.tw 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 required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. devel/gmake
Required Libraries:
  1. math/gmp
  2. devel/pcre
There are no ports dependent upon this port

To install the port: cd /usr/ports/lang/ats/ && make install clean
To add the package: pkg_add -r ats


Configuration Options
===> The following configuration options are available for ats-0.2.9:
     GMP=on: GMP (multiple precision arithmetic)
     PCRE=on: Use Perl Compatible Regular Expressions
===> Use 'make config' to modify these settings

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

Number of commits found: 10

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
24 Jan 2013 10:06:10
Original commit files touched by this commit  0.2.9
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
  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
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: 10

2826
Login
User Login
Create account

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
plibMay 19
plibMay 19
linux-f10-flashplugin10May 16
linux-f10-flashplugin11May 16
nginx*May 16
nginx-devel*May 16
firefoxMay 15
firefox-develMay 15
firefox-esrMay 15
firefox10May 15
firefox15May 15
firefox3May 15
firefox3-develMay 15
firefox35May 15
firefox36May 15

5 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 24525
Broken 217
Deprecated 473
Ignore 636
Forbidden 3
Restricted 292
No CDROM 109
Vulnerable 27
Expired 132
Set to expire 511
Interactive 33
new 24 hours 4
new 48 hours10
new 7 days26
new fortnight56
new month212

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

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2013 DVL Software Limited. All rights reserved.
0