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.

Port details
proofgeneral Generic interface for proof assistants
4.1_15 math Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 4.1_15Version of this port present on the latest quarterly branch.
Broken BROKEN: unfetchable
Deprecated DEPRECATED: Broken for more than 6 months
Expired This port expired on: 2020-05-05
Ignore IGNORE: is marked as broken: unfetchable
Maintainer: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 2005-08-31 10:37:19
Last Update: 2020-05-05 15:38:12
SVN Revision: 534093
Also Listed In: elisp
License: GPLv2
WWW:
http://proofgeneral.inf.ed.ac.uk
Description:
Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. A new Eclipse-based version is in development. This is described separately at http://proofgeneral.inf.ed.ac.uk/kit/wiki. Proof General has been developed at the LFCS in the University of Edinburgh. It is distributed under the conditions of the GNU General Public License. There is a mailing list: http://proofgeneral.inf.ed.ac.uk/mailinglist WWW: http://proofgeneral.inf.ed.ac.uk
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • proofgeneral-emacs26>0:math/proofgeneral
No installation instructions:
This port has been deleted.
PKGNAME: proofgeneral-emacs26
Package flavors (<flavor>: <package>)
  • full: proofgeneral-emacs26
  • canna: proofgeneral-emacs26_canna
  • devel_full: proofgeneral-emacs28
distinfo:
SHA256 (ProofGeneral-4.1.tgz) = 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7 SIZE (ProofGeneral-4.1.tgz) = 1428499

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bash : shells/bash
  2. texi2html : textproc/texi2html
  3. emacs-26.3 : editors/emacs@full
  4. gmake : devel/gmake
  5. gtk-update-icon-cache : graphics/gtk-update-icon-cache
  6. perl5>=5.30.r1<5.31 : lang/perl5.30
Runtime dependencies:
  1. index.theme : misc/hicolor-icon-theme
  2. emacs-26.3 : editors/emacs@full
  3. gtk-update-icon-cache : graphics/gtk-update-icon-cache
  4. perl5>=5.30.r1<5.31 : lang/perl5.30
  5. indexinfo : print/indexinfo
Library dependencies:
  1. libatk-1.0.so : accessibility/atk
  2. libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
  3. libglib-2.0.so : devel/glib20
  4. libintl.so : devel/gettext-runtime
  5. libpango-1.0.so : x11-toolkits/pango
There are no ports dependent upon this port

Configuration Options:
===> The following configuration options are available for proofgeneral-emacs26-4.1_15: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings
Options name:
N/A
USES:
emacs gmake gnome perl5 shebangfix tar:tgz
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://proofgeneral.inf.ed.ac.uk/releases/
Collapse this list.

Number of commits found: 68

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
4.1_15
05 May 2020 15:38:12
Revision:534093Original commit files touched by this commit
rene search for other commits by this committer
Remove expired ports:

Adjusted for ports rescued since r534032

