| non port: math/proofgeneral/Makefile |
|
SVNWeb
|
Number of commits found: 57 |
|
Sat, 4 Apr 2020
|
[ 20:51 antoine  ]   (Only the first 10 of 520 ports in this commit are shown above.  )
Deprecate ports broken for more than 6 months
|
|
Tue, 7 Jan 2020
|
[ 04:55 jrm ] (Only the first 10 of 81 ports in this commit are shown above. )
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
|
|
Fri, 8 Nov 2019
|
[ 14:11 tobik ] (Only the first 10 of 17 ports in this commit are shown above. )
math: Add missing USES={gl,gnome,php,sdl,xorg}
|
|
Wed, 6 Nov 2019
|
[ 14:00 antoine ] (Only the first 10 of 184 ports in this commit are shown above. )
Mark a few ports BROKEN (unfetchable)
|
|
Sat, 10 Nov 2018
|
[ 18:12 bapt ] (Only the first 10 of 386 ports in this commit are shown above. )
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
|
|
Thu, 31 May 2018
|
[ 01:18 jrm ] (Only the first 10 of 86 ports in this commit are shown above. )
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
|
|
Thu, 1 Feb 2018
|
[ 18:03 jrm ] (Only the first 10 of 143 ports in this commit are shown above. )
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
|
|
Tue, 12 Sep 2017
|
[ 15:38 ashish ] (Only the first 10 of 78 ports in this commit are shown above. )
Chase Emacs update
|
|
Fri, 1 Apr 2016
|
[ 14:16 mat ] (Only the first 10 of 2612 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
|
Fri, 4 Sep 2015
|
[ 14:26 amdmi3 ]
- Add NO_ARCH
- Don't install empty docdirs
Approved by: portmgr blanket
|
|
Wed, 27 May 2015
|
[ 00:15 amdmi3 ] (Only the first 10 of 26 ports in this commit are shown above. )
- Don't cat pkg-message from Makefiles
Approved by: portmgr blanket
|
|
Mon, 27 Apr 2015
|
[ 10:29 ashish ] (Only the first 10 of 69 ports in this commit are shown above. )
- Chase GNU Emacs updates
PR: 199553
|
|
Wed, 5 Nov 2014
|
[ 13:19 ashish ] (Only the first 10 of 69 ports in this commit are shown above. )
- Chase GNU Emacs updates
PR: 194624
|
|
Thu, 18 Sep 2014
|
[ 12:31 mat ] (Only the first 10 of 22 ports in this commit are shown above. )
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
|
|
Tue, 29 Jul 2014
|
[ 19:11 adamw ] (Only the first 10 of 436 ports in this commit are shown above. )
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...
Approved by: portmgr (not really, but touches unstaged ports)
|
|
Wed, 16 Jul 2014
|
[ 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>
|
|
Mon, 7 Jul 2014
|
[ 15:31 olgeni ] (Only the first 10 of 193 ports in this commit are shown above. )
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)
|
|
Wed, 25 Jun 2014
|
[ 05:35 bapt ] (Only the first 10 of 304 ports in this commit are shown above. )
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
|
|
Tue, 22 Oct 2013
|
[ 13:56 amdmi3 ] (Only the first 10 of 97 ports in this commit are shown above. )
- Remove manual creation and removal of share/applications, as it's now in the
mtree (categories starting with m)
Approved by: portmgr (bdrewery)
|
|
Fri, 20 Sep 2013
|
[ 20:55 bapt ] (Only the first 10 of 665 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
|
Mon, 16 Sep 2013
|
[ 16:32 bapt ] (Only the first 10 of 18 ports in this commit are shown above. )
Convert to new perl framework
Convert USE_GMAKE to USES
|
|
Mon, 15 Apr 2013
|
[ 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)
|
|
Sun, 31 Mar 2013
|
[ 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
|
|
Sat, 30 Mar 2013
|
[ 05:13 ashish ] (Only the first 10 of 81 ports in this commit are shown above. )
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]
(Only the first 15 lines of the commit message are shown above )
|
|
Tue, 4 Sep 2012
|
[ 17:05 ashish ] (Only the first 10 of 70 ports in this commit are shown above. )
Chase Emacs updates
|
|
Wed, 1 Aug 2012
|
[ 16:50 ashish ] (Only the first 10 of 68 ports in this commit are shown above. )
- Bump PORTREVISION to chase Emacs port updates
- Unbreak INDEX caused by databases/lsdb, editors/flim, and editors/semi
|
|
Thu, 12 Jul 2012
|
[ 14:05 ak ]
- 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)
|
|
Wed, 27 Jun 2012
|
[ 19:30 pav ]
- 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
|
|
Fri, 1 Jun 2012
|
[ 05:26 dinoex ] (Only the first 10 of 4371 ports in this commit are shown above. )
- update png to 1.5.10
|
|
Thu, 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
|
|
Sat, 18 Jun 2011
|
[ 16:13 hrs ]
- 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.
|
|
Mon, 2 May 2011
|
[ 12:44 makc ] (Only the first 10 of 195 ports in this commit are shown above. )
Bump PORTREVISION after open-mofit update
|
|
Sun, 28 Mar 2010
|
[ 06:47 dinoex ] (Only the first 10 of 4470 ports in this commit are shown above. )
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi
|
|
Fri, 26 Feb 2010
|
[ 09:30 miwi ]
- 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
|
|
Fri, 5 Feb 2010
|
[ 11:46 dinoex ] (Only the first 10 of 4271 ports in this commit are shown above. )
- update to jpeg-8
|
|
Fri, 31 Jul 2009
|
[ 13:57 dinoex ] (Only the first 10 of 3009 ports in this commit are shown above. )
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by: edwin
|
|
Fri, 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>
|
|
Fri, 6 Jun 2008
|
[ 13:44 edwin ] (Only the first 10 of 76 ports in this commit are shown above. )
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)
|
|
Fri, 4 Apr 2008
|
[ 12:13 rafan ]
- Update to 3.7
PR: ports/120987
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
|
|
Sat, 27 Oct 2007
|
[ 19:44 mezz ]
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
|
|
Thu, 25 Oct 2007
|
[ 17:44 mezz ]
Fix the *.desktop installation, bump the PORTREVISION.
Reported by: pointyhat-exp
Approved by: Related with our (FreeBSD GNOME Team) big change
|
|
Wed, 24 Oct 2007
|
[ 23:37 marcus ] (Only the first 10 of 1479 ports in this commit are shown above. )
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(Only the first 15 lines of the commit message are shown above )
|
|
Sat, 19 May 2007
|
[ 20:32 flz ] (Only the first 10 of 7868 ports in this commit are shown above. )
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
|
|
Sun, 1 Apr 2007
|
[ 21:08 kris ]
Now appears to build on amd64
|
|
Mon, 5 Mar 2007
|
[ 19:38 anray ]
Fix deinstall and unbroke port.
PR: ports/109930
Submitted by: Timothy Bourke (maintainer)
|
|
Tue, 27 Feb 2007
|
[ 04:54 kris ]
BROKEN: Incomplete pkg-plist
|
|
Tue, 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)
|
|
Sat, 9 Dec 2006
|
[ 19:57 kris ]
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
to work on this long-standing problem.
|
|
Thu, 30 Nov 2006
|
[ 23:39 kris ]
BROKEN: incomplete pkg-plist
|
|
Sat, 11 Nov 2006
|
[ 19:15 anray ]
Fix plist and unbroken port.
PR: ports/105383
Reported by: pointyhat
Submitted by: Timothy Bourke (maintainer)
|
|
Sun, 15 Oct 2006
|
[ 20:06 kris ]
BROKEN: Incorrect pkg-plist
Approved by: portmgr (self)
|
|
Wed, 10 May 2006
|
[ 22:37 edwin ] (Only the first 10 of 328 ports in this commit are shown above. )
Remove USE_REINPLACE from ports starting with M
|
|
Sat, 6 May 2006
|
[ 08:44 sem ]
- 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
|
|
Mon, 1 May 2006
|
[ 18:00 sem ]
- Update to 3.6
PR: ports/94670
Submitted by: maintainer
|
|
Fri, 28 Oct 2005
|
[ 06:34 kris ]
BROKEN on amd64: Does not build
|
|
Thu, 15 Sep 2005
|
[ 00:47 barner ]
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
|
|
Wed, 31 Aug 2005
|
[ 10:36 barner ] (Only the first 10 of 11 ports in this commit are shown above. )
Add proofgeneral 3.5, a generic interface for proof assistants.
PR: 84788
Submitted by: Timothy Bourke <timbob@bigpond.com>
|
Number of commits found: 57 |
As an Amazon Associate I earn from qualifying purchases.