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
    Image Downloader
    Image Downloader
    Crawl and download images using
    Selenium Using python3 and PyQt5.
    Supported Search Engine: Google, Bing,
    Baidu. Keywords input from the keyboard
    or input from ...
    Download Image Downloader
  • 2
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    The Eclipse Tomcat Plugin provides
    simple integration of a tomcat servlet
    container for the development of java
    web applications. You can join us for
    discussio...
    Download Eclipse Tomcat Plugin
  • 3
    WebTorrent Desktop
    WebTorrent Desktop
    WebTorrent Desktop is for streaming
    torrents on Mac, Windows or Linux. It
    connects to both BitTorrent and
    WebTorrent peers. Now there's no
    need to wait for...
    Download WebTorrent Desktop
  • 4
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 5
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 6
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • More »

Linux commands

Ad