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

[Timothy Beyer]

>Number:         142064
>Category:       ports
>Synopsis:       add option to port: math/isabelle (turn on/off Emacs packages)
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Sun Dec 27 04:30:01 UTC 2009
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Beyer
>Release:        FreeBSD 7.2-RELEASE i386
>Organization:
no organization
>Environment:
 System: FreeBSD aeonserv.aeonnet 7.2-RELEASE FreeBSD 7.2-RELEASE #0: Sat Sep 26 03:12:25 PDT 2009 beyert at aeonserv.aeonnet:/usr/src/sys/i386/compile/CUSTOM i386
>Description:

This patch adds the option EMACS_PKG, (default: yes) which determines if these
ports will be installed, (or not) when Isabelle is installed.

My rationale is as follows:

In my XEmacs configuration, I use locally installed lisp packages, with custom
patches that would not be relevant to anyone else, so I don't want any generic
packages installed by ports.  Similarly, I use a locally installed proof
general, since it is just Emacs Lisp.

>How-To-Repeat:
    -Apply the patch and build

>Fix:
    The included diff:

--- Makefile.diff begins here ---
--- Makefile.orig	2009-10-30 03:34:35.000000000 -0700
+++ Makefile	2009-12-26 20:18:00.000000000 -0800
@@ -30,13 +30,21 @@
 OPTIONS+=	HOL_WORD     "Build optional heap: HOL-Word"              off
 OPTIONS+=	HOL_TLA      "Build optional heap: TLA"                   off
 OPTIONS+=	HOL_HOL4     "Build optional heap: HOL4"                  off
+OPTIONS+=	EMACS_PKG    "Build with [X]Emacs Packages"               on
 
 USE_PERL5=	yes
-USE_EMACS=	yes # for EMACS_SITE_LISPDIR
-EMACS_NO_BUILD_DEPENDS=yes
-EMACS_NO_RUN_DEPENDS=yes
+
+.if defined(WITH_EMACS_PKG)
+	USE_EMACS=	yes # for EMACS_SITE_LISPDIR
+	EMACS_NO_BUILD_DEPENDS=	yes
+	EMACS_NO_RUN_DEPENDS=	yes
+.else
+.endif
 BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
-RUN_DEPENDS+=	proofgeneral:${PORTSDIR}/math/proofgeneral
+.if defined(WITH_EMACS_PKG)
+	RUN_DEPENDS+=	proofgeneral:${PORTSDIR}/math/proofgeneral
+.else
+.endif
 RUN_DEPENDS+=	bash:${PORTSDIR}/shells/bash
 
 DOCFILES=	Contents *.pdf *.eps *.ps *.dvi
--- Makefile.diff ends here ---

>Release-Note:
>Audit-Trail:
>Unformatted: