Date: Sat, 26 Dec 2009 20:29:57 -0800 From: Timothy Beyer <beyert@cs.ucr.edu> To: FreeBSD-gnats-submit@FreeBSD.org Cc: Timothy Beyer <beyert@cs.ucr.edu> Subject: ports/142064: add option to port: math/isabelle (turn on/off Emacs packages) Message-ID: <87pr61m43e.wl%beyert@cs.ucr.edu> Resent-Message-ID: <200912270430.nBR4U2bC024884@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?87pr61m43e.wl%beyert>