|
|||||||||
Saturday the 7th of November, 2009 |
|||||||||
mosml most recent diffversion 2.01
Scroll down toward the bottom of the page to get installation instructions for mosml. The raw portfile for mosml 2.01 is located here: http://mosml.darwinports.com/dports/lang/mosml/Portfile Find related portfiles with the unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/mosml The mosml Portfile 56061 2009-08-24 00:33:19Z ryandesign PortSystem 1.0 Name: mosml Version: 2.01 Revision: 2 Category: lang devel ml Platform: darwin Maintainers: rift.dk:cso Description: Moscow ML is an implementation of Standard ML (SML) Long Description: Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research. Version 2.01 implements the full SML language, including SML Modules, and much of the SML Basis Library. Homepage: http://www.dina.dk/~sestoft/mosml.html Master Sites: http://www.dina.kvl.dk/~sestoft/mosml distfiles mos201src.tar.gz Checksums: md5 74aaaf988201fe92a9dbfbcb1e646f70 Patch Files: patch-src-Makefile.diff patch-src-Makefile-inc.diff patch-src-launch-Makefile.diff patch-src-dynlibs.diff worksrcdir mosml post-patch { reinplace "s|/usr/bin/cpp|${configure.cpp}|" ${worksrcpath}/src/Makefile.inc reinplace "s|LD=gcc|LD=${configure.cc}|" ${worksrcpath}/src/Makefile.inc reinplace "s|CC=gcc|CC=${configure.cc}|" ${worksrcpath}/src/Makefile.inc } configure.dir ${worksrcpath}/src/config configure.cmd ./autoconf configure.pre_args ${configure.cc} build.target world build.pre_args -Csrc DESTROOT=${prefix} ${build.target} destroot.pre_args -Csrc DESTROOT=${destroot}${prefix} ${destroot.target} post-destroot { system "ln -sf ${prefix}/bin/camlrunm ${destroot}${prefix}/lib/mosml/camlrunm" } 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/mosmlYou 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 mosml with these commands: % man mosml 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 |
|||||||
| |




