EnglishFrenchSpanish

Ad


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

PROGRAM:

NAME


atsopt - ATS to C compiler

SYNOPSIS


atsopt <command>...

DESCRIPTION


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

COMMANDS


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

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

--debug=1
Enable generation of debugging information.

-dep, --depgen
Generate dependency lists.

-h, --help
Print the usage information.

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

--posmark_html
Generate an HTML file with colored concrete syntax.

--posmark_xref
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.

EXAMPLES


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
    packfilemanager
    packfilemanager
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 2
    IPerf2
    IPerf2
    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
    Matplotlib
    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
    BotMan
    BotMan
    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
    Joplin
    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

Ad