I modified that script a bit. You can now use it to build libatsopt and libatsynmark.
On Saturday, May 7, 2016 at 9:31:48 AM UTC-4, gmhwxi wrote: > > Please take a look at the following script to see how libatsopt can be > built: > > > https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/C9-ATS2-install-latest.sh > > On Sat, May 7, 2016 at 9:23 AM, Kiwamu Okabe wrote: > >> On Sat, May 7, 2016 at 10:17 PM, Hongwei Xi wrote: >> > You are almost there. >> > >> > cd ${PATSHOME}/utils/libatsopt >> > >> > make >> > >> > cd ${PATSHOME}/utlls/libatsynmark >> > >> > make >> > >> > After building libatsopt and libatsynmark, you can move them to >> > ${ATSHOME}/ccomp/lib >> > >> > Then it should work. >> >> ``` >> $ cd ${PATSHOME}/utils/libatsopt >> $ make >> --snip-- >> gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_emit3_dats.o >> pats_ccomp_emit3_dats.c >> gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_main_dats.o >> pats_ccomp_main_dats.c >> gcc -O2 -I. -I./ccomp/runtime -c -o pats_comarg_dats.o pats_comarg_dats.c >> make[1]: *** No rule to make target 'prelude_basics_sta_sats.o', >> needed by 'prelude_libats.o'. Stop. >> make[1]: Leaving directory '/home/kiwamu/src/ATS-Postiats/src/CBOOT' >> Makefile:29: recipe for target 'libatsopt' failed >> ``` >> -- >> 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/CAEvX6dk25doAq0WU1fEdtgSpCWhTp3_%3D-sKKzxd6q4H6v2M5MQ%40mail.gmail.com >> . >> > > -- 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/4eb1ad7b-ec26-4187-a8c8-91005b63feed%40googlegroups.com.
