patsopt1
Ats2 to c compiler
Usage
patsopt [<options>]
[-o
<file>]
<specifications> ...
Overview
patsopt is the compiler from ATS2 to C. It is most commonly invoked by patscc which is the preferred frontend for compiling ATS2 code. If no output filename is specified then the default is standard output. The output option -o <file> must be specified before any other specifications are given.
Options
patsopt takes a number of commands with parameters to determine its behavior:
-
--depgen -
Generate dependency lists.
-
--gline -
Generate line pragma information in target code.
-
-h, --help -
Print the usage information.
-
--taggen -
Generate tagging information on syntactic entities.
-
-tc, --typecheck -
Typecheck the given ATS source files, but go no further.
-
-v, --version -
Show ATS2/Postiats version and gcc version.
Specifications
patsopt takes a number of command-line specifications of the files it is to process.
- -d, --dynamic <filenames>
-
Dynamically load the filenames.
- -o, --output <filename>
-
Specify the output filename.
- -s, --static <filenames>
-
Statically load the filenames.
- patsopt -o test.c -d test.dats
Examples
Compile test.dats to a C file.
patsopt -tc -d test.dats
Typecheck test.dats only.
Releases
Unchanged in 6 releases since Debian 8 (Jessie).