Date: Thu, 15 Sep 2005 00:47:17 +0000 (UTC) From: Simon Barner <barner@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/proofgeneral Makefile ports/math/proofgeneral/files patch-isa_isabelle-system.el Message-ID: <200509150047.j8F0lH1T017138@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
barner 2005-09-15 00:47:17 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile
Added files:
math/proofgeneral/files patch-isa_isabelle-system.el
Log:
Fix build:
- Use any installed version of [x]emacs
- If there's no emacs at all, fall back to xemacs21-mule
- files/patch-isa_isabelle-system.el: Avoid interactive prompt if building
with GNU emacs.
Submitted by: barner, maintainer (partly)
Approved by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by: kris via pointyhat
Revision Changes Path
1.2 +22 -7 ports/math/proofgeneral/Makefile
1.1 +13 -0 ports/math/proofgeneral/files/patch-isa_isabelle-system.el (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200509150047.j8F0lH1T017138>