mosml  most recent diff

View the most recent changes for the mosml port at: mosml.darwinports.com/diff
Scroll down toward the bottom of the page to get installation instructions for mosml.
The raw portfile for mosml 2.01_0 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

Web Darwinports.com




# $Id: Portfile 28458 2007-08-31 19:05:57Z mww macports.org $
PortSystem 1.0
Name: mosml
Version: 2.01_0
Category: lang devel ml
Maintainers: cso rift.dk
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
patchfiles patch-configure.diff patch-src-Makefile.diff patch-src-Makefile-inc.diff patch-src-launch-Makefile.diff
post-patch {
file attributes configure -permissions +x
}
worksrcdir mosml
build.target world
build.pre_args -Csrc DESTROOT=${destroot}${prefix} ${build.target}
destroot.pre_args -Csrc DESTROOT=${destroot}${prefix} ${destroot.target}

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/mosml
%  sudo port install mosml  
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 mosml
--->  Verifying checksum for mosml
--->  Extracting mosml
--->  Configuring mosml
--->  Building mosml with target all

--->  Staging mosml into destroot

--->  Installing mosml

- 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
%  apropos mosml
%  which mosml
%  locate mosml

 Where to find more information: