NAME

       patsopt - ATS2 to C compiler

SYNOPSIS

       patsopt [<options>] [-o <file>] <specifications>...

DESCRIPTION

       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.

       EXAMPLES

       patsopt -o test.c -d test.dats

       Compile test.dats to a C file.

       patsopt -tc -d test.dats

       Typecheck test.dats only.

SEE ALSO

       patscc(1),
       These  programs  are  documented  fully  by  The  ATS2/Postiats  user's  manual  available via the web at
       http://www.ats-lang.org/

AUTHOR

       patsopt was written by Hongwei Xi.

       This manual page was written by Matthew Danish <mrd@debian.org>, for the Debian project (and may be  used
       by others).

                                                 October 8, 2013                                       atsopt(1)