coq version 8.1pl2 for Mac OS X 10.5 Leopard
Friday the 16th of May, 2008

    coq  most recent diff


      View the most recent changes for the coq port at: coq.darwinports.com/diff
      Scroll down toward the bottom of the page to get installation instructions for coq.
      The raw portfile for coq 8.1pl2 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
      Google
      Web Darwinports.com



      # $Id: Portfile 30978 2007-11-12 22:46:51Z milosh macports.org $

      PortSystem 1.0

      Name: coq
      Version: 8.1pl2
      Category: lang math
      Maintainers: reilles loria.fr
      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 <http://coq.inria.fr/>.
      Homepage: http://coq.inria.fr/
      master_sites http://coq.inria.fr/V8.1pl2/files/

      distfiles ${name}-${version}.tar.gz:coq
      checksums ${name}-${version}.tar.gz sha1 33ab31abffe42559a5c8341b66a0520805337526

      configure.pre_args -prefix ${prefix}
      configure.args -emacslib ${prefix}/share/emacs/site-lisp/
      depends_lib bin:ocamlc:ocaml port:camlp5
      build.target world
      destroot.target install
      destroot.destdir COQINSTALLPREFIX=${destroot} FULLMANDIR=${destroot}${prefix}/share/man/

      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."
      }

    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/coq
      % sudo port install coq
      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 coq
      ---> Verifying checksum for coq
      ---> Extracting coq
      ---> Configuring coq
      ---> Building coq with target all
      ---> Staging coq into destroot
      ---> Installing coq
    - 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
      % apropos coq
      % which coq
      % locate coq

     Where to find more information:

    Darwin Ports



    image test