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