notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

non port: math/proofgeneral/Makefile

Number of commits found: 57

Saturday, 4 Apr 2020
20:51 antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
Original commitRevision:530719 
Tuesday, 7 Jan 2020
04:55 jrm search for other commits by this committer
editors/emacs-devel: Update to latest master branch commit, 4f2b415

This update includes an Emacs major version change from 27.0.50 to 28.0.50.
Ports that may depend on editors/emacs-devel must chase this update
with a PORTREVISION bump.

Submitted by:	ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D23012
Original commitRevision:522315 
Friday, 8 Nov 2019
14:11 tobik search for other commits by this committer
math: Add missing USES={gl,gnome,php,sdl,xorg}
Original commitRevision:517068 
Wednesday, 6 Nov 2019
14:00 antoine search for other commits by this committer
Mark a few ports BROKEN (unfetchable)
Original commitRevision:516887 
Saturday, 10 Nov 2018
18:12 bapt search for other commits by this committer
Install texinfo files (GNU info) into ${PREFIX}/share/info

After a discussion on the mailing list on moving manpages to
${PREFIX}/share/man for consistency with base where it is
installed in usr/share/man, it appeared the same should happen
to GNU info files which were installed under share in base and
not in ports.

Now texinfo is not in base on any of the supported version of FreeBSD
it is possible to proceed to this move and it is easier to do than
the manpage change.

Other benefit than consistency are less patching: all build tools but
cmake are expecting info files to be under share/info and cmake (patched here)
was having an exception for BSD so the patch makes FreeBSD case less
specific for them

Bump revision of all impacted ports

PR:		232907
exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D17816
Original commitRevision:484628 
Thursday, 31 May 2018
01:18 jrm search for other commits by this committer
USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade

Or, mark ports that fail to build as BROKEN.
https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
Original commitRevision:471191 
Thursday, 1 Feb 2018
18:03 jrm search for other commits by this committer
Flavorize and modernize Emacs ports

- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
  editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
  subshell
- Silence some portlint warnings

[1] By not depending on base texinfo

PR:		225404
Reviewed by:	antoine
Approved by:	portmgr (mat) ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13506
Original commitRevision:460621 
Tuesday, 12 Sep 2017
15:38 ashish search for other commits by this committer
Chase Emacs update
Original commitRevision:449697 
Friday, 1 Apr 2016
14:16 mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Original commitRevision:412348 
Friday, 4 Sep 2015
14:26 amdmi3 search for other commits by this committer
- Add NO_ARCH
- Don't install empty docdirs

Approved by:	portmgr blanket
Original commitRevision:396096 
Wednesday, 27 May 2015
00:15 amdmi3 search for other commits by this committer
- Don't cat pkg-message from Makefiles

Approved by:	portmgr blanket
Original commitRevision:387529 
Monday, 27 Apr 2015
10:29 ashish search for other commits by this committer
- Chase GNU Emacs updates

PR:		199553
Original commitRevision:384819 
Wednesday, 5 Nov 2014
13:19 ashish search for other commits by this committer
- Chase GNU Emacs updates

PR:		194624
Original commitRevision:372191 
Thursday, 18 Sep 2014
12:31 mat search for other commits by this committer
Retire MANCOMPRESSED.

Also the compat NO_INSTALL_MANPAGES shim.

Differential Revision:	https://reviews.freebsd.org/D730
Reviewed by:	antoine
With hat:	portmgr
Sponsored by:	Absolight
Original commitRevision:368446 
Tuesday, 29 Jul 2014
19:11 adamw search for other commits by this committer
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...

Approved by:	portmgr (not really, but touches unstaged ports)
Original commitRevision:363374 
Wednesday, 16 Jul 2014
16:53 danilo search for other commits by this committer
- Add stage support
- Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS)
- Uses shebangfix

PR:		ports/191503
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>
Original commitRevision:362086 
Monday, 7 Jul 2014
15:31 olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.

CR:		D306
Approved by:	portmgr (bapt)
Original commitRevision:361099 
Wednesday, 25 Jun 2014
05:35 bapt search for other commits by this committer
Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends

With hat:	portmgr
Original commitRevision:359185 
Tuesday, 22 Oct 2013
13:56 amdmi3 search for other commits by this committer
- Remove manual creation and removal of share/applications, as it's now in the
mtree (categories starting with m)

Approved by:	portmgr (bdrewery)
Original commitRevision:331270 
Friday, 20 Sep 2013
20:55 bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Original commitRevision:327746 
Monday, 16 Sep 2013
16:32 bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
Original commitRevision:327411 
Monday, 15 Apr 2013
18:55 bdrewery search for other commits by this committer
- Don't delete gnomehier directories

Approved by:	portmgr (implicit)
Pointyhat to:	bdrewery (for breaking poudriere deleted dir detection leading to
the previous commit)
Original commitRevision:315806 
Sunday, 31 Mar 2013
12:58 bdrewery search for other commits by this committer
- 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
Original commitRevision:315633 
Saturday, 30 Mar 2013
05:13 ashish search for other commits by this committer
GNU Emacs updates

editors/emacs:
 - Update to 24.3
 - Update CANNA patchset[1]
 - Unbreak ARM support by using the patch from emacs-devel port
 - Add missing INSTALLS_ICONS[2]
 - Remove a patch which is already integrated upstream
 - Fix Makefile header

editors/emacs-devel:
 - Update to bzr revision 112178
 - Fix Makefile header
 - Add missing INSTALLS_ICONS[2]

editors/emacs23:
 - Remove ABI versions from LIB_DEPENDS
 - Fix Makefile header
 - Add missing INSTALLS_ICONS[2]

Mk/bsd.emacs.mk:
 - Update major version for editors/emacs port

