|
|||||||||
Saturday the 7th of November, 2009 |
|||||||||
coq most recent diffversion 8.2pl1
Scroll down toward the bottom of the page to get installation instructions for coq. The raw portfile for coq 8.2pl1 is located here: http://coq.darwinports.com/dports/lang/coq/Portfile Find related portfiles with the unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/coq The coq Portfile 58228 2009-09-24 16:23:16Z ryandesign PortSystem 1.0 Name: coq Version: 8.2pl1 Revision: 1 Platform: darwin Category: lang math Maintainers: loria.fr:reilles Homepage: http://coq.inria.fr/ Master Sites: ${homepage}V${version}/files/ Description: Proof assistant for higher-order logic Long Description: Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <${homepage}>. Checksums: md5 36eed48bc63ada8abf27f96eb126906c sha1 4aed3302adc2edbaa5d97984512c1c13014bd649 rmd160 dd5758a94bb3de49967cec76baa33eb5169659ce use_parallel_build yes configure.pre_args -prefix ${prefix} configure.args -emacslib ${prefix}/share/emacs/site-lisp/ -mandir ${prefix}/share/man -coqdocdir ${prefix}/share/coq/latex -coqide none -with-doc no depends_lib bin:ocamlc:ocaml port:camlp5 build.target world destroot.target install destroot.destdir COQINSTALLPREFIX=${destroot} Patch Files: patch-doc-tools-latex_filter.diff post-activate { ui_msg "The style file for LaTeX documentation," ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex." ui_msg "Add this to your TEXINPUTS if you wish to" ui_msg "use it." } Variant: doc description {Build documentation} { depends_build-append port:texlive port:hevea port:netpbm configure.args-delete -with-doc no configure.args-append -with-doc yes } Variant: coqide description {Install CoqIDE} { depends_lib-append port:lablgtk2 configure.args-delete -coqide none configure.args-append -coqide opt } 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/coqYou 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 coq with these commands: % man coq 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 |
|||||||
| |




