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 <bey...@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
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscr...@freebsd.org"
