Re: Building ATS2 from Github head.
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 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 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
>>
>> .
>>
> --
> 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
>
> .
>
--
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.
Re: Building ATS2 from Github head.
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 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
>
> .
>
--
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.
Re: Building ATS2 from Github head.
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 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/87cbe011-5997-4d96-a439-2522ced8e8adn%40googlegroups.com.
