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

The isabelle-devel Portfile 58721 2009-10-03 11:17:18Z mww macports.org $

PortSystem 1.0

Name: isabelle-devel
Version: 2009-10-01
set my_version [clock format [clock scan ${version}] -format %d-%b-%Y]
Category: math lang ml
Platform: darwin
Maintainers: mww
license BSD
Description: Isabelle is a popular generic theorem proving environment
Long Description: Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2008 release.

Homepage: http://isabelle.in.tum.de/
Master Sites: ${homepage}/devel/
distname Isabelle_${my_version}
Checksums: md5 27972200c65514bd07044f473d8b5023 sha1 e170691acb2e6ded3409459afe8f4fa64ad7b016 rmd160 8dd39c2f40ba7804e5723ce848de04e4d65c7cd0
Patch Files: patch-etc-settings.diff

depends_lib port:polyml

post-extract {
file rename ${worksrcpath}/doc ${workpath}/doc
system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc"
}

configure {
reinplace "s| prefix |${prefix}|g" ${worksrcpath}/etc/settings
}

build {
system "cd ${workpath}/${worksrcdir} && ./build -a -b"
}

destroot {
file copy ${worksrcpath} ${destroot}${prefix}/lib/${name}
system "${destroot}${prefix}/lib/${name}/bin/isabelle install -p ${destroot}${prefix}/bin -d ${prefix}/lib/${name}"
xinstall -d ${destroot}${prefix}/share/doc/
file copy ${workpath}/doc ${destroot}${prefix}/share/doc/${name}-${version}
}

livecheck.type regex
livecheck.url ${homepage}/devel/
livecheck.version ${my_version}
livecheck.regex (\[0-9\]+-\[a-zA-Z\]+-200\[7-9\])\\.tar\\.gz

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/isabelle-devel
%  sudo port install isabelle-devel  
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 isabelle-devel
--->  Verifying checksum for isabelle-devel
--->  Extracting isabelle-devel
--->  Configuring isabelle-devel
--->  Building isabelle-devel with target all

--->  Staging isabelle-devel into destroot

--->  Installing isabelle-devel

- 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 isabelle-devel with these commands:

%  man isabelle-devel
%  apropos isabelle-devel
%  which isabelle-devel
%  locate isabelle-devel

 Where to find more information: