Date: Thu, 31 Dec 2009 09:20:06 GMT From: Timothy Bourke <timbob@bigpond.com> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/142064: add option to port: math/isabelle (turn on/off Emacs packages) Message-ID: <200912310920.nBV9K65Q055562@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/142064; it has been noted by GNATS. From: Timothy Bourke <timbob@bigpond.com> To: bug-followup@FreeBSD.org Cc: Subject: Re: ports/142064: add option to port: math/isabelle (turn on/off Emacs packages) Date: Thu, 31 Dec 2009 09:42:15 +0100 --aZoGpuMECXJckB41 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Thank you for taking the time to submit this patch, but I prefer not to accept it at this time. Previous versions of the Isabelle port were more complicated. They included, for instance, support for XEmacs, whose use is now discouraged by the upstream developers, and for installation without Bash, whose features are increasingly used in the upstream distribution. In the last release, however, I purposely simplified the port to make it easier to update and to test (especially since the build times can be long--especially for SML/NJ). I would prefer for the port to remain simple with settings suitable for most users, even if that means that they are less ideal for some. I would suggest that you patch the port locally to meet your particular needs. Tim. On Dec 27 at 04:30 +0000, Edwin Groothuis wrote: > Maintainer of math/isabelle, >=20 > Please note that PR ports/142064 has just been submitted. >=20 > If it contains a patch for an upgrade, an enhancement or a bug fix > you agree on, reply to this email stating that you approve the patch > and a committer will take care of it. >=20 > The full text of the PR can be found at: > http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/142064 >=20 > --=20 > Edwin Groothuis via the GNATS Auto Assign Tool > edwin@FreeBSD.org --aZoGpuMECXJckB41 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAks8Y+cACgkQtKVK1sFb0ef9wQCfRL8NhypJ2SSePFnxOIzv4vey 7Q0AnjelLdrKNGE0n1ChB5wnNQQWC3LT =IkUQ -----END PGP SIGNATURE----- --aZoGpuMECXJckB41--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200912310920.nBV9K65Q055562>