Summary: | lang/polyml: update to 5.8, unbreak on aarch64, add more options | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Val Packett <val> | ||||
Component: | Individual Port(s) | Assignee: | Li-Wen Hsu <lwhsu> | ||||
Status: | Closed FIXED | ||||||
Severity: | Affects Only Me | CC: | beyert, lwhsu | ||||
Priority: | --- | Keywords: | buildisok | ||||
Version: | Latest | Flags: | lwhsu:
maintainer-feedback+
|
||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Attachments: |
|
Build info is available at https://gitlab.com/swills/freebsd-ports/pipelines/153759820 approved, sorry about the delay A commit references this bug: Author: lwhsu Date: Wed Jul 1 13:39:24 UTC 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) Changes: head/lang/polyml/Makefile head/lang/polyml/distinfo head/lang/polyml/files/ head/lang/polyml/files/patch-libpolyml_sighandler.cpp head/lang/polyml/pkg-plist |
Created attachment 215331 [details] 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)