ats1-libatsopt

0.3.5-3 • Public • Published

Libatsopt

Libatsopt is the library version of Patsopt (i.e., the compiler for ATS/Postiats). It is primarily for implementing tools that process the syntax trees of programs written in ATS2.

Building libatsopt

After npm-installing the package ats1-libatsopt, one needs to locate where the package is stored locally. For the sake of illustration, let us suppose that the package resides inside a directory of the following name:

$SomePath/node_modules/ats1-libatsopt

Please issue the following command-line to build libatsopt:

cd $SomePath/node_modules/ats1-libatsopt; make all

Alternatively, one may issue the following command-line:

make -C $SomePath/node_modules/ats1-libatsopt all

Linking to libatsopt

Note that the generated library libatsopt.a is stored in the following directory:

$SomePath/node_modules/ats1-libatsopt/ccomp/atslib/lib

Typically, one needs the following options for linking to libatsopt

-L $SomePath/node_modules/ats1-libatsopt/ccomp/atslib/lib -latsopt

Examples of using libatsopt

Please find various examples of using libatsopt inside libatsopt/TEST/.

Package Sidebar

Install

npm i ats1-libatsopt

Weekly Downloads

1

Version

0.3.5-3

License

GPLv3

Last publish

Collaborators

  • npmhwxi