CVS commit: pkgsrc/lang/polyml

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Thu May  2 18:24:58 UTC 2019

Modified Files:
        pkgsrc/lang/polyml: Makefile PLIST distinfo

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


To generate a diff of this commit:
cvs rdiff -u -r1.18 -r1.19 pkgsrc/lang/polyml/Makefile
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/polyml/PLIST
cvs rdiff -u -r1.13 -r1.14 pkgsrc/lang/polyml/distinfo

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

Modified files:

Index: pkgsrc/lang/polyml/Makefile
diff -u pkgsrc/lang/polyml/Makefile:1.18 pkgsrc/lang/polyml/Makefile:1.19
--- pkgsrc/lang/polyml/Makefile:1.18    Mon Jan  1 18:16:37 2018
+++ pkgsrc/lang/polyml/Makefile Thu May  2 18:24:58 2019
@@ -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 @@ COMMENT=      Poly/ML is an implementation of
 
 # 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

Index: pkgsrc/lang/polyml/PLIST
diff -u pkgsrc/lang/polyml/PLIST:1.3 pkgsrc/lang/polyml/PLIST:1.4
--- pkgsrc/lang/polyml/PLIST:1.3        Sat Sep 13 18:23:38 2014
+++ pkgsrc/lang/polyml/PLIST    Thu May  2 18:24:58 2019
@@ -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

Index: pkgsrc/lang/polyml/distinfo
diff -u pkgsrc/lang/polyml/distinfo:1.13 pkgsrc/lang/polyml/distinfo:1.14
--- pkgsrc/lang/polyml/distinfo:1.13    Fri Sep 15 23:51:04 2017
+++ pkgsrc/lang/polyml/distinfo Thu May  2 18:24:58 2019
@@ -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