Re: Building ATS2 from Github head.

2020-12-31 Thread Hongwei Xi
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.

Re: Building ATS2 from Github head.

2020-12-31 Thread Steinway Wu
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*

Re: Building ATS2 from Github head.

2020-12-31 Thread gmhwxi
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

Building ATS2 from Github head.

2020-12-31 Thread Steinway Wu
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