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

Simon Barner barner at
Wed Sep 14 17:47:17 PDT 2005

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

More information about the cvs-all mailing list