On Sat, May 7, 2016 at 10:02 PM, Hongwei Xi <gmh...@gmail.com> wrote:
> Try
>
> cp ${ATSHOME}/config.h ${PATSHOME}/.
```
$ pwd
/home/kiwamu/src/ATS-Postiats/doc/BOOK/INT2PROGINATS
$ cp ${ATSHOME}/config.h ${PATSHOME}/
$ make -C ATEXT
make: Entering directory
'/home/kiwamu/src/ATS-Postiats/doc/BOOK/INT2PROGINATS/ATEXT'
\
/home/kiwamu/src/ATS-Postiats/bin/patscc -O2 -o bin/myatexting \
-D_ATS_GCBDW \
-DATS_MEMALLOC_GCBDW \
myatexting.dats
/home/kiwamu/src/ATS-Postiats/utils/atexting/atexting_mylib.dats \
/home/kiwamu/src/ats-lang-anairiats-0.2.12/ccomp/runtime/ats_prelude.c
-L/home/kiwamu/src/ats-lang-anairiats-0.2.12/ccomp/lib
-L/home/kiwamu/src/ats-lang-anairiats-0.2.12/ccomp/lib64 -latsynmark
-latsopt -lats -lgmp -lgc
/usr/bin/ld: cannot find -latsynmark
/usr/bin/ld: cannot find -latsopt
collect2: error: ld returned 1 exit status
Makefile:33: recipe for target 'myatexting' failed
```
The `libatsynmark` and `libatsopt` come from ATS1?
Best regards,l
--
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 ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
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/CAEvX6dndgC02e3_aq45ofS6_TYFZf6sADm6%2BJC0-xDA1O0BLxA%40mail.gmail.com.
