rtyler
/
pkgsrc-wip
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ats2: Update wip/ats2 to 0.4.0 

0.4.0

This is the 51st release of ATS2, the successor of the
ATS programming language. The compiler for ATS2 is given
the name ATS/Positats, ATS2/Postiats or simply Postiats.

The official website for ATS is:

http://www.ats-lang.org

ATS-Postiats is hosted at github:

https://github.com/githwxi/ATS-Postiats

Major releases of ATS2 are available at:

https://sourceforge.net/projects/ats2-lang/

Major releases of external packages for ATS2 are available at:

https://sourceforge.net/projects/ats2-lang-contrib/

Here is a list of major additions and changes since the last release:

1. Improving testing code:
   doc/EXAMPLE/ATSLF,
   doc/EXAMPLE/INTRO, doc/EXAMPLE/TESTATS
   Kudos to Artyom Shalkhakov!
2. Introducing various keywords (e.g., atstflt, atsvtflt), which are
   used in the implementation of ATS3(ATS/Xanadu)

Please note that there are two variants of the package released: The
"gmp" variant depends on the GMP library while the "int" variant does
not. From this release on, ATS2-Postiats-0.4.0.tgz is just the same as
ATS2-Postiats-int-0.4.0.tgz. This choice is made due to the fact that
most users (especially new users) can readily get by without the extra
dependency on GMP.
This commit is contained in:
Atsushi Toyokura 2019-12-25 00:31:12 +09:00
parent 01e2192893
commit 38fbd2751a
2 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ats2/Makefile
View File

@ -1,6 +1,6 @@
# $NetBSD$
DISTNAME= ATS2-Postiats-0.3.13
DISTNAME= ATS2-Postiats-0.4.0
CATEGORIES= lang
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=ats2-lang/}
EXTRACT_SUFX= .tgz
@ -17,7 +17,5 @@ USE_TOOLS+= gmake
MAKE_JOBS_SAFE= no
MAKE_FLAGS+= LDFLAGS+=
WRKSRC= ${WRKDIR}/${PKGBASE}-gmp-${PKGVERSION_NOREV}
.include "../../devel/gmp/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"

8
ats2/distinfo
View File

@ -1,7 +1,7 @@
$NetBSD$
SHA1 (ATS2-Postiats-0.3.13.tgz) = 969fcaf9e2c11ca3b89d5b21aaff70f7b126a960
RMD160 (ATS2-Postiats-0.3.13.tgz) = a2a7d19cafa0f2b949026d41c900671d3bfb6112
SHA512 (ATS2-Postiats-0.3.13.tgz) = 40e0fc40e4295ca6c5c21d9aeb97a6729fc74f7fc9bf165b3328b5b57a4e1480f9e0a792573aad60df0df2a445472a1aa4ef4a707ebbbae2d4ceb5f9b59a8269
Size (ATS2-Postiats-0.3.13.tgz) = 4532102 bytes
SHA1 (ATS2-Postiats-0.4.0.tgz) = f9a734b6d7040633d16a11c73f06175afe04482f
RMD160 (ATS2-Postiats-0.4.0.tgz) = 5de96881e7a4f69617fe161e5e192df38fef68e9
SHA512 (ATS2-Postiats-0.4.0.tgz) = 8bd2fcd66686844950dbaeb68bb0f420a12f829621d2e20e1fd9bcc4bda9b958c1a0b1f6e0558d673a4a50bf599a02489700bc09f2c9b76f10e2a2f46d78e0bc
Size (ATS2-Postiats-0.4.0.tgz) = 4518542 bytes
SHA1 (patch-Makefile) = 6695c27284c2e5f765439f0d2b77c3bda3c2a5ed