Date: Mon, 30 Jun 2014 00:03:37 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 191504] New: add STAGE support: math/isabelle Message-ID: <bug-191504-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
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@FreeBSD.org Reporter: beyert@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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-191504-13>