From 38fbd2751aa07bb55369ae13a0883df52760fa66 Mon Sep 17 00:00:00 2001 From: Atsushi Toyokura Date: Wed, 25 Dec 2019 00:31:12 +0900 Subject: [PATCH] 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. --- ats2/Makefile | 4 +--- ats2/distinfo | 8 ++++---- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/ats2/Makefile b/ats2/Makefile index 34087a42f0..f7ae96d5a4 100644 --- a/ats2/Makefile +++ b/ats2/Makefile @@ -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" diff --git a/ats2/distinfo b/ats2/distinfo index b5374d9178..cf24afeb8c 100644 --- a/ats2/distinfo +++ b/ats2/distinfo @@ -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