notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Remember
I remember
non port: math/proofgeneral/Makefile
SVNWeb

Number of commits found: 55

Fri, 8 Nov 2019
[ 14:11 tobik ] Original commit   Revision:517068
517068 math/PDL/Makefile
517068 math/calcoo/Makefile
517068 math/coq/Makefile
517068 math/drgeo/Makefile
517068 math/galculator/Makefile
517068 math/gkmap/Makefile
517068 math/graphthing/Makefile
517068 math/igraph/Makefile
517068 math/mate-calc/Makefile
517068 math/oleo/Makefile

(Only the first 10 of 17 ports in this commit are shown above. View all ports for this commit)
math: Add missing USES={gl,gnome,php,sdl,xorg}
Wed, 6 Nov 2019
[ 14:00 antoine ] Original commit   Revision:516887
516887 mail/akpop3d/Makefile
516887 mail/chk4mail/Makefile
516887 mail/cyrus-imapd23/Makefile
516887 mail/dbmail/Makefile
516887 mail/fetchmailconf/Makefile
516887 mail/librfc822/Makefile
516887 mail/mailmgr/Makefile
516887 mail/milter-skem/Makefile
516887 mail/mreport/Makefile
516887 mail/msgconvert/Makefile

(Only the first 10 of 184 ports in this commit are shown above. View all ports for this commit)
Mark a few ports BROKEN (unfetchable)
Sat, 10 Nov 2018
[ 18:12 bapt ] Original commit   Revision:484628
484628 CHANGES
484628 Mk/bsd.port.mk
484628 Templates/BSD.local.dist
484628 accessibility/speech-dispatcher/Makefile
484628 archivers/fastjar/Makefile
484628 archivers/gcpio/Makefile
484628 archivers/gtar/Makefile
484628 archivers/gzip/Makefile
484628 archivers/lzip/Makefile
484628 archivers/lzlib/Makefile

