proofgeneral  most recent diff

View the most recent changes for the proofgeneral port at: proofgeneral.darwinports.com/diff
Scroll down toward the bottom of the page to get installation instructions for proofgeneral.
The raw portfile for proofgeneral 3.7pre071112 is located here:
http://proofgeneral.darwinports.com/dports/math/ProofGeneral/Portfile
Find related portfiles with the unique DarwinPorts.com search feature.
Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/proofgeneral

Web Darwinports.com




# $Id: Portfile 31746 2007-12-05 18:04:01Z mww macports.org $

PortSystem 1.0

Name: ProofGeneral
Version: 3.7pre071112
Category: math
Maintainers: mww
Description: A xemacs mode for interactive prooving
Long Description: The aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.
Homepage: http://proofgeneral.inf.ed.ac.uk/
master_sites ${homepage}/releases/
checksums sha1 bdbc3ff0856894b2c9c72855cb7c4a845e4177ea
patchfiles patch-bin-proofgeneral

depends_build port:texinfo
depends_lib port:xemacs port:isabelle

configure {
reinplace "s|^DEST_PREFIX=.*|DEST_PREFIX=${prefix}|g" ${worksrcpath}/Makefile
reinplace "s|^PREFIX=.*|PREFIX=${destroot}${prefix}|g" ${worksrcpath}/Makefile
reinplace "s|^EMACS=.*|EMACS=xemacs|g" ${worksrcpath}/Makefile
reinplace "s|/sbin/install-info|${prefix}/bin/install-info|g" ${worksrcpath}/Makefile
reinplace "s| EMACS |${prefix}/bin/xemacs|g" ${worksrcpath}/bin/proofgeneral
}

build.target clean all

destroot.target install install-doc
destroot.destdir

If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page.
Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return:

%  cd /opt/local/bin/portslocation/dports/proofgeneral
%  sudo port install proofgeneral  
Password: 

You will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to:

--->  Fetching proofgeneral
--->  Verifying checksum for proofgeneral
--->  Extracting proofgeneral
--->  Configuring proofgeneral
--->  Building proofgeneral with target all

--->  Staging proofgeneral into destroot

--->  Installing proofgeneral

- Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using proofgeneral with these commands:

%  man proofgeneral
%  apropos proofgeneral
%  which proofgeneral
%  locate proofgeneral

 Where to find more information: