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/
===> The following configuration options are available for ats-0.2.9_1:
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
Remove expired ports:
2017-11-04 lang/ats: Unmaintained, outdated, needs lots of refreshment
2017-11-09 games/lordsawar: Broken for more than 6 months
2017-11-09 databases/elixir-ecto_migrate: Broken for more than 6 months
2017-11-09 audio/gspeakers: Broken for more than 6 months
2017-11-09 net/p5-Filesys-SmbClient: Broken for more than 6 months
2017-11-09 audio/tclmidi: Broken for more than 6 months
2017-11-09 security/py-xmlsec: Broken for more than 6 months
2017-11-09 security/samba-virusfilter: Broken for more than 6 months
2017-11-09 textproc/ocaml-pxp: Broken for more than 6 months
2017-11-09 audio/sooperlooper: Broken for more than 6 months
2017-11-09 devel/dwarves: Broken for more than 6 months
2017-11-09 devel/cl-cffi-sbcl: Broken for more than 6 months
2017-11-09 devel/pinba_engine: Broken for more than 6 months
2017-11-09 devel/py-event: Broken for more than 6 months
Mark as deprecated
This port needs lot of refreshments, while not being maintained (last update is
from 2013!)
among the issues, this port is still using NOPORTEXAMPLES, using bsd.ats.mk
bundled in the directory (and absoluetly unused elsewere) using an unexpected
lib64 directory, etc.
- 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)
- 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>