OnWorks favicon

atsopt - Online in the Cloud

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

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



atsopt - ATS to C compiler


atsopt <command>...


atsopt is the compiler from ATS to C. It is most commonly invoked by atscc which is the
preferred frontend for compiling ATS code.


atsopt takes a number of commands with parameters to determine its behavior:

-d, --dynamic <filenames>
Dynamically load the filenames.

Enable generation of debugging information.

-dep, --depgen
Generate dependency lists.

-h, --help
Print the usage information.

-o, --output <filename>
Specify the output filename.

Generate an HTML file with colored concrete syntax.

Generate an HTML file with syntactic cross-references.

-s, --static <filenames>
Statically load the filenames.

-tc, --typecheck
Typecheck the given ATS source files, but go no further.

-v, --version
Show ATS/Anairiats version and gcc version.


atsopt -o test.c -d test.dats

Compile test.dats to a C file.

atsopt -tc -d test.dats

Typecheck test.dats only.

atsopt -o test.html -d test.dats --posmark_html

Write a syntax colored version of test.dats.

Use atsopt online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 2
    A network traffic tool for measuring
    TCP and UDP performance with metrics
    around both throughput and latency. The
    goals include maintaining an active
    iperf cod...
    Download IPerf2
  • 3
    fre:ac - free audio converter
    fre:ac - free audio converter
    fre:ac is a free audio converter and CD
    ripper for various formats and encoders.
    It features MP3, MP4/M4A, WMA, Ogg
    Vorbis, FLAC, AAC, and Bonk format
    support, ...
    Download fre:ac - free audio converter
  • 4
    Matplotlib is a comprehensive library
    for creating static, animated, and
    interactive visualizations in Python.
    Matplotlib makes easy things easy and
    hard thing...
    Download Matplotlib
  • 5
    Write your chatbot logic once and
    connect it to one of the available
    messaging services, including Amazon
    Alexa, Facebook Messenger, Slack,
    Telegram or even yo...
    Download BotMan
  • 6
    Joplin is a free and open source
    note-taking and to-do application that
    can handle a large number of notes in
    Markdown format, organize them into
    notebooks and...
    Download Joplin
  • More »

Linux commands