#
# Providing via nodejs
# patsopt-functionalities 
#
######

Source code:

The source for compilation is required to be stored under
the PATSHOME directory. For instance, there is a directory of the
name PATSHOME/mytmp that can be used to store source code. One may
want create a symbolic link of this directory for a bit of convenience.

######

Typical usage:

A single-file program in ATS can be compiled as follows:

nodejs patsopt_dats.js -d PATSHOME/mytmp/hello.dats > output/hello_dats.c

The generated C code can be compiled to into object code by a compiler like
gcc or clang:

CC=gcc & \
${CC} -I${PATSHOME} -I${PATSHOME}/ccomp/runtime -o output/hello output/hello_dats.c

Another possibility is for the generated C code to be transpiled into JavaScript
via atscc2js.

######

###### end of [README] ######