(Only the first 10 of 386 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit   Revision:471191
471191 audio/emms/Makefile
471191 cad/dinotrace/Makefile
471191 cad/verilog-mode.el/Makefile
471191 databases/bbdb/Makefile
471191 databases/gnats4/Makefile
471191 deskutils/howm/Makefile
471191 devel/cask/Makefile
471191 devel/clojure-cider/Makefile
471191 devel/dash.el/Makefile
471191 devel/distel/Makefile

(Only the first 10 of 86 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit   Revision:460621
460621 MOVED
460621 Mk/Uses/emacs.mk
460621 Mk/bsd.default-versions.mk
460621 Mk/bsd.emacs.mk
460621 Mk/bsd.port.mk
460621 UPDATING
460621 audio/emms/Makefile
460621 audio/emms/distinfo
460621 audio/emms/files
460621 audio/emms/files/patch-Makefile

(Only the first 10 of 143 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit   Revision:449697
449697 audio/emms/Makefile
449697 cad/dinotrace/Makefile
449697 cad/verilog-mode.el/Makefile
449697 databases/bbdb/Makefile
449697 deskutils/etask/Makefile
449697 deskutils/howm/Makefile
449697 devel/cask/Makefile
449697 devel/clojure-cider/Makefile
449697 devel/dash.el/Makefile
449697 devel/distel/Makefile

(Only the first 10 of 78 ports in this commit are shown above. View all ports for this commit)
Chase Emacs update
Fri, 1 Apr 2016
[ 14:16 mat ] Original commit   Revision:412348
412348 mail/addresses-goodies/Makefile
412348 mail/alpine/Makefile
412348 mail/anubis/Makefile
412348 mail/archiveopteryx-devel/Makefile
412348 mail/archiveopteryx/Makefile
412348 mail/assp/Makefile
412348 mail/automx/Makefile
412348 mail/avenger/Makefile
412348 mail/balsa/Makefile
412348 mail/batv-milter/Makefile

(Only the first 10 of 2612 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Fri, 4 Sep 2015
[ 14:26 amdmi3 ] Original commit   Revision:396096
396096 math/proofgeneral/Makefile
- Add NO_ARCH
- Don't install empty docdirs

Approved by:	portmgr blanket
Wed, 27 May 2015
[ 00:15 amdmi3 ] Original commit   Revision:387529
387529 audio/ventrilo-server/Makefile
387529 cad/netgen/Makefile
387529 chinese/CNS11643-font/Makefile
387529 chinese/enscript/Makefile
387529 comms/conserver/Makefile
387529 databases/postgresql-jdbc/Makefile
387529 deskutils/plans/Makefile
387529 dns/checkdns/Makefile
387529 games/linux-quake4/Makefile
387529 graphics/telak/Makefile

(Only the first 10 of 26 ports in this commit are shown above. View all ports for this commit)
- Don't cat pkg-message from Makefiles

Approved by:	portmgr blanket
Mon, 27 Apr 2015
[ 10:29 ashish ] Original commit   Revision:384819
384819 audio/emms/Makefile
384819 cad/dinotrace/Makefile
384819 cad/verilog-mode.el/Makefile
384819 databases/bbdb/Makefile
384819 deskutils/etask/Makefile
384819 deskutils/howm/Makefile
384819 devel/cask/Makefile
384819 devel/clojure-cider/Makefile
384819 devel/dash.el/Makefile
384819 devel/distel/Makefile

(Only the first 10 of 69 ports in this commit are shown above. View all ports for this commit)
- Chase GNU Emacs updates

PR:		199553
Wed, 5 Nov 2014
[ 13:19 ashish ] Original commit   Revision:372191
372191 audio/emms/Makefile
372191 cad/dinotrace/Makefile
372191 cad/verilog-mode.el/Makefile
372191 databases/bbdb/Makefile
372191 deskutils/etask/Makefile
372191 deskutils/howm/Makefile
372191 devel/cask/Makefile
372191 devel/cedet/Makefile
372191 devel/clojure-cider/Makefile
372191 devel/dash.el/Makefile

(Only the first 10 of 69 ports in this commit are shown above. View all ports for this commit)
- Chase GNU Emacs updates

PR:		194624
Thu, 18 Sep 2014
[ 12:31 mat ] Original commit   Revision:368446
368446 Mk/Uses/imake.mk
368446 Mk/bsd.port.mk
368446 Mk/bsd.sanity.mk
368446 audio/sonata/Makefile
368446 cad/qelectrotech/Makefile
368446 deskutils/cairo-dock/Makefile
368446 graphics/hugin-devel/Makefile
368446 irc/py-supybot/Makefile
368446 math/proofgeneral/Makefile
368446 net-im/prosody/Makefile

(Only the first 10 of 22 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit   Revision:363374
363374 archivers/ha/Makefile
363374 archivers/unalz/Makefile
363374 astro/gpsman/Makefile
363374 audio/amrcoder/Makefile
363374 audio/chordpack/Makefile
363374 audio/cmt/Makefile
363374 audio/enscribe/Makefile
363374 audio/funktrackergold/Makefile
363374 audio/ladspa/Makefile
363374 audio/libconvolve/Makefile

(Only the first 10 of 436 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit   Revision:362086
362086 math/proofgeneral/Makefile
362086 math/proofgeneral/pkg-plist
- 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 ] Original commit   Revision:361099
361099 mail/atmail/Makefile
361099 mail/autosig/Makefile
361099 mail/batv-milter/Makefile
361099 mail/biabam/Makefile
361099 mail/coolmail/Makefile
361099 mail/couriergraph/Makefile
361099 mail/crm114/Makefile
361099 mail/cvsmail/Makefile
361099 mail/elm/Makefile
361099 mail/exact/Makefile

(Only the first 10 of 193 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit   Revision:359185
359185 audio/libcanberra-gtk3/Makefile
359185 audio/liquidsoap/Makefile
359185 cad/freehdl/Makefile
359185 databases/libgda5-ui/Makefile
359185 databases/libgda5/Makefile
359185 databases/pgpool-II/Makefile
359185 databases/postgresql91-docs/Makefile
359185 devel/aros-sdk/Makefile
359185 devel/avr-libc/Makefile
359185 devel/hadoop/Makefile

(Only the first 10 of 304 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit   Revision:331270
331270 mail/balsa/pkg-plist
331270 mail/claws-mail/pkg-plist
331270 mail/davmail/Makefile
331270 mail/davmail/pkg-plist
331270 mail/evolution/pkg-plist
331270 mail/gnome-gmail-notifier/pkg-plist
331270 mail/gnubiff/pkg-plist
331270 mail/linux-thunderbird/pkg-plist
331270 mail/mail-notification/pkg-plist
331270 mail/sylpheed/Makefile

(Only the first 10 of 97 ports in this commit are shown above. View all ports for this commit)
- 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 ] Original commit   Revision:327746
327746 math/GiNaC/Makefile
327746 math/PDL/Makefile
327746 math/R-cran-ChangeAnomalyDetection/Makefile
327746 math/R-cran-Formula/Makefile
327746 math/R-cran-KFAS/Makefile
327746 math/R-cran-LearnBayes/Makefile
327746 math/R-cran-MCMCpack/Makefile
327746 math/R-cran-RHmm/Makefile
327746 math/R-cran-RSvgDevice/Makefile
327746 math/R-cran-RcppArmadillo/Makefile

(Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Mon, 16 Sep 2013
[ 16:32 bapt ] Original commit   Revision:327411
327411 comms/gnuradio/Makefile
327411 comms/mgetty+sendfax/Makefile
327411 math/R/Makefile
327411 math/cvc3/Makefile
327411 math/maxima/Makefile
327411 math/octave/Makefile
327411 math/p5-Parse-Range/Makefile
327411 math/proofgeneral/Makefile
327411 math/pspp/Makefile
327411 math/stp/Makefile

(Only the first 10 of 18 ports in this commit are shown above. View all ports for this commit)
Convert to new perl framework
Convert USE_GMAKE to USES
Mon, 15 Apr 2013
[ 18:55 bdrewery ] Original commit   Revision:315806
315806 math/proofgeneral/Makefile
315806 math/proofgeneral/pkg-plist
- 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 ] Original commit   Revision:315633
315633 math/proofgeneral/Makefile
315633 math/proofgeneral/pkg-plist
- 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 ] Original commit   Revision:315598
315598 Mk/bsd.emacs.mk
315598 audio/emms/Makefile
315598 cad/dinotrace/Makefile
315598 cad/verilog-mode.el/Makefile
315598 databases/bbdb/Makefile
315598 databases/lsdb/Makefile
315598 deskutils/howm/Makefile
315598 deskutils/org-mode.el/Makefile
315598 deskutils/planner.el/Makefile
315598 deskutils/remember.el/Makefile

(Only the first 10 of 81 ports in this commit are shown above. View all ports for this commit)
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 View all of this commit message)
Tue, 4 Sep 2012
[ 17:05 ashish ] Original commit   Revision:303664
303664 Mk/bsd.emacs.mk
303664 audio/emms/Makefile
303664 cad/dinotrace/Makefile
303664 cad/verilog-mode.el/Makefile
303664 databases/bbdb/Makefile
303664 databases/lsdb/Makefile
303664 deskutils/howm/Makefile
303664 deskutils/org-mode.el/Makefile
303664 deskutils/planner.el/Makefile
303664 deskutils/remember.el/Makefile

(Only the first 10 of 70 ports in this commit are shown above. View all ports for this commit)
Chase Emacs updates
Wed, 1 Aug 2012
[ 16:50 ashish ] Original commit 
301834 audio/emms/Makefile
301834 databases/bbdb/Makefile
301834 databases/lsdb/Makefile
301834 deskutils/howm/Makefile
301834 deskutils/org-mode.el/Makefile
301834 deskutils/planner.el/Makefile
301834 deskutils/remember.el/Makefile
301834 devel/cedet/Makefile
301834 devel/distel/Makefile
301834 devel/ecb/Makefile

(Only the first 10 of 68 ports in this commit are shown above. View all ports for this commit)
- 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 ] Original commit 
1.31 math/proofgeneral/Makefile
1.5 math/proofgeneral/files/patch-doc-Makefile.doc
- 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 ] Original commit 
1.30 math/proofgeneral/Makefile
- 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 ] Original commit 
1.59 Mk/bsd.gecko.mk
1.1246 UPDATING
1.18 accessibility/accerciser/Makefile
1.12 accessibility/at-poke/Makefile
1.77 accessibility/at-spi/Makefile
1.5 accessibility/at-spi2-atk/Makefile
1.54 accessibility/dasher/Makefile
1.60 accessibility/gnome-mag/Makefile
1.45 accessibility/gnopernicus/Makefile
1.51 accessibility/gok/Makefile

(Only the first 10 of 4371 ports in this commit are shown above. View all ports for this commit)
- update png to 1.5.10
Thu, 19 Apr 2012
[ 22:38 scheidell ] Original commit 
1.28 math/proofgeneral/Makefile
1.9 math/proofgeneral/distinfo
1.8 math/proofgeneral/files/patch-Makefile
1.4 math/proofgeneral/files/patch-doc-Makefile.doc
1.3 math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
1.2 math/proofgeneral/files/patch-isar-interface
1.11 math/proofgeneral/pkg-plist
- 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 ] Original commit 
1.11 emulators/vmips/Makefile
1.84 lang/sbcl/Makefile
1.69 math/asymptote/Makefile
1.43 math/asymptote/pkg-plist
1.27 math/blitz++/Makefile
1.27 math/proofgeneral/Makefile
1.25 misc/latex-mk/Makefile
- 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 ] Original commit 
1.7 arabic/arabtex/Makefile
1.8 astro/pp3/Makefile
1.10 astro/xmoontool/Makefile
1.8 audio/dekagen/Makefile
1.11 audio/fdmf/Makefile
1.35 audio/rosegarden/Makefile
1.14 audio/xanalyser/Makefile
1.67 audio/xmcd/Makefile
1.24 audio/xmmix/Makefile
1.27 audio/xmradio/Makefile

