Date: Sun, 2 Mar 2008 09:20:01 GMT From: Timothy Bourke <timbob@bigpond.com> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/116333: math/isabelle fails to build with SML/NJ; requires bash Message-ID: <200803020920.m229K1EI090502@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/116333; it has been noted by GNATS. From: Timothy Bourke <timbob@bigpond.com> To: bug-followup@FreeBSD.org Cc: Subject: Re: ports/116333: math/isabelle fails to build with SML/NJ; requires bash Date: Sun, 2 Mar 2008 17:34:11 +1100 --IS0zKkzwUGydFO0o Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Please close this PR. A patch for the problem has been posted for sometime. Additionally, an update to math/isabelle has been submitted in ports/121000. Tim. --IS0zKkzwUGydFO0o Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.4 (FreeBSD) iD8DBQFHykpjtKVK1sFb0ecRAgdfAJ9noozBQTPucVTqbsMCg/mnXl3jHQCeJppC K+qiAPDYIvM/AGdglM0+xfE= =My7P -----END PGP SIGNATURE----- --IS0zKkzwUGydFO0o--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200803020920.m229K1EI090502>