[Bug 191504] New: add STAGE support: math/isabelle

[bugzilla-noreply at freebsd.org]

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

            Bug ID: 191504
           Summary: add STAGE support: math/isabelle
           Product: Ports Tree
           Version: Latest
          Hardware: Any
                OS: Any
            Status: Needs Triage
          Severity: Affects Only Me
          Priority: Normal
         Component: Individual Port(s)
          Assignee: freebsd-ports-bugs at FreeBSD.org
          Reporter: beyert at cs.ucr.edu

Created attachment 144282
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=144282&action=edit
isabelle.diff

- Add STAGE support

- Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS)

- Use MAKE_JOBS_UNSAFE

NOTE: This patch is untested, since SML/NJ is currently broken.  The port has a
number of other issues that make it hard to maintain, which are detailed as
follows:

  1) The port takes an extremely long time to compile, and doesn't give output
  to the console, which makes build servers think the build is failing

  2) The author of the program strongly dislikes third-party packages or ports,
  he only wants users building from source

  3) The author no longer supports SML/NJ, which means that the PolyML support
  will need to be fixed again

For the reasons noted above, it might not be worth keeping this port in the
ports tree (maybe just make a third party port for adventurous users), although
if the PolyML support is not too hard to fix, it might be less tedious to
maintain in the future.

It might be easier to just switch to the 2013 version outright, rather than
attempt to resolve issues on the legacy 2009 release.

How-To-Repeat:
Apply patch and build port

Fix:
The included patch

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