On Sat, May 7, 2016 at 10:31 PM, Hongwei Xi <[email protected]> wrote:
> Please take a look at the following script to see how libatsopt can be
> built:
Thanks! I got it.
```
$ pwd
/home/kiwamu/src/ATS-Postiats
$ cp ${ATSHOME}/config.h .
$ make -f Makefile_devl
$ make -C src cleanall
$ make -C src/CBOOT/prelude
$ make -C src/CBOOT/libc
$ make -C src/CBOOT/libats
$ (cd utils/libatsopt && make && make clean)
$ cp utils/libatsopt/libatsopt.a ${ATSHOME}/ccomp/lib
$ (cd utils/libatsynmark && make && make clean)
$ cp utils/libatsynmark/libatsynmark.a ${ATSHOME}/ccomp/lib
$ cd doc/BOOK/INT2PROGINATS
$ make
$ make -C ATEXT
$ make -C HTML synhilit
$ x-www-browser HTML/index.html
```
--
Kiwamu Okabe at METASEPI DESIGN
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3DYT3o%3DEp8e-Vm2vF4DGEF8ZxA_jtX_nOG8MG6aDmqwJg%40mail.gmail.com.
