[pkgsrc/trunk]: pkgsrc/lang/polyml Update to version 5.7.1. Switch to github ...

[alnsn <alnsn%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/56a562399189
branches:  trunk
changeset: 333242:56a562399189
user:      alnsn <alnsn%pkgsrc.org@localhost>
date:      Thu May 02 18:24:58 2019 +0000

description:
Update to version 5.7.1. Switch to github releases.

Major Changes

   This release fixes a number of bugs and timing issues in version 5.7 mainly related to the code-generator.

diffstat:

 lang/polyml/Makefile |  11 ++++++++---
 lang/polyml/PLIST    |   3 ++-
 lang/polyml/distinfo |  10 +++++-----
 3 files changed, 15 insertions(+), 9 deletions(-)

diffs (61 lines):

diff -r 66e6143325ea -r 56a562399189 lang/polyml/Makefile
--- a/lang/polyml/Makefile      Thu May 02 15:50:00 2019 +0000
+++ b/lang/polyml/Makefile      Thu May 02 18:24:58 2019 +0000
@@ -1,8 +1,10 @@
-# $NetBSD: Makefile,v 1.18 2018/01/01 18:16:37 rillig Exp $
+# $NetBSD: Makefile,v 1.19 2019/05/02 18:24:58 alnsn Exp $
 
-DISTNAME=      polyml-5.7
+DISTNAME=      polyml-5.7.1
 CATEGORIES=    lang
-MASTER_SITES=  ${MASTER_SITE_SOURCEFORGE:=polyml/}
+MASTER_SITES=   ${MASTER_SITE_GITHUB:=polyml/}
+GITHUB_PROJECT= polyml
+GITHUB_TAG=     v${PKGVERSION_NOREV}
 
 MAINTAINER=    asau%inbox.ru@localhost
 HOMEPAGE=      http://polyml.org/
@@ -10,6 +12,9 @@
 
 # ONLY_FOR_PLATFORM=   *-*-i386 *-*-x86_64 *-*-sparc *-*-powerpc
 
+NOT_PAX_ASLR_SAFE+=    bin/poly
+NOT_PAX_MPROTECT_SAFE+= bin/poly
+
 WRKSRC=                ${WRKDIR}/${PKGNAME_NOREV}
 
 GNU_CONFIGURE= yes
diff -r 66e6143325ea -r 56a562399189 lang/polyml/PLIST
--- a/lang/polyml/PLIST Thu May 02 15:50:00 2019 +0000
+++ b/lang/polyml/PLIST Thu May 02 18:24:58 2019 +0000
@@ -1,10 +1,11 @@
-@comment $NetBSD: PLIST,v 1.3 2014/09/13 18:23:38 asau Exp $
+@comment $NetBSD: PLIST,v 1.4 2019/05/02 18:24:58 alnsn Exp $
 bin/poly
 bin/polyc
 bin/polyimport
 lib/libpolymain.la
 lib/libpolyml.la
 lib/pkgconfig/polyml.pc
+lib/polyml/modules/IntInfAsInt
 man/man1/poly.1
 man/man1/polyc.1
 man/man1/polyimport.1
diff -r 66e6143325ea -r 56a562399189 lang/polyml/distinfo
--- a/lang/polyml/distinfo      Thu May 02 15:50:00 2019 +0000
+++ b/lang/polyml/distinfo      Thu May 02 18:24:58 2019 +0000
@@ -1,9 +1,9 @@
-$NetBSD: distinfo,v 1.13 2017/09/15 23:51:04 asau Exp $
+$NetBSD: distinfo,v 1.14 2019/05/02 18:24:58 alnsn Exp $
 
-SHA1 (polyml-5.7.tar.gz) = 1de8f4f2a248b1e18cd4581960d3a73d98525ba6
-RMD160 (polyml-5.7.tar.gz) = 725f075ac9df44d2ba7d86de83246962a20c9904
-SHA512 (polyml-5.7.tar.gz) = c1a85720b79c1b6a0be8f7bcf35ff18215f918e1eb6819a6f154f96ae7e1a3a878fe01a80c5d614892792f27f7577530dafb4d684e710e82f8bf68bd55da2c2e
-Size (polyml-5.7.tar.gz) = 7367924 bytes
+SHA1 (polyml-5.7.1.tar.gz) = 454d3827263f514004a2465a2db0cd64ebe6e561
+RMD160 (polyml-5.7.1.tar.gz) = cc0061f191783c4749ef08fee33db4c3a2a269c6
+SHA512 (polyml-5.7.1.tar.gz) = 0b597f2fc9a68b764d4621e4e6b9c69083181bdfae66f53d0033bfc9661b9c42d252a42a72123245e8a55176a673d5343d6dd7936ae806d330b5e2b81f35e4d6
+Size (polyml-5.7.1.tar.gz) = 7218131 bytes
 SHA1 (patch-configure) = 3df85bb0adac4bfd68fffa32c41944f21eaf8c40
 SHA1 (patch-configure.ac) = 63817ba1fd42bae03da67f74b5b97dda32b02118
 SHA1 (patch-libpolyml_elfexport.cpp) = 3dfde6483eca0778504265a8e92cad8ef86d72d3