This is an issue of the ATS2/Postiats compiler because it uses the absolute path of a file to create a name during compilation for the package stored in the file. This is not a reliable approach. Hopefully, something better can be used for ATS3. One possibility is to just follow what Java does.
On Thu, Dec 31, 2020 at 7:50 PM Steinway Wu <steinway...@gmail.com> wrote: > 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 > <https://groups.google.com/d/msgid/ats-lang-users/CAL-Unv9pvBNQtcQwK_wJ-wVdzmS-2HmnmZzKLr_SoTKonBVPmA%40mail.gmail.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/CAPPSPLpQkrw%3DdNn6miFquKPG4wqfXAObVsw8tEPOeSN9LZ7-RA%40mail.gmail.com.