2020-05-05 audio/festvox-czech: Broken for more than 6 months
2020-05-05 audio/gkrellmvolume2: Broken for more than 6 months
2020-05-05 audio/mixmos: Broken for more than 6 months
2020-05-05 audio/mma: Broken for more than 6 months
2020-05-05 audio/pd-cyclone: Broken for more than 6 months
2020-05-05 audio/shorten: Broken for more than 6 months
2020-05-05 audio/taglib-sharp: Broken for more than 6 months
2020-05-05 audio/xhippo: Broken for more than 6 months
2020-05-05 biology/consed: Broken for more than 6 months
2020-05-05 biology/plinkseq: Broken for more than 6 months
2020-05-05 biology/seqtools: Broken for more than 6 months
(Only the first 15 lines of the commit message are shown above View all of this commit message)
4.1_15
04 Apr 2020 20:51:41
Revision:530719Original commit files touched by this commit Sanity Test Failure
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
4.1_15
07 Jan 2020 04:55:40
Revision:522315Original commit files touched by this commit
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
4.1_14
08 Nov 2019 14:11:46
Revision:517068Original commit files touched by this commit
tobik search for other commits by this committer
math: Add missing USES={gl,gnome,php,sdl,xorg}
4.1_14
06 Nov 2019 14:00:19
Revision:516887Original commit files touched by this commit Sanity Test Failure
antoine search for other commits by this committer
Mark a few ports BROKEN (unfetchable)
4.1_14
13 Aug 2019 22:29:43
Revision:508882Original commit files touched by this commit
mat search for other commits by this committer
onvert to UCL & cleanup pkg-message (categories l-m)
4.1_14
10 Nov 2018 18:12:58
Revision:484628Original commit files touched by this commit
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
4.1_13
31 May 2018 01:18:05
Revision:471191Original commit files touched by this commit
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
4.1_12
01 Feb 2018 18:03:10
Revision:460621Original commit files touched by this commit
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
4.1_11
12 Sep 2017 15:38:57
Revision:449697Original commit files touched by this commit
ashish search for other commits by this committer
Chase Emacs update
4.1_10
01 Apr 2016 14:16:20
Revision:412348Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
4.1_10
04 Sep 2015 14:26:05
Revision:396096Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Add NO_ARCH
- Don't install empty docdirs

Approved by:	portmgr blanket
4.1_10
27 May 2015 00:15:05
Revision:387529Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Don't cat pkg-message from Makefiles

Approved by:	portmgr blanket
4.1_10
27 Apr 2015 10:29:28
Revision:384819Original commit files touched by this commit
ashish search for other commits by this committer
- Chase GNU Emacs updates

PR:		199553
4.1_9
14 Nov 2014 09:39:21
Revision:372555Original commit files touched by this commit
antoine search for other commits by this committer
Cleanup plist
4.1_9
05 Nov 2014 13:19:32
Revision:372191Original commit files touched by this commit
ashish search for other commits by this committer
- Chase GNU Emacs updates

PR:		194624
4.1_8
18 Sep 2014 12:31:25
Revision:368446Original commit files touched by this commit
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
4.1_8
29 Jul 2014 19:11:53
Revision:363374Original commit files touched by this commit
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)
4.1_8
16 Jul 2014 16:53:37
Revision:362086Original commit files touched by this commit
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>
4.1_7
07 Jul 2014 15:31:02
Revision:361099Original commit files touched by this commit
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)
4.1_7
25 Jun 2014 05:35:32
Revision:359185Original commit files touched by this commit
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
4.1_7
09 May 2014 21:13:10
Revision:353520Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Don't remove mtree directories

Approved by:	portmgr
4.1_7
22 Oct 2013 13:56:27
Revision:331270Original commit files touched by this commit
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)
4.1_7
20 Sep 2013 20:55:06
Revision:327746Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
4.1_7
16 Sep 2013 16:32:07
Revision:327411Original commit files touched by this commit
bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
4.1_7
15 Apr 2013 18:55:01
Revision:315806Original commit files touched by this commit
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)
4.1_6
31 Mar 2013 12:58:44
Revision:315633Original commit files touched by this commit
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
4.1_5
30 Mar 2013 05:13:30
Revision:315598Original commit files touched by this commit
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]
(Only the first 15 lines of the commit message are shown above View all of this commit message)
4.1_4
04 Sep 2012 17:05:44
Revision:303664Original commit files touched by this commit
ashish search for other commits by this committer
Chase Emacs updates
4.1_3
01 Aug 2012 16:50:16
Original commit files touched by this commit
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
4.1_2
12 Jul 2012 14:05:30
Original commit files touched by this commit
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)
4.1_1
27 Jun 2012 19:30:14
Original commit files touched by this commit
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
4.1_1
01 Jun 2012 05:26:28
Original commit files touched by this commit
dinoex search for other commits by this committer
- update png to 1.5.10
4.1
19 Apr 2012 22:38:31
Original commit files touched by this commit
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
3.7.1_5
18 Jun 2011 16:13:31
Original commit files touched by this commit
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.
3.7.1_4
02 May 2011 12:44:53
Original commit files touched by this commit
makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
3.7.1_3
20 Mar 2011 12:54:45
Original commit files touched by this commit
miwi search for other commits by this committer
- Get Rid MD5 support
3.7.1_3
28 Mar 2010 06:47:48
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
3.7.1_2
26 Feb 2010 09:30:28
Original commit files touched by this commit
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
3.7.1_2
05 Feb 2010 11:46:55
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to jpeg-8
3.7.1_1
31 Jul 2009 13:57:52
Original commit files touched by this commit
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
3.7.1
15 Aug 2008 01:03:23
Original commit files touched by this commit
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>
3.7_1
06 Jun 2008 13:44:06
Original commit files touched by this commit
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)
3.7
10 Apr 2008 11:56:28
Original commit files touched by this commit
pav search for other commits by this committer
- Remove empty files
3.7
04 Apr 2008 12:13:33
Original commit files touched by this commit
rafan search for other commits by this committer
- Update to 3.7

