Date: Wed, 1 Jul 2020 13:39:23 +0000 (UTC) From: Li-Wen Hsu <lwhsu@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r540963 - in head/lang/polyml: . files Message-ID: <202007011339.061DdNGE022530@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 <greg@unrelenting.technology> Approved by: Timothy Beyer <beyert@cs.ucr.edu> (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 <semaphore.h> + #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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202007011339.061DdNGE022530>