EnglishFrenchSpanish

Ad


OnWorks favicon

ml-build - Online in the Cloud

Run ml-build in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command ml-build that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


ml-build - command-line build tool for SML/NJ programs

SYNOPSIS


ml-build [OPTIONS] group.cm [main [heap-image]]

DESCRIPTION


The ml-build is a command-line tool for building applications from SML source files using
the Compilation Manager and SML/NJ compiler.

OPTIONS


-Cctl=value
set the control ctl to value.

-Dname=value
define the CM variable name to have the given value.

-D'name
define the CM variable name to have the value 1.

-Uname
remove any definition of the CM variable name.

-S setup.cm
load and execute the code specified by the CM file setup.cm prior to the main build
process. This option allows one to customizes the compiler via side-effect.

EXAMPLES


ml-build sources.cm, ml-build sources.cm Main.main, ml-build sources.cm Main.main prog
AUTHOR

Written by Matthias Blume.

COPYING

Copyright © 2014 The Fellowship of SML/NJ

This is free software; see the source for copying conditions. There is NO warranty; not
even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Use ml-build online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Canon EOS DIGITAL Info
    Canon EOS DIGITAL Info
    Canon doesn�t have shutter count
    included on the EXIF information of an
    image file, as opposed to Nikon and
    Pentax. There�s no official Canon based
    application ...
    Download Canon EOS DIGITAL Info
  • 2
    rEFInd
    rEFInd
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 3
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 4
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    tas...
    Download Music Caster
  • 5
    PyQt
    PyQt
    PyQt is the Python bindings for
    Digia's Qt cross-platform
    application development framework. It
    supports Python v2 and v3 and Qt v4 and
    Qt v5. PyQt is avail...
    Download PyQt
  • 6
    Sardi
    Sardi
    Sardi is a complete restyling and
    optimisation of svg code. 6 choices for
    your applications and 10 kind of folders
    to use in your file manager. The sardi
    icons...
    Download Sardi
  • More »

Linux commands

  • 1
    abi-tracker
    abi-tracker
    abi-tracker - visualize ABI changes
    timeline of a C/C++ software library.
    DESCRIPTION: NAME: ABI Tracker
    (abi-tracker) Visualize ABI changes
    timeline of a C/C+...
    Run abi-tracker
  • 2
    abicheck
    abicheck
    abicheck - check application binaries
    for calls to private or evolving symbols
    in libraries and for static linking of
    some system libraries. ...
    Run abicheck
  • 3
    cpanmp
    cpanmp
    cpanm - get, unpack build and install
    modules from CPAN ...
    Run cpanmp
  • 4
    cpanpp
    cpanpp
    cpanp - The CPANPLUS launcher ...
    Run cpanpp
  • 5
    gajim-remote
    gajim-remote
    gajim-remote � a remote control utility
    for gajim(1) ...
    Run gajim-remote
  • 6
    gajim
    gajim
    gajim � a Jabber/XMPP client ...
    Run gajim
  • More »

Ad