(Only the first 10 of 195 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION after open-mofit update
Sun, 28 Mar 2010
[ 06:47 dinoex ] Original commit 
1.20 Mk/bsd.gecko.mk
1.12 accessibility/accerciser/Makefile
1.10 accessibility/at-poke/Makefile
1.72 accessibility/at-spi/Makefile
1.51 accessibility/dasher/Makefile
1.54 accessibility/gnome-mag/Makefile
1.42 accessibility/gnopernicus/Makefile
1.46 accessibility/gok/Makefile
1.11 accessibility/java-access-bridge/Makefile
1.32 accessibility/kdeaccessibility/Makefile

(Only the first 10 of 4470 ports in this commit are shown above. View all ports for this commit)
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
Fri, 26 Feb 2010
[ 09:30 miwi ] Original commit 
1.10 lang/polyml/Makefile
1.13 math/isabelle/Makefile
1.24 math/proofgeneral/Makefile
- 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 ] Original commit 
1.19 Mk/bsd.gecko.mk
1.11 accessibility/accerciser/Makefile
1.9 accessibility/at-poke/Makefile
1.71 accessibility/at-spi/Makefile
1.50 accessibility/dasher/Makefile
1.53 accessibility/gnome-mag/Makefile
1.41 accessibility/gnopernicus/Makefile
1.45 accessibility/gok/Makefile
1.10 accessibility/java-access-bridge/Makefile
1.31 accessibility/kdeaccessibility/Makefile

