ats2: Update wip/ats2 to 0.4.2

[Atsushi Toyokura <asteria.at%gmail.com@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Atsushi Toyokura <asteria.at%gmail.com@localhost>
Pushed By:	steleto
Date:		Tue Feb 16 22:27:15 2021 +0900
Changeset:	66a3a15dd1196a37ba9d1fccd6e8fc81b6fadf86

Modified Files:
	ats2/Makefile
	ats2/distinfo

Log Message:
ats2: Update wip/ats2 to 0.4.2

* 0.4.2

This is the 53rd 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:

There are only a few minor modifications, which are primarily
needed for compiling the current (2020-11-01) implementation of ATS.

1. Fixing the handling of an issue causing the compiler crash:
   the proof of the at-view of a local variable is not restored
   at the end of its scope.
   Please visit the following link for more details:
   https://groups.google.com/g/ats-lang-users/c/f9QVilhHMEM
2. Fixing bug-2020-10-14
   (for the omission of handling records when the exhaustiveness of
    pattern matching is tested)
   Kudos to Alex Dambaev for reporting it!

Please note that in this release, there are two variants of
the package released: The "gmp" variant depends on the GMP library and
the "int" variant does not depend on the GMP library. In this release
ATS2-Postiats-0.4.2.tgz is just the same as ATS2-Postiats-int-0.4.2.tgz.

----

* 0.4.1

This is the 52nd 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:

There are only a few minor modifications, which may be needed for
compiling the implementation of ATS3 in the future.

Please note that starting in this release, there are two variants of
the package released: The "gmp" variant depends on the GMP library and
the "int" variant does not depend on the GMP library. In this release
ATS2-Postiats-0.4.1.tgz is just the same as
ATS2-Postiats-int-0.4.1.tgz.

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=66a3a15dd1196a37ba9d1fccd6e8fc81b6fadf86

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 ats2/Makefile | 5 +++--
 ats2/distinfo | 8 ++++----
 2 files changed, 7 insertions(+), 6 deletions(-)

diffs:
diff --git a/ats2/Makefile b/ats2/Makefile
index f7ae96d5a4..febc1f5e0a 100644
--- a/ats2/Makefile
+++ b/ats2/Makefile
@@ -1,6 +1,6 @@
 # $NetBSD$
 
-DISTNAME=	ATS2-Postiats-0.4.0
+DISTNAME=	ATS2-Postiats-0.4.2
 CATEGORIES=	lang
 MASTER_SITES=	${MASTER_SITE_SOURCEFORGE:=ats2-lang/}
 EXTRACT_SUFX=	.tgz
@@ -10,6 +10,8 @@ HOMEPAGE=	http://www.ats-lang.org/
 COMMENT=	Programming language unifying implementation with formal specification
 LICENSE=	gnu-gpl-v3
 
+WRKSRC=		${WRKDIR}/${PKGBASE}-int-${PKGVERSION_NOREV}
+
 GNU_CONFIGURE=	yes
 
 USE_TOOLS+=	gmake
@@ -17,5 +19,4 @@ USE_TOOLS+=	gmake
 MAKE_JOBS_SAFE=	no
 MAKE_FLAGS+=	LDFLAGS+=
 
-.include "../../devel/gmp/buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
diff --git a/ats2/distinfo b/ats2/distinfo
index cf24afeb8c..29b93c9a6e 100644
--- a/ats2/distinfo
+++ b/ats2/distinfo
@@ -1,7 +1,7 @@
 $NetBSD$
 
-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 (ATS2-Postiats-0.4.2.tgz) = 76b7c817c3439858e42c4ff74edc226578e0ea1b
+RMD160 (ATS2-Postiats-0.4.2.tgz) = 564ae4575784959829e79dbf909d4a26b2e1f892
+SHA512 (ATS2-Postiats-0.4.2.tgz) = 5b8b2d25c31961312d78e1929bdf44987598de71e798ab3e4bc9a262f3e325a0e983098419767ec10be0dbc63e5aeaccabb86746f47685ce403bec0c0fc379bf
+Size (ATS2-Postiats-0.4.2.tgz) = 4534361 bytes
 SHA1 (patch-Makefile) = 6695c27284c2e5f765439f0d2b77c3bda3c2a5ed