|
|||||||||
Friday the 16th of May, 2008 |
|||||||||
isabelle most recent diff
Scroll down toward the bottom of the page to get installation instructions for isabelle. The raw portfile for isabelle 2007 is located here: http://isabelle.darwinports.com/dports/math/isabelle/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 # $Id: Portfile 31976 2007-12-13 02:02:57Z mww PortSystem 1.0 Name: isabelle Version: 2007 revision 1 Category: math lang ml Maintainers: mww 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. Homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ master_sites http://isabelle.in.tum.de/dist/ http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/ http://mirror.cse.unsw.edu.au/pub/isabelle/dist/ distname Isabelle${version} checksums md5 088e56b79a4c8cd3e4de7dad62a35827 sha1 dd1312a1af296cb02754069691801a23e03c7e15 patchfiles patch-etc-settings 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| } build { system "cd ${workpath}/${worksrcdir} && ./build -a -b" } destroot { file copy ${worksrcpath} ${destroot}${prefix}/lib/${name} system "${destroot}${prefix}/lib/${name}/bin/isatool 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.check regex livecheck.url http://www.cl.cam.ac.uk/research/hvg/Isabelle/download.html livecheck.regex Isabelle(\[0-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/isabelleYou 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: 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 with these commands: % man isabelle Where to find more information:
|
![]() |
![]() Digg isabelle on MacOSX
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
aqua
archivers audio benchmarks cad comms cross databases devel editors emulators games genealogy gnome gnustep graphics irc java kde lang math multimedia net news palm perl python ruby science security shells sysutils textproc www x11 xfce zope
Current CVS DownloadsDarwin Ports Current :nightly CVS snapshot OpenDarwin CVSWeb SSH Key Gen |
|||||||
| |




