From owner-freebsd-ports-bugs@FreeBSD.ORG Mon Jun 30 00:03:37 2014 Return-Path: Delivered-To: freebsd-ports-bugs@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id C1244C7D for ; Mon, 30 Jun 2014 00:03:37 +0000 (UTC) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2001:1900:2254:206a::16:76]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 90602261D for ; Mon, 30 Jun 2014 00:03:37 +0000 (UTC) Received: from bugs.freebsd.org ([127.0.1.118]) by kenobi.freebsd.org (8.14.8/8.14.8) with ESMTP id s5U03blr059792 for ; Mon, 30 Jun 2014 01:03:37 +0100 (BST) (envelope-from bugzilla-noreply@freebsd.org) From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 191504] New: add STAGE support: math/isabelle Date: Mon, 30 Jun 2014 00:03:37 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports Tree X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: beyert@cs.ucr.edu X-Bugzilla-Status: Needs Triage X-Bugzilla-Priority: Normal X-Bugzilla-Assigned-To: freebsd-ports-bugs@FreeBSD.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform op_sys bug_status bug_severity priority component assigned_to reporter attachments.created Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 30 Jun 2014 00:03:37 -0000 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.