(Only the first 10 of 4271 ports in this commit are shown above. View all ports for this commit)
- update to jpeg-8
Fri, 31 Jul 2009
[ 13:57 dinoex ] Original commit 
1.9 accessibility/accerciser/Makefile
1.8 accessibility/at-poke/Makefile
1.69 accessibility/at-spi/Makefile
1.49 accessibility/dasher/Makefile
1.40 accessibility/gnopernicus/Makefile
1.43 accessibility/gok/Makefile
1.8 accessibility/java-access-bridge/Makefile
1.29 accessibility/kdeaccessibility/Makefile
1.35 accessibility/kdeaccessibility4/Makefile
1.11 accessibility/mousetweaks/Makefile

(Only the first 10 of 3009 ports in this commit are shown above. View all ports for this commit)
- 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 ] Original commit 
1.21 math/proofgeneral/Makefile
1.7 math/proofgeneral/distinfo
1.7 math/proofgeneral/files/patch-Makefile
1.1 math/proofgeneral/files/patch-isar-interface
1.10 math/proofgeneral/pkg-plist
[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 ] Original commit 
1.53 math/PDL/Makefile
1.69 math/R/Makefile
1.7 math/abakus/Makefile
1.39 math/asymptote/Makefile
1.21 math/blacs/Makefile
1.9 math/blocksolve95/Makefile
1.25 math/calcoo/Makefile
1.23 math/clarence/Makefile
1.14 math/convertall/Makefile
1.18 math/coq/Makefile

(Only the first 10 of 76 ports in this commit are shown above. View all ports for this commit)
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 ] Original commit 
1.19 math/proofgeneral/Makefile
1.6 math/proofgeneral/distinfo
1.6 math/proofgeneral/files/patch-Makefile
1.3 math/proofgeneral/files/patch-doc-Makefile.doc
1.3 math/proofgeneral/files/patch-isa_isabelle-system.el
1.2 math/proofgeneral/files/pkg-message.in
1.9 math/proofgeneral/pkg-plist
- Update to 3.7

PR:             ports/120987
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
Sat, 27 Oct 2007
[ 19:44 mezz ] Original commit 
1.18 math/proofgeneral/Makefile
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 ] Original commit 
1.17 math/proofgeneral/Makefile
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 ] Original commit 
1.144 Mk/bsd.gnome.mk
1.562 UPDATING
1.17 accessibility/Makefile
1.1 accessibility/accerciser/Makefile
1.1 accessibility/accerciser/distinfo
1.1 accessibility/accerciser/pkg-descr
1.1 accessibility/accerciser/pkg-plist
1.3 accessibility/at-poke/Makefile
1.2 accessibility/at-poke/pkg-plist
1.61 accessibility/at-spi/Makefile

(Only the first 10 of 1479 ports in this commit are shown above. View all ports for this commit)
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 View all of this commit message)
Sat, 19 May 2007
[ 20:32 flz ] Original commit 
1.1364 MOVED
1.566 Mk/bsd.port.mk
1.1 Mk/bsd.xorg.mk
1.1 Tools/scripts/mergebase.sh
1.502 UPDATING
1.2 accessibility/at-poke/Makefile
1.60 accessibility/at-spi/Makefile
1.29 accessibility/at-spi/pkg-plist
1.51 accessibility/atk/Makefile
1.27 accessibility/atk/pkg-plist

(Only the first 10 of 7868 ports in this commit are shown above. View all ports for this commit)
- 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 ] Original commit 
1.14 math/proofgeneral/Makefile
Now appears to build on amd64
Mon, 5 Mar 2007
[ 19:38 anray ] Original commit 
1.13 math/proofgeneral/Makefile
1.4 math/proofgeneral/files/patch-Makefile
Fix deinstall and unbroke port.

PR:             ports/109930
Submitted by:   Timothy Bourke (maintainer)
Tue, 27 Feb 2007
[ 04:54 kris ] Original commit 
1.12 math/proofgeneral/Makefile
BROKEN: Incomplete pkg-plist
Tue, 6 Feb 2007
[ 22:55 anray ] Original commit 
1.11 math/proofgeneral/Makefile
1.5 math/proofgeneral/distinfo
1.3 math/proofgeneral/files/patch-Makefile
1.7 math/proofgeneral/pkg-plist
* 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 ] Original commit 
1.10 math/proofgeneral/Makefile
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 ] Original commit 
1.9 math/proofgeneral/Makefile
BROKEN: incomplete pkg-plist
Sat, 11 Nov 2006
[ 19:15 anray ] Original commit 
1.8 math/proofgeneral/Makefile
1.4 math/proofgeneral/distinfo
1.6 math/proofgeneral/pkg-plist
Fix plist and unbroken port.

