|
|||||||||
Saturday the 7th of November, 2009 |
|||||||||
isabelle most recent diffversion 2009
Scroll down toward the bottom of the page to get installation instructions for isabelle. The raw portfile for isabelle 2009 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 The isabelle Portfile 57375 2009-09-10 08:16:41Z ryandesign PortSystem 1.0 Name: isabelle Version: 2009 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. 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 2b7a8d49bfba64aac7227d692c15c27b sha1 2af6f19f23436c37611d8df23e918f76e9190f39 rmd160 7cbde579b6f897b8110c465f17a185f04f6587e0 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| } 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 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:
|
![]() |
![]()
Order Snow Leopard MacOSX 10.6 for only $29!
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
accounting
amusements aqua archivers audio benchmarks biology blinkenlights cad chat chinese comms compression cross crypto databases devel editors education electronics emacs emulators erlang finance fonts framework fuse games genealogy gis gnome gnustep graphics gtk haskell iphone irc japanese java kde kde4 lang macports math mercurial ml mono multimedia net network news ocaml office palm parallel perl php pim project python reporting rox ruby russian scheme science security shells spelling squeak sysutils tcl tex textproc tk unicode vnc win32 wsn www x11 x11-font x11-wm xfce zope
Current SVN DownloadsDarwin Ports Current :nightly SVN snapshot SSH Key Gen See also: GNU-Darwin Ports for GNU-only software |
|||||||
| |




