ports/142064: add option to port: math/isabelle (turn on/off Emacs packages)

Timothy Bourke timbob at bigpond.com
Thu Dec 31 09:20:07 UTC 2009


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

From: Timothy Bourke <timbob at bigpond.com>
To: bug-followup at 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 at 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--



More information about the freebsd-ports-bugs mailing list