pkgsrc-WIP-changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

ats2: Update wip/ats2 to 0.4.0



Module Name:	pkgsrc-wip
Committed By:	Atsushi Toyokura <asteria.at%gmail.com@localhost>
Pushed By:	steleto
Date:		Wed Dec 25 00:31:12 2019 +0900
Changeset:	38fbd2751aa07bb55369ae13a0883df52760fa66

Modified Files:
	ats2/Makefile
	ats2/distinfo

Log Message:
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.

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

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

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

diffs:
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


Home | Main Index | Thread Index | Old Index