ports/116333: math/isabelle fails to build with SML/NJ; requires bash

[Jordan Gordeev]

>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: