EnglishFrenchSpanish

OnWorks favicon

smlsharp - Online in the Cloud

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

This is the command smlsharp 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


shlsharp - Standard ML compiler with practical extensions

SYNOPSIS


smlsharp [options] file ...

DESCRIPTION


SML# is a new programming language in the Standard ML family being
developed at RIEC (Research Institute of Electrical Communication),
Tohoku University. Its design goal is to provide practically important
extensions while maintaining the compatibility of the Definition of
Standard ML.

OPTIONS:


--help print this message

-v verbose mode

-o <file>
place the output to <file>

-c compile only; do not assemble and link

-S compile and assemble; do not link

-M make dependency for compile

-MM make dependency for compile but ignore system files

-Ml make dependency for link

-MMl make dependency for link but ignore system files

-fsyntax-only
check for syntax errors, and exit

-ftypecheck-only
check for type errors, and exit

-fprint-main-ids
print main entry identifiers, and exit

-I <dir>
add <dir> to file search path

-L <dir>
add <dir> to library path of the linker

-l <libname>
link with <libname> to create an executable file

-Wl,<args>
pass comma-separated <args> to the linker

-Wa,<args>
pass comma-separated <args> to the assembler

-target=<target>
set target platform to <target>

-nostdpath
no standard file search path is used

-d <key>=<value>
set extra option for compiler developers.

Use smlsharp online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    strace
    strace
    The strace project has been moved to
    https://strace.io. strace is a
    diagnostic, debugging and instructional
    userspace tracer for Linux. It is used
    to monitor a...
    Download strace
  • 2
    gMKVExtractGUI
    gMKVExtractGUI
    A GUI for mkvextract utility (part of
    MKVToolNix) which incorporates most (if
    not all) functionality of mkvextract and
    mkvinfo utilities. Written in C#NET 4.0,...
    Download gMKVExtractGUI
  • 3
    JasperReports Library
    JasperReports Library
    JasperReports Library is the
    world's most popular open source
    business intelligence and reporting
    engine. It is entirely written in Java
    and it is able to ...
    Download JasperReports Library
  • 4
    Frappe Books
    Frappe Books
    Frappe Books is a free and open source
    desktop book-keeping software that's
    simple and well-designed to be used by
    small businesses and freelancers. It'...
    Download Frappe Books
  • 5
    Numerical Python
    Numerical Python
    NEWS: NumPy 1.11.2 is the last release
    that will be made on sourceforge. Wheels
    for Windows, Mac, and Linux as well as
    archived source distributions can be fou...
    Download Numerical Python
  • 6
    CMU Sphinx
    CMU Sphinx
    CMUSphinx is a speaker-independent large
    vocabulary continuous speech recognizer
    released under BSD style license. It is
    also a collection of open source tools ...
    Download CMU Sphinx
  • More »

Linux commands

crm
crm
Use crm online using onworks.net
services. ...
Run crm
  • 4
    crmgr
    crmgr
    crmgr - administration utility for QDBM
    Curia ...
    Run crmgr
  • 5
    gappletviewer
    gappletviewer
    gappletviewer - Load and runs an applet
    ...
    Run gappletviewer
  • 6
    gaps
    gaps
    mummer - package for sequence alignment
    of multiple genomes ...
    Run gaps
  • s-processed="true">
    g15stats
    g15stats - A CPU/Memory/Swap usage
    meter for G15Daemon DESCRIPTION: The
    packages provides the following usage
    meter for LCD on some Logitech
    keyboards, usind g...
    Run g15stats
  • More »
  • Ad