patscc - ATS2 compiler frontend

       patscc 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                                       patscc(1)

patscc is a frontend to the Postiats compiler patsopt for the ATS2 language.

PATSCCOMP,ATSCCOMP
              Use the value of this environment variable as the command name of the C compiler. The  default  is
              gcc-D_XOPEN_SOURCE-I${ATSHOME}-I${ATSHOME}/ccomp/runtime-L${ATSHOME}/ccomp/atslib/libPATSHOME,ATSHOME
              Use  the  value  of  this  environment  variable  as the path to the ATS library installation. The
              default is distribution-specific.

       PATSOPT,ATSOPT
              Use the value of this environment variable as the command name of the ATS compiler. The default is
              patsopt.

patscc-otest-O3test.dats

       Compile test.dats to an executable named test.  Tell gcc to use the third level of optimization.

       patscc-tcatstest.dats

       Typecheck test.dats only.

       patscc-ccatstest.dats

       Compile to C file test_dats.c only.

       patscc-otest.o-ctest.dats-cleanaft

       Compile test.dats to an object file named test.o, and delete intermediate C file.

       patscc - ATS2 compiler frontend

patscc  has  a  command-line  option syntax in the style of gcc and accepts all the same options, many of
       them being passed directly to the gcc backend.  Here are summarized the non-gcc options.

       -atsccomp<command>
              Specify the name of the C compiler on  the  command  line.  Otherwise,  use  environment  variable
              ATSCCOMP or the default. See further details on environment variables.

       -cleanaft
              Clean up incidental generated C files after compilation finishes.

       --compile,-ccats
              Only compile the given ATS source files into C files.

       -DATS<name>[=<value>],-DDATS<name>[=<value>]
              Define  a  name/value  macro  toplevel  value  in  ATS.   -DDATS  also passes this option to the C
              compiler.

       -IATS<path>,-IIATS<path>
              Add a path to search for ATS files when doing static and dynamic loads.  -IIATS also  passes  this
              path to the C compiler.

       -fsats<file>,-fdats<file>
              These  indicate that the following file is a SATS or a DATS file. Unnecessary if standard filename
              extensions .sats or .dats are used.

       --gline
              Place line pragma information based on ATS source in the generated C code.

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

       --version,-vats
              Show ATS2/Postiats version and gcc version.

patsopt(1),
       These programs are documented fully  by  TheATS2/Postiatsuser'smanual  available  via  the  web  at
       http://www.ats-lang.org/

patscc [options] files...