Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 19 Apr 2012 22:38:31 +0000 (UTC)
From:      Michael Scheidell <scheidell@FreeBSD.org>
To:        ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   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
Message-ID:  <201204192238.q3JMcVJg071976@repoman.freebsd.org>

next in thread | raw e-mail | index | archive | help
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@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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201204192238.q3JMcVJg071976>