How to install ATS library (libatslib.a)

28 views
Skip to first unread message

gmhwxi

unread,
Nov 12, 2017, 11:30:09 AM11/12/17
to ats-lang-users

I have been using ATS more and more for non-systems related programming.

For convenience and productivity, it makes a lot of sense to provide a powerful
library where the code may require GC at run-time. There is now some code in
the following directory that is not template-based; it is compiled into libatslib.a
(or libatslib.so):

${PATSHOME}/libats/ML/COMPILE

Here is some testing code:

${PATSHOME}/doc/EXAMPLE/ATSLIB/libats_ML_COMPILE_all.dats

######

Say that you build ATS in a directory named ATS-BUILD. Then you do

make install

to install ATS into another directory (e.g., /usr/local/lib/myats).

Now please set PATSHOME to /usr/local/lib/myats. Please do the
following in ATS-BUILD:

make -C ccomp/atslib clean atslib

Then do

make reinstall_atslib

which should properly install libatslib.a into a directory inside /usr/local/lib/myats

Reply all
Reply to author
Forward
0 new messages