From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Dec 31 09:20:07 2009 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 3101C1065694 for ; Thu, 31 Dec 2009 09:20:07 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:4f8:fff6::28]) by mx1.freebsd.org (Postfix) with ESMTP id 04C008FC19 for ; Thu, 31 Dec 2009 09:20:07 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.3/8.14.3) with ESMTP id nBV9K6xY055563 for ; Thu, 31 Dec 2009 09:20:06 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.3/8.14.3/Submit) id nBV9K65Q055562; Thu, 31 Dec 2009 09:20:06 GMT (envelope-from gnats) Date: Thu, 31 Dec 2009 09:20:06 GMT Message-Id: <200912310920.nBV9K65Q055562@freefall.freebsd.org> To: freebsd-ports-bugs@FreeBSD.org From: Timothy Bourke Cc: Subject: Re: ports/142064: add option to port: math/isabelle (turn on/off Emacs packages) X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Timothy Bourke List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 31 Dec 2009 09:20:07 -0000 The following reply was made to PR ports/142064; it has been noted by GNATS. From: Timothy Bourke 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--