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
