Mosml version 2.01 - How to Download and Install on Mac OS X
Monday the 23rd of November, 2009

    version 2.01

      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 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 macports.org $
      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/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:

    Darwin Ports



    Lightbox this page.