proofgeneral 3.7.1_2 math =0

A generic interface for proof assistants
Maintained by: timbob@bigpond.com
Port Added: 31 Aug 2005 11:37:19
Also Listed In: elisp

---

---

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

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

Required To Build: shells/bash, editors/xemacs21-mule, editors/xemacs-packages, editors/xemacs21-mule, print/teTeX-base, devel/gmake, lang/perl5.8
Required To Run: misc/hicolor-icon-theme, editors/xemacs21-mule, editors/xemacs-packages, editors/xemacs21-mule, lang/perl5.8, misc/gnomehier

---

To install the port: cd /usr/ports/math/proofgeneral/ && make install clean
To add the package: pkg_add -r proofgeneral-xemacs

---

Configuration Options

     No options to configure

---

Master Sites:

http://proofgeneral.inf.ed.ac.uk/releases/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

- update to jpeg-8

- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin

[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1

PR:             ports/126066
Submitted by:   Timothy Bourke <timbob@bigpond.com>

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)

- Remove empty files

- Update to 3.7

PR:             ports/120987
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

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

Fix the *.desktop installation, bump the PORTREVISION.

Reported by:    pointyhat-exp
Approved by:    Related with our (FreeBSD GNOME Team) big change

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

- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

Now appears to build on amd64

Fix deinstall and unbroke port.

PR:             ports/109930
Submitted by:   Timothy Bourke (maintainer)

BROKEN: Incomplete 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)

Deprecate and expire on 2007-02-07 to give the maintainer more incentive
to work on this long-standing problem.

BROKEN: incomplete pkg-plist

Fix plist and unbroken port.

PR:             ports/105383
Reported by:    pointyhat
Submitted by:   Timothy Bourke (maintainer)

BROKEN: Incorrect pkg-plist

Approved by:    portmgr (self)

Remove zero-sized files.

- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat

Submitted by:   maintainer
Reported by:    kris mail

Remove USE_REINPLACE from ports starting with M

- 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

- Update to 3.6

PR:             ports/94670
Submitted by:   maintainer

SHA256ify

Approved by: krion@

Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)

BROKEN on amd64: Does not build

Fix plist.

Reported by:    kris via pointhat
Pointy hat to:  me for not being more thorough

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

Add proofgeneral 3.5, a generic interface for proof assistants.

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

5 vulnerabilities affecting 16 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities