09:39 antoine 

Cleanup plist

 

16:53 danilo 

- Add stage support
- Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS)
- Uses shebangfix

PR:		ports/191503
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>

 

21:13 amdmi3 

- Don't remove mtree directories

Approved by:	portmgr

 

13:56 amdmi3 

- Remove manual creation and removal of share/applications, as it's now in the
mtree (categories starting with m)

Approved by:	portmgr (bdrewery)

 

18:55 bdrewery 

- Don't delete gnomehier directories

Approved by:	portmgr (implicit)
Pointyhat to:	bdrewery (for breaking poudriere deleted dir detection leading to
the previous commit)

 

12:58 bdrewery 

- Fix packaging by removing unneeded PACKAGE_BUILDING hack
  from r295132 for ports/166867 that the maintainer did
  not actually submit

Approved by:	portmgr
With hat:	portmgr

 

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

01:03 edwin 

[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1

PR:             ports/126066
Submitted by:   Timothy Bourke <timbob@bigpond.com>

12:13 rafan 

- Update to 3.7

PR:             ports/120987
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

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

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)

19:15 anray 

Fix plist and unbroken port.

PR:             ports/105383
Reported by:    pointyhat
Submitted by:   Timothy Bourke (maintainer)

12:03 sem 

- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat

Submitted by:   maintainer
Reported by:    kris mail

18:00 sem 

- Update to 3.6

PR:             ports/94670
Submitted by:   maintainer

02:26 edwin 

Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)

23:34 barner 

Fix plist.

Reported by:    kris via pointhat
Pointy hat to:  me for not being more thorough

10:36 barner 

Add proofgeneral 3.5, a generic interface for proof assistants.

PR:             84788
Submitted by:   Timothy Bourke <timbob@bigpond.com>