Provided by: ats2-lang_0.3.11-2_amd64 bug

NAME

       myatscc - Simple ATS2 compiler frontend

SYNOPSIS

       myatscc [options] files...

DESCRIPTION

       myatscc  is  a  frontend intended to simplify the compilation of ATS source code.  myatscc
       attempts to figure out the necessary flags to compile any .dats file given to  it  on  the
       command-line. A special comment-based syntax is provided for specifying options to the the
       myatscc frontend, and these comments are written directly  into  the  source  file  to  be
       compiled.

OPTIONS

       --dry  See the commands that myatscc would generate without actually running them.

       --gc   For use of the Boehm garbage collector for malloc.

       --help Show usage information.

EXAMPLES

       Whatever  needed  for  compiling foo.dats should be written as some form of comment inside
       foo.dats. For instance, the following comment is assumed to be the default (if nothing  is
       given explicitly):

       (*
       ##myatsccdef=
       patscc -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o $fname($1) $1
       *)

       Then on the command line the file may be compiled with:

       myatscc foo.dats

SEE ALSO

       patsopt(1), 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

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

                                          July 30, 2018                                myatscc(1)