PR:             ports/105383
Reported by:    pointyhat
Submitted by:   Timothy Bourke (maintainer)
Sun, 15 Oct 2006
[ 20:06 kris ] Original commit 
1.7 math/proofgeneral/Makefile
BROKEN: Incorrect pkg-plist

Approved by:    portmgr (self)
Wed, 10 May 2006
[ 22:37 edwin ] Original commit 
1.16 mail/althea/Makefile
1.11 mail/antivirus-milter/Makefile
1.27 mail/anubis/Makefile
1.23 mail/asmail/Makefile
1.5 mail/assp/Makefile
1.6 mail/autosig/Makefile
1.7 mail/bayespam/Makefile
1.10 mail/biabam/Makefile
1.35 mail/cclient/Makefile
1.7 mail/contact-lookup-applet/Makefile

(Only the first 10 of 328 ports in this commit are shown above. View all ports for this commit)
Remove USE_REINPLACE from ports starting with M
Sat, 6 May 2006
[ 08:44 sem ] Original commit 
1.6 editors/doxymacs/Makefile
1.5 lang/tuareg-mode.el/Makefile
1.5 mail/rmime/Makefile
1.5 math/proofgeneral/Makefile
1.5 textproc/tdtd.el/Makefile
1.6 textproc/uim-el/Makefile
- 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 ] Original commit 
1.4 math/proofgeneral/Makefile
1.3 math/proofgeneral/distinfo
1.2 math/proofgeneral/files/patch-Makefile
1.2 math/proofgeneral/files/patch-doc-Makefile
1.2 math/proofgeneral/files/patch-doc-Makefile.doc
1.2 math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
1.2 math/proofgeneral/files/patch-generic-proof-menu.el
1.2 math/proofgeneral/files/patch-isa_isabelle-system.el
1.4 math/proofgeneral/pkg-plist
- Update to 3.6

PR:             ports/94670
Submitted by:   maintainer
Fri, 28 Oct 2005
[ 06:34 kris ] Original commit 
1.3 math/proofgeneral/Makefile
BROKEN on amd64: Does not build
Thu, 15 Sep 2005
[ 00:47 barner ] Original commit 
1.2 math/proofgeneral/Makefile
1.1 math/proofgeneral/files/patch-isa_isabelle-system.el
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 ] Original commit 
1.340 math/Makefile
1.1 math/proofgeneral/Makefile
1.1 math/proofgeneral/distinfo
1.1 math/proofgeneral/files/patch-Makefile
1.1 math/proofgeneral/files/patch-doc-Makefile
1.1 math/proofgeneral/files/patch-doc-Makefile.doc
1.1 math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
1.1 math/proofgeneral/files/patch-generic-proof-menu.el
1.1 math/proofgeneral/files/pkg-message.in
1.1 math/proofgeneral/pkg-descr

(Only the first 10 of 11 ports in this commit are shown above. View all ports for this commit)
Add proofgeneral 3.5, a generic interface for proof assistants.

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

Number of commits found: 55

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
nexus2-ossNov 07
php71Nov 06
php72Nov 06
php73Nov 06
php74Nov 06
fileNov 02
mariadb101-serverNov 02
mariadb102-serverNov 02
mariadb103-serverNov 02
mariadb104-serverNov 02
mariadb55-serverNov 02
mysql56-serverNov 02
mysql57-serverNov 02
mysql80-serverNov 02
percona55-serverNov 02

10 vulnerabilities affecting 139 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-11-07 12:09:53


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38029
Broken 796
Deprecated 81
Ignore 1076
Forbidden 3
Restricted 156
No CDROM 72
Vulnerable 33
Expired 7
Set to expire 51
Interactive 0
new 24 hours 5
new 48 hours9
new 7 days23
new fortnight56
new month118

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.