PR:             ports/120987
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
3.6_8
27 Oct 2007 19:44:46
Original commit files touched by this commit
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
3.6_7
25 Oct 2007 17:44:43
Original commit files touched by this commit
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
3.6_6
24 Oct 2007 23:37:25
Original commit files touched by this commit
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
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.6_3
19 May 2007 20:32:57
Original commit files touched by this commit
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}.
3.6_2
01 Apr 2007 21:08:15
Original commit files touched by this commit
kris search for other commits by this committer
Now appears to build on amd64
3.6_2
05 Mar 2007 19:38:17
Original commit files touched by this commit
anray search for other commits by this committer
Fix deinstall and unbroke port.

PR:             ports/109930
Submitted by:   Timothy Bourke (maintainer)
3.6_2
27 Feb 2007 04:54:19
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN: Incomplete pkg-plist
3.6_2
06 Feb 2007 22:55:25
Original commit files touched by this commit
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)
3.6_1
09 Dec 2006 19:57:26
Original commit files touched by this commit
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.
3.6_1
30 Nov 2006 23:39:45
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN: incomplete pkg-plist
3.6_1
11 Nov 2006 19:15:29
Original commit files touched by this commit
anray search for other commits by this committer
Fix plist and unbroken port.

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

Approved by:    portmgr (self)
3.6
10 Jul 2006 20:44:48
Original commit files touched by this commit
erwin search for other commits by this committer
Remove zero-sized files.
3.6
16 May 2006 12:03:31
Original commit files touched by this commit
sem search for other commits by this committer
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat

Submitted by:   maintainer
Reported by:    kris mail
3.6
10 May 2006 22:37:39
Original commit files touched by this commit
edwin search for other commits by this committer
Remove USE_REINPLACE from ports starting with M
3.6
06 May 2006 08:44:14
Original commit files touched by this commit
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
3.6
01 May 2006 18:00:51
Original commit files touched by this commit
sem search for other commits by this committer
- Update to 3.6

PR:             ports/94670
Submitted by:   maintainer
3.5
22 Jan 2006 12:56:47
Original commit files touched by this commit
edwin search for other commits by this committer
SHA256ify

Approved by: krion@
3.5
22 Jan 2006 02:26:24
Original commit files touched by this commit
edwin search for other commits by this committer
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)
3.5
28 Oct 2005 06:34:44
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN on amd64: Does not build
3.5
15 Sep 2005 23:34:10
Original commit files touched by this commit
barner search for other commits by this committer
Fix plist.

Reported by:    kris via pointhat
Pointy hat to:  me for not being more thorough
3.5
15 Sep 2005 00:47:17
Original commit files touched by this commit
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
3.5
31 Aug 2005 10:36:36
Original commit files touched by this commit
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>

Number of commits found: 68