non port: math/proofgeneral/files/patch-Makefile |
Number of commits found: 8 |
Thursday, 19 Apr 2012
|
22:38 scheidell
- 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
|
Friday, 15 Aug 2008
|
01:03 edwin
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
PR: ports/126066
Submitted by: Timothy Bourke <timbob@bigpond.com>
|
Friday, 4 Apr 2008
|
12:13 rafan
- Update to 3.7
PR: ports/120987
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
|
Wednesday, 24 Oct 2007
|
23:37 marcus
Presenting GNOME 2.20.1 and all related works for FreeBSD. The official
GNOME 2.20 release notes can be found at
http://www.gnome.org/start/2.20/notes/en/ . Beyond that, this update
includes the new GIMP 2.4 (courtesy of ahze).
The GNOME 2.20 update also includes a huge change in the FreeBSD GNOME
hierarchy. We are now using the more standard DATADIR of ${PREFIX}/share
rather than ${PREFIX}/share/gnome. The result is that fewer patches and
hacks are needed to port GNOME components to FreeBSD. This will mean some
user changes may be required, so be sure to read /usr/ports/UPDATING for
more details.
This release and the things we accomplished in it would not have been
possible without mezz's crazy idea to collapse DATADIR, and his persistence
to make it happen successfully. Ahze and pav also deserve thanks for
their work on porting modules and testing the whole ball of wax on
pointyhat (respectively).
The FreeBSD GNOME team would also like to thank our various testers and
contributors:
Yasuda Keisuke
Frank Jahnke
Pawel Worach
Brian Gruber
Franz Klammer
Yuri Pankov
Nick Barkas
Cristian KLEIN
Tony Maher
Scot Hetzel
Martin Matuska (mm)
Benoit Dejean
Martin Wilke (miwi)
(And anyone else I may have missed)
PRs fixed in this release:
111272, 113470, 115995, 116338
|
Monday, 5 Mar 2007
|
19:38 anray
Fix deinstall and unbroke port.
PR: ports/109930
Submitted by: Timothy Bourke (maintainer)
|
Tuesday, 6 Feb 2007
|
22:55 anray
* Remove the direct inclusion of bsd.emacs.mk
* Use the misc/gnomehier and misc/hicolor-icon/theme ports
* Use the latest proofgeneral prerelease
PR: ports/107414
Submitted by: Timothy Bourke(maintainer)
|
Monday, 1 May 2006
|
18:00 sem
- Update to 3.6
PR: ports/94670
Submitted by: maintainer
|
Wednesday, 31 Aug 2005
|
10:36 barner
Add proofgeneral 3.5, a generic interface for proof assistants.
PR: 84788
Submitted by: Timothy Bourke <timbob@bigpond.com>
|
Number of commits found: 8 |