---
name: "atscc"
section: "1"
platform: "linux"
package: "ats-lang-anairiats"
version: "0.2.11-1.1"
release: "Debian 11 (Bullseye)"
platforms: ["linux"]
url: "https://new.carta.tech/atscc"
---

# atscc(1)

ATS compiler frontend

## NAME

atscc - ATS compiler frontend

## SYNOPSIS

**atscc** \[*options*\] *files*...

## DESCRIPTION

**atscc** is a frontend to the **atsopt** Anairiats compiler for the ATS language.

## OPTIONS

**atscc** 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.

- **-cc, --compile**

  Only compile the given ATS source files into C files.

- **-D\_ATS\_GCATS**

  Enable the garbage collector in the generated executable.

- **-IATS \<path\>**

  Add a path to search for ATS files when doing static and dynamic loads.

- **-tc, --typecheck**

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

- **--version**

  Show ATS/Anairiats version and gcc version.

## EXAMPLES

**atscc -o test -O3 test.dats**

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

**atscc -tc test.dats**

Typecheck test.dats only.

**atscc -o test.o -c test.dats**

Compile test.dats to an object file named test.o.

## SEE ALSO

[**atsopt**(1)](/atsopt/1.md), [**atslex**(1)](/atslex/1.md),\
 These programs are documented fully by **The ATS/Anairiats user's manual** available via the web at http://www.ats-lang.org/

## AUTHOR

atscc 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).