From owner-svn-ports-all@freebsd.org Wed Jul 1 13:39:24 2020 Return-Path: Delivered-To: svn-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id CF09C3528A8; Wed, 1 Jul 2020 13:39:24 +0000 (UTC) (envelope-from lwhsu@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 49xj4r5BGvz4VRN; Wed, 1 Jul 2020 13:39:24 +0000 (UTC) (envelope-from lwhsu@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 96D2EA1D2; Wed, 1 Jul 2020 13:39:24 +0000 (UTC) (envelope-from lwhsu@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id 061DdODq022534; Wed, 1 Jul 2020 13:39:24 GMT (envelope-from lwhsu@FreeBSD.org) Received: (from lwhsu@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id 061DdNGE022530; Wed, 1 Jul 2020 13:39:23 GMT (envelope-from lwhsu@FreeBSD.org) Message-Id: <202007011339.061DdNGE022530@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: lwhsu set sender to lwhsu@FreeBSD.org using -f From: Li-Wen Hsu Date: Wed, 1 Jul 2020 13:39:23 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r540963 - in head/lang/polyml: . files X-SVN-Group: ports-head X-SVN-Commit-Author: lwhsu X-SVN-Commit-Paths: in head/lang/polyml: . files X-SVN-Commit-Revision: 540963 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 01 Jul 2020 13:39:24 -0000 Author: lwhsu Date: Wed Jul 1 13:39:23 2020 New Revision: 540963 URL: https://svnweb.freebsd.org/changeset/ports/540963 Log: Update to 5.8 PR: 247062 Submitted by: Greg V Approved by: Timothy Beyer (maintainer) Added: head/lang/polyml/files/ head/lang/polyml/files/patch-libpolyml_sighandler.cpp (contents, props changed) Modified: head/lang/polyml/Makefile head/lang/polyml/distinfo head/lang/polyml/pkg-plist Modified: head/lang/polyml/Makefile ============================================================================== --- head/lang/polyml/Makefile Wed Jul 1 13:34:19 2020 (r540962) +++ head/lang/polyml/Makefile Wed Jul 1 13:39:23 2020 (r540963) @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= polyml -PORTVERSION= 5.7.1 +PORTVERSION= 5.8 DISTVERSIONPREFIX= v CATEGORIES= lang DIST_SUBDIR= ${PORTNAME} @@ -12,11 +12,11 @@ COMMENT= Fast open-source implementation of Standard M LICENSE= LGPL21 -ONLY_FOR_ARCHS= amd64 i386 +ONLY_FOR_ARCHS= aarch64 amd64 i386 LIB_DEPENDS= libffi.so:devel/libffi -USES= libtool pathfix pkgconfig +USES= libtool localbase pathfix pkgconfig USE_GITHUB= yes @@ -26,10 +26,17 @@ USE_LDCONFIG= yes INSTALL_TARGET= install-strip -OPTIONS_DEFINE= MOTIF +OPTIONS_DEFINE= MOTIF GMP INTINF_AS_INT +OPTIONS_DEFAULT=GMP INTINF_AS_INT MOTIF_CONFIGURE_WITH= x MOTIF_USE= motif + +GMP_CONFIGURE_WITH= gmp +GMP_LIB_DEPENDS= libgmp.so:math/gmp + +INTINF_AS_INT_DESC= Use IntInf.int as int type +INTINF_AS_INT_CONFIGURE_ENABLE= intinf-as-int post-patch: @${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure Modified: head/lang/polyml/distinfo ============================================================================== --- head/lang/polyml/distinfo Wed Jul 1 13:34:19 2020 (r540962) +++ head/lang/polyml/distinfo Wed Jul 1 13:39:23 2020 (r540963) @@ -1,3 +1,3 @@ -TIMESTAMP = 1529843828 -SHA256 (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028 -SIZE (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = 7218131 +TIMESTAMP = 1590409982 +SHA256 (polyml/polyml-polyml-v5.8_GH0.tar.gz) = 6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf +SIZE (polyml/polyml-polyml-v5.8_GH0.tar.gz) = 9817105 Added: head/lang/polyml/files/patch-libpolyml_sighandler.cpp ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/lang/polyml/files/patch-libpolyml_sighandler.cpp Wed Jul 1 13:39:23 2020 (r540963) @@ -0,0 +1,14 @@ +polyexport fails to unwind the stack on aarch64 with pthread signals enabled +ref: https://github.com/polyml/polyml/issues/110 + +--- libpolyml/sighandler.cpp.orig 2020-06-07 19:41:16 UTC ++++ libpolyml/sighandler.cpp +@@ -70,7 +70,7 @@ + #include + #endif + +-#if ((!defined(_WIN32) || defined(__CYGWIN__)) && defined(HAVE_LIBPTHREAD) && defined(HAVE_PTHREAD_H) && defined(HAVE_SEMAPHORE_H)) ++#if ((!defined(_WIN32) || defined(__CYGWIN__)) && defined(HAVE_LIBPTHREAD) && defined(HAVE_PTHREAD_H) && defined(HAVE_SEMAPHORE_H)) && !defined(__aarch64__) + // If we have the pthread library and header and we have semaphores we can use the pthread + // signalling mechanism. But if this is a native Windows build we don't use semaphores or + // pthread even if they're provided. Modified: head/lang/polyml/pkg-plist ============================================================================== --- head/lang/polyml/pkg-plist Wed Jul 1 13:34:19 2020 (r540962) +++ head/lang/polyml/pkg-plist Wed Jul 1 13:39:23 2020 (r540963) @@ -4,8 +4,8 @@ bin/polyimport lib/libpolymain.a lib/libpolyml.a lib/libpolyml.so -lib/libpolyml.so.9 -lib/libpolyml.so.9.0.0 +lib/libpolyml.so.10 +lib/libpolyml.so.10.0.0 libdata/pkgconfig/polyml.pc man/man1/poly.1.gz man/man1/polyc.1.gz