FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
proofgeneral 4.1_8 math on this many watch lists=0 search for ports that depend on this port
Generic interface for proof assistants
Maintained by: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 31 Aug 2005 10:37:19
Also Listed In: elisp
License: GPLv2


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
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. shells/bash
  2. editors/emacs
  3. devel/gmake
  4. textproc/texi2html
  5. graphics/gtk-update-icon-cache
  6. lang/perl5.16
Required To Run:
  1. misc/hicolor-icon-theme
  2. editors/emacs
  3. graphics/gtk-update-icon-cache
  4. lang/perl5.16
  5. print/indexinfo
Required Libraries:
  1. accessibility/atk
  2. graphics/gdk-pixbuf2
  3. devel/glib20
  4. devel/pcre
  5. x11-toolkits/pango
There are no ports dependent upon this port

To install the port: cd /usr/ports/math/proofgeneral/ && make install clean
To add the package: pkg install math/proofgeneral


Configuration Options
     No options to configure

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://proofgeneral.inf.ed.ac.uk/releases/

Number of commits found: 51

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
29 Jul 2014 19:11:53
Original commit files touched by this commit  4.1_8
Revision:363374
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)
16 Jul 2014 16:53:37
Original commit files touched by this commit  4.1_8
Revision:362086
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>
07 Jul 2014 15:31:02
Original commit files touched by this commit  4.1_7
Revision:361099
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)
25 Jun 2014 05:35:32
Original commit files touched by this commit  4.1_7
Revision:359185
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
09 May 2014 21:13:10
Original commit files touched by this commit  4.1_7
Revision:353520
amdmi3 search for other commits by this committer
- Don't remove mtree directories

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

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

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

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

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

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

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

Approved by: krion@
22 Jan 2006 02:26:24
Original commit files touched by this commit  3.5
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)
28 Oct 2005 06:34:44
Original commit files touched by this commit  3.5
kris search for other commits by this committer
BROKEN on amd64: Does not build
15 Sep 2005 23:34:10
Original commit files touched by this commit  3.5
barner search for other commits by this committer
Fix plist.

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

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
nginxSep 16
nginx-develSep 16
phpmyadminSep 13
ossec-hids-clientSep 11
ossec-hids-localSep 11
ossec-hids-serverSep 11
chromiumSep 09
trafficserverSep 05
apache22*Sep 03
apache22-event-mpm*Sep 03
apache22-itk-mpm*Sep 03
apache22-peruser-mpm*Sep 03
apache22-worker-mpm*Sep 03
chromiumAug 26
fileAug 21

6 vulnerabilities affecting 14 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24091
Broken 121
Deprecated 88
Ignore 385
Forbidden 17
Restricted 203
No CDROM 94
Vulnerable 22
Expired 1
Set to expire 83
Interactive 0
new 24 hours 4
new 48 hours4
new 7 days47
new fortnight137
new month248

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