Date: Sun, 07 Jun 2020 19:45:36 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 247062] lang/polyml: update to 5.8, unbreak on aarch64, add more options Message-ID: <bug-247062-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D247062 Bug ID: 247062 Summary: lang/polyml: update to 5.8, unbreak on aarch64, add more options Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: ports-bugs@FreeBSD.org Reporter: greg@unrelenting.technology CC: beyert@cs.ucr.edu Flags: maintainer-feedback?(beyert@cs.ucr.edu) CC: beyert@cs.ucr.edu Created attachment 215331 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D215331&action= =3Dedit polyml.patch - New release - Build on aarch64 (disabling pthread signals prevents the build crash) - Add libgmp option, enabled by default - Add --enable-intinf-as-int option, enabled by default (required for the Isabelle/HOL theorem prover, at least) --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-247062-7788>