[Bug 247062] lang/polyml: update to 5.8, unbreak on aarch64, add more options

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=247062

            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 at FreeBSD.org
          Reporter: greg at unrelenting.technology
                CC: beyert at cs.ucr.edu
             Flags: maintainer-feedback?(beyert at cs.ucr.edu)
                CC: beyert at cs.ucr.edu

Created attachment 215331
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=215331&action=edit
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)

-- 
You are receiving this mail because:
You are the assignee for the bug.