Page Menu
Home
FreeBSD
Search
Configure Global Search
Log In
Files
F131706822
D28529.diff
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Flag For Later
Award Token
Size
4 KB
Referenced Files
None
Subscribers
None
D28529.diff
View Options
Index: head/lang/polyml/Makefile
===================================================================
--- head/lang/polyml/Makefile
+++ head/lang/polyml/Makefile
@@ -2,9 +2,8 @@
# $FreeBSD$
PORTNAME= polyml
-PORTVERSION= 5.8
+PORTVERSION= 5.8.1
DISTVERSIONPREFIX= v
-PORTREVISION= 1
CATEGORIES= lang
DIST_SUBDIR= ${PORTNAME}
@@ -18,26 +17,25 @@
LIB_DEPENDS= libffi.so:devel/libffi
USES= libtool localbase pathfix pkgconfig
-
USE_GITHUB= yes
+USE_LDCONFIG= yes
GNU_CONFIGURE= yes
CONFIGURE_ARGS= --with-system-libffi --enable-shared
-USE_LDCONFIG= yes
INSTALL_TARGET= install-strip
OPTIONS_DEFINE= MOTIF GMP INTINF_AS_INT
OPTIONS_DEFAULT=GMP INTINF_AS_INT
-MOTIF_CONFIGURE_WITH= x
-MOTIF_USE= motif
+INTINF_AS_INT_DESC= Use IntInf.int as int type
-GMP_CONFIGURE_WITH= gmp
GMP_LIB_DEPENDS= libgmp.so:math/gmp
-
-INTINF_AS_INT_DESC= Use IntInf.int as int type
+GMP_CONFIGURE_WITH= gmp
INTINF_AS_INT_CONFIGURE_ENABLE= intinf-as-int
+MOTIF_USES= motif xorg
+MOTIF_USE= xorg=x11,xext,xt
+MOTIF_CONFIGURE_WITH= x
post-patch:
@${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure
Index: head/lang/polyml/distinfo
===================================================================
--- head/lang/polyml/distinfo
+++ head/lang/polyml/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1590409982
-SHA256 (polyml/polyml-polyml-v5.8_GH0.tar.gz) = 6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf
-SIZE (polyml/polyml-polyml-v5.8_GH0.tar.gz) = 9817105
+TIMESTAMP = 1612530407
+SHA256 (polyml/polyml-polyml-v5.8.1_GH0.tar.gz) = fa0507b44470b4e07a061ef6a8896efe42710d8436e15721d743572ad2f7753b
+SIZE (polyml/polyml-polyml-v5.8.1_GH0.tar.gz) = 9845209
Index: head/lang/polyml/files/patch-libpolyml_polyffi.cpp
===================================================================
--- head/lang/polyml/files/patch-libpolyml_polyffi.cpp
+++ head/lang/polyml/files/patch-libpolyml_polyffi.cpp
@@ -1,14 +0,0 @@
---- libpolyml/polyffi.cpp.orig 2017-11-18 13:45:15 UTC
-+++ libpolyml/polyffi.cpp
-@@ -108,9 +108,10 @@ static struct _abiTable { const char *abiName; ffi_abi
- {"ms_cdecl", FFI_MS_CDECL},
- #elif defined(X86_WIN64)
- {"win64", FFI_WIN64},
-+#elif defined(X86_64) || (defined (__x86_64__) && defined (X86_DARWIN))
-+ {"unix64", FFI_UNIX64},
- #elif defined(X86_ANY)
- {"sysv", FFI_SYSV},
-- {"unix64", FFI_UNIX64},
- #endif
- { "default", FFI_DEFAULT_ABI}
- };
Index: head/lang/polyml/files/patch-libpolyml_sighandler.cpp
===================================================================
--- head/lang/polyml/files/patch-libpolyml_sighandler.cpp
+++ head/lang/polyml/files/patch-libpolyml_sighandler.cpp
@@ -1,14 +0,0 @@
-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.
Index: head/lang/polyml/files/patch-libpolyml_xwindows.cpp
===================================================================
--- head/lang/polyml/files/patch-libpolyml_xwindows.cpp
+++ head/lang/polyml/files/patch-libpolyml_xwindows.cpp
@@ -0,0 +1,11 @@
+--- libpolyml/xwindows.cpp.orig 2020-07-17 08:44:22 UTC
++++ libpolyml/xwindows.cpp
+@@ -7302,7 +7302,7 @@ static void DebugPrintWord(PolyWord P /* was X_Object
+ : printf("Old Display <%p>",P.AsAddress()));
+ return;
+
+- default: printf("Pointer "ZERO_X"%p",P.AsAddress());
++ default: printf("Pointer 'ZERO_X' %p", P.AsAddress());
+ return;
+ }
+ }
Index: head/lang/polyml/pkg-descr
===================================================================
--- head/lang/polyml/pkg-descr
+++ head/lang/polyml/pkg-descr
@@ -2,4 +2,4 @@
open-source. It includes a symbolic debugger which allows breakpoints
to be set and local variables to be viewed as ML values.
-WWW: http://www.polyml.org
+WWW: https://www.polyml.org
Index: head/lang/polyml/pkg-plist
===================================================================
--- head/lang/polyml/pkg-plist
+++ head/lang/polyml/pkg-plist
@@ -4,8 +4,8 @@
lib/libpolymain.a
lib/libpolyml.a
lib/libpolyml.so
-lib/libpolyml.so.10
-lib/libpolyml.so.10.0.0
+lib/libpolyml.so.11
+lib/libpolyml.so.11.0.0
libdata/pkgconfig/polyml.pc
man/man1/poly.1.gz
man/man1/polyc.1.gz
File Metadata
Details
Attached
Mime Type
text/plain
Expires
Sat, Oct 11, 12:36 PM (20 h, 2 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
23577165
Default Alt Text
D28529.diff (4 KB)
Attached To
Mode
D28529: lang/polyml: Update to 5.8.1
Attached
Detach File
Event Timeline
Log In to Comment