Date: Thu, 13 Sep 2007 17:44:18 GMT From: Jordan Gordeev <jgordeev@dir.bg> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/116333: math/isabelle fails to build with SML/NJ; requires bash Message-ID: <200709131744.l8DHiIiU084084@www.freebsd.org> Resent-Message-ID: <200709131750.l8DHo1EF010351@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 116333 >Category: ports >Synopsis: math/isabelle fails to build with SML/NJ; requires bash >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: sw-bug >Submitter-Id: current-users >Arrival-Date: Thu Sep 13 17:50:01 GMT 2007 >Closed-Date: >Last-Modified: >Originator: Jordan Gordeev >Release: >Organization: >Environment: >Description: math/isabelle fails to build with SML/NJ because the file Isabelle2005/lib/scripts/run-smlnj is not patched to not require bash >How-To-Repeat: >Fix: >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200709131744.l8DHiIiU084084>