|
|||||||||
Sunday the 11th of May, 2008 |
|||||||||
caml-menhir most recent diff
Scroll down toward the bottom of the page to get installation instructions for caml-menhir. The raw portfile for caml-menhir 20070520 is located here: http://caml-menhir.darwinports.com/dports/devel/caml-menhir/Portfile Find related portfiles with the unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/caml-menhir # $Id: Portfile 31207 2007-11-18 10:25:12Z erickt PortSystem 1.0 Name: caml-menhir Version: 20070520 Category: devel ml Maintainers: erickt Description: Menhir is a LR(1) parser generator for the Objective Caml programming language. Long Description: Menhir is a LR(1) parser generator for the Objective Caml programming language. Homepage: http://cristal.inria.fr/~fpottier/menhir master_sites http://cristal.inria.fr/~fpottier/menhir distname menhir-${version} checksums md5 babfd53c23ae0330b4337b1e362c73de sha1 9e329763451776ec2edc7f5f0f1c423b71074185 rmd160 9d1117e90c0e2c80bcd04ca4f63d2ea80f06a8a2 depends_lib port:caml-findlib port:ocaml use_configure no build.env PREFIX=${prefix} destroot.env PREFIX=${destroot}${prefix} 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/caml-menhirYou 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 caml-menhir with these commands: % man caml-menhir Where to find more information:
|
![]() |
![]() Digg caml-menhir 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 |
|||||||
| |




