cvs commit: ports/math/proofgeneral Makefile ports/math/proofgeneral/files patch-isa_isabelle-system.el

[Simon Barner]

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 at 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)