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

[Timothy Bourke]

The following reply was made to PR ports/116333; it has been noted by GNATS.

From: Timothy Bourke <timbob at bigpond.com>
To: bug-followup at FreeBSD.org, jgordeev at dir.bg
Cc:  
Subject: Re: ports/116333: math/isabelle fails to build with SML/NJ; requires bash
Date: Fri, 14 Sep 2007 18:32:34 +1000

 --PmA2V3Z32TCmWXqI
 Content-Type: multipart/mixed; boundary="ZGiS0Q5IWpPtfppv"
 Content-Disposition: inline
 
 
 --ZGiS0Q5IWpPtfppv
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 Thanks for the bug report. Patch attached with my apologies.
 
 
 --ZGiS0Q5IWpPtfppv
 Content-Type: text/x-diff; charset=us-ascii
 Content-Disposition: attachment; filename="isabelle.diff"
 Content-Transfer-Encoding: quoted-printable
 
 Index: files/patch-lib-scripts-configure
 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
 RCS file: files/patch-lib-scripts-configure
 diff -N files/patch-lib-scripts-configure
 --- /dev/null	1 Jan 1970 00:00:00 -0000
 +++ files/patch-lib-scripts-configure	14 Sep 2007 08:33:15 -0000
 @@ -0,0 +1,15 @@
 +--- lib/scripts/configure.orig	Fri Sep 14 18:00:10 2007
 ++++ lib/scripts/configure	Fri Sep 14 18:00:21 2007
 +@@ -8,11 +8,5 @@
 + ## patch scripts
 +=20
 + cd "`dirname "$0"`"
 ++exec sh lib/scripts/patch-scripts.bash
 +=20
 +-if bash -c :
 +-then
 +-  bash lib/scripts/patch-scripts.bash
 +-else
 +-  echo "FATAL ERROR: bash not found!"
 +-  exit 2
 +-fi
 Index: files/patch-lib-scripts-run_smlnj
 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
 RCS file: /home/ncvs/ports/math/isabelle/files/patch-lib-scripts-run_smlnj,v
 retrieving revision 1.1
 diff -u -r1.1 patch-lib-scripts-run_smlnj
 --- files/patch-lib-scripts-run_smlnj	10 Sep 2007 12:11:09 -0000	1.1
 +++ files/patch-lib-scripts-run_smlnj	14 Sep 2007 08:33:15 -0000
 @@ -1,6 +1,11 @@
  --- lib/scripts/run-smlnj.orig	Mon Jun 21 18:25:58 2004
 -+++ lib/scripts/run-smlnj	Sun Sep  2 20:02:25 2007
 -@@ -5,18 +5,16 @@
 ++++ lib/scripts/run-smlnj	Fri Sep 14 18:01:25 2007
 +@@ -1,22 +1,20 @@
 +-#!/usr/bin/env bash
 ++#!/bin/sh
 + #
 + # $Id: run-smlnj,v 1.28 2004/06/21 08:25:58 kleing Exp $
 + # Author: Markus Wenzel, TU Muenchen
   #
   # SML/NJ startup script (for 110 or later).
  =20
 
 --ZGiS0Q5IWpPtfppv--
 
 --PmA2V3Z32TCmWXqI
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.4 (FreeBSD)
 
 iD8DBQFG6kcitKVK1sFb0ecRAtTTAJ9olzrfdxTHcmZu7MFPY3FSzxTSqwCeIHoh
 Ef64icAtJZc6J4h5P8jAx/g=
 =LL7g
 -----END PGP SIGNATURE-----
 
 --PmA2V3Z32TCmWXqI--