cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop patch-isar-interface

Michael Scheidell scheidell at FreeBSD.org
Thu Apr 19 22:38:32 UTC 2012


scheidell    2012-04-19 22:38:31 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
    math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc 
                            patch-etc_desktop_proofgeneral.desktop 
                            patch-isar-interface 
  Log:
  - Update to 4.1
  - Fix build on amd64
  - XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs may be used
  - Omit pdf compilation since a newer version of latex then is in ports is needed
  - Use PORTDOCS= macros to simplefy Makefile and pkg-plist
  
  PR:             ports/166867
  Submitted by:   Timothy Beyer <beyert at cs.ucr.edu> (maintainer0
  
  Revision  Changes    Path
  1.28      +27 -32    ports/math/proofgeneral/Makefile
  1.9       +2 -2      ports/math/proofgeneral/distinfo
  1.8       +19 -87    ports/math/proofgeneral/files/patch-Makefile
  1.4       +57 -8     ports/math/proofgeneral/files/patch-doc-Makefile.doc
  1.3       +2 -2      ports/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
  1.2       +6 -6      ports/math/proofgeneral/files/patch-isar-interface
  1.11      +56 -375   ports/math/proofgeneral/pkg-plist


More information about the cvs-ports mailing list