*:
 - Bump PORTREVISION to chase Emacs updates

PR:		ports/177428[2]
Submitted by:	Yuji TAKANO[1] (via private email), bdrewery[2]
Original commitRevision:315598 
Tuesday, 4 Sep 2012
17:05 ashish search for other commits by this committer
Chase Emacs updates
Original commitRevision:303664 
Wednesday, 1 Aug 2012
16:50 ashish search for other commits by this committer
- Bump PORTREVISION to chase Emacs port updates
- Unbreak INDEX caused by databases/lsdb, editors/flim, and editors/semi
Original commit
Thursday, 12 Jul 2012
14:05 ak search for other commits by this committer
- Fix build with new texi2html
- Ignore attempts to compile with XEmacs, it is not supported by the
ProofGeneral developers.

PR:     ports/169774
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
Original commit
Wednesday, 27 Jun 2012
19:30 pav search for other commits by this committer
- Mark BROKEN: does not build
  texi2html -expandinfo -number -split_chapter --noheader --output PG-adapting
PG-adapting.texi
  Option number is ambiguous (number-footnotes, number-sections)

Reported by:    pointyhat
Original commit
Friday, 1 Jun 2012
05:26 dinoex search for other commits by this committer
- update png to 1.5.10
Original commit
Thursday, 19 Apr 2012
22:38 scheidell search for other commits by this committer
- 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
Original commit
Saturday, 18 Jun 2011
16:13 hrs search for other commits by this committer
- Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.
- Use print/teTeX-base for latex instead of print/teTeX.
- Use share/texmf for TeX-related files instead of share/texmf-local.
Original commit
Monday, 2 May 2011
12:44 makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
Original commit
Sunday, 28 Mar 2010
06:47 dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
Original commit
Friday, 26 Feb 2010
09:30 miwi search for other commits by this committer
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)

PR:             143994 143995 143996
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe:   yes
Original commit
Friday, 5 Feb 2010
11:46 dinoex search for other commits by this committer
- update to jpeg-8
Original commit
Friday, 31 Jul 2009
13:57 dinoex search for other commits by this committer
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
Original commit
Friday, 15 Aug 2008
01:03 edwin search for other commits by this committer
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1

PR:             ports/126066
Submitted by:   Timothy Bourke <timbob@bigpond.com>
Original commit
Friday, 6 Jun 2008
13:44 edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
Original commit
Friday, 4 Apr 2008
12:13 rafan search for other commits by this committer
- Update to 3.7

PR:             ports/120987
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
Original commit
Saturday, 27 Oct 2007
19:44 mezz search for other commits by this committer
Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..
A typo of PREFIX, fix it and should fix the *.desktop installation. Bump the
PORTREVISION.

Reported by:    pointyhat
Approved by:    Related with our (FreeBSD GNOME Team) big change
Original commit
Thursday, 25 Oct 2007
17:44 mezz search for other commits by this committer
Fix the *.desktop installation, bump the PORTREVISION.

Reported by:    pointyhat-exp
Approved by:    Related with our (FreeBSD GNOME Team) big change
Original commit
Wednesday, 24 Oct 2007
23:37 marcus search for other commits by this committer
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
Original commit
Saturday, 19 May 2007
20:32 flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Original commit
Sunday, 1 Apr 2007
21:08 kris search for other commits by this committer
Now appears to build on amd64
Original commit
Monday, 5 Mar 2007
19:38 anray search for other commits by this committer
Fix deinstall and unbroke port.

PR:             ports/109930
Submitted by:   Timothy Bourke (maintainer)
Original commit
Tuesday, 27 Feb 2007
04:54 kris search for other commits by this committer
BROKEN: Incomplete pkg-plist
Original commit
Tuesday, 6 Feb 2007
22:55 anray search for other commits by this committer
* 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)
Original commit
Saturday, 9 Dec 2006
19:57 kris search for other commits by this committer
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
to work on this long-standing problem.
Original commit
Thursday, 30 Nov 2006
23:39 kris search for other commits by this committer
BROKEN: incomplete pkg-plist
Original commit
Saturday, 11 Nov 2006
19:15 anray search for other commits by this committer
Fix plist and unbroken port.

PR:             ports/105383
Reported by:    pointyhat
Submitted by:   Timothy Bourke (maintainer)
Original commit
Sunday, 15 Oct 2006
20:06 kris search for other commits by this committer
BROKEN: Incorrect pkg-plist

Approved by:    portmgr (self)
Original commit
Wednesday, 10 May 2006
22:37 edwin search for other commits by this committer
Remove USE_REINPLACE from ports starting with M
Original commit
Saturday, 6 May 2006
08:44 sem search for other commits by this committer
- Add USE_EMACS=yes. It should present in all emacsen ports.
  (This commit prevents the ports breakage after more strict condition
  will applied in bsd.port.mk and makes no functional changes)

PR:             ports/95238
Submitted by:   nobutaka
Original commit
Monday, 1 May 2006
18:00 sem search for other commits by this committer
- Update to 3.6

PR:             ports/94670
Submitted by:   maintainer
Original commit
Friday, 28 Oct 2005
06:34 kris search for other commits by this committer
BROKEN on amd64: Does not build
Original commit
Thursday, 15 Sep 2005
00:47 barner search for other commits by this committer
Fix build:
 - Use any installed version of [x]emacs
 - If there's no emacs at all, fall back to xemacs21-mule
 - files/patch-isa_isabelle-system.el: Avoid interactive prompt if building
   with GNU emacs.

Submitted by:   barner, maintainer (partly)
Approved by:    Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by:    kris via pointyhat
Original commit
Wednesday, 31 Aug 2005
10:36 barner search for other commits by this committer
Add proofgeneral 3.5, a generic interface for proof assistants.

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

Number of commits found: 57