It is so weird, turns out that ATSHOME=/some/path/with/../../in/it make -f Makefile_devl all
will fail, but ATSHOME=/some/absolute/path/with/no/dot make -f Makefile_devl all works. Any idea what could have caused that? Is it a Make issue or is it an ATS compiler issue? *Steinway Wu* *吴翰文* *Google Cloud* *I'm not a coder.* *I'm an artist of life.* On Dec 31, 2020 at 1:31:10 PM, gmhwxi <gmh...@gmail.com> wrote: > > Maybe this has something to do with where the ATS2 package is stored on > your computer. > Could you try something like: > > cd /tmp > wget > http://downloads.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.12/ats-lang-anairiats-0.2.12.tgz > tar xf ats-lang-anairiats-0.2.12.tgz > cd ats-lang-anairiats-0.2.12/ > export ATSHOME=${PWD} > export ATSHOMERELOC=ATS-0.2.12 > ./configure && make all > > Just tried. This script works for me. > > On Thursday, December 31, 2020 at 12:18:22 PM UTC-5 stein...@gmail.com > wrote: > >> Hi, >> >> It seems the documentation at >> https://github.com/githwxi/ATS-Postiats/wiki/Building-and-installing as >> well as scripts at >> https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/C9-ATS2-install-latest.sh >> are outdated. I’m trying both and encountered link errors. >> >> Here’s what I did. >> >> # installing ats1 >> wget … >> ./configure —prefix=… >> make all_ngc >> make install >> >> # installing ats2 >> git clone … >> export ATSHOME=… >> export ATSHOMERELOC=ATS-0.2.12 >> make -f Makefile_devl >> >> The errors I see is undefined reference to symbols like >> _2root_2parts_2ats1_2build_2libatsdoc_... Using nm to view the symbols >> of libatsdoc.a, I can see they are named like >> ATS_2d0_2e2_2e12_2libatsdoc_... instead. >> >> There was a post >> https://groups.google.com/g/ats-lang-users/c/uKlIX4jcL0Y/m/nKf8oezDBAAJ with >> the same error, but I believe I correctly set ATSHOMERELOC >> >> Any idea what I’m missing? >> >> >> -- > You received this message because you are subscribed to a topic in the > Google Groups "ats-lang-users" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/ats-lang-users/W62cWGzt0AI/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/87cbe011-5997-4d96-a439-2522ced8e8adn%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/87cbe011-5997-4d96-a439-2522ced8e8adn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAL-Unv9pvBNQtcQwK_wJ-wVdzmS-2HmnmZzKLr_SoTKonBVPmA%40mail.gmail.com.