ats 0.2.6_1 lang =0

A language with a type system rooted in the Applied Type System
Maintained by: jyyou@cs.nctu.edu.tw
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/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: devel/gmake
Required Libraries: math/gmp, 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.6_1:
     GMP=on (default) "Build with GMP support"
     PCRE=on (default) "Build with PCRE support"
===> Use 'make config' to modify these settings

---

Master Sites:

http://heanet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://sunet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://iweb.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://switch.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://surfnet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://kent.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://freefr.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://voxel.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://jaist.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://osdn.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://nchc.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://ncu.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://transact.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://softlayer.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://internode.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://ufpr.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

http://waix.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Bump pcre library dependency due to 8.30 update

- Update to 0.2.6

PR:             162575
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
Feature safe:   yes

- 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)

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>

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities