patscc

NAME

patscc − ATS2 compiler frontend

SYNOPSIS

patscc [options] files...

DESCRIPTION

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

OPTIONS

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.

ENVIRONMENT VARIABLES

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/lib

PATSHOME, 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.

EXAMPLES

patscc -o test -O3 test.dats

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

patscc -tcats test.dats

Typecheck test.dats only.

patscc -ccats test.dats

Compile to C file test_dats.c only.

patscc -o test.o -c test.dats -cleanaft

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

SEE ALSO

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

AUTHOR

patscc was written by Hongwei Xi.

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