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