Is the process of building the git version of ats2 documented anywhere?
The instructions on ats-lang.org don’t seem to work for the git version.
Also, what is the difference between the git tree on sourceforge and the
one on github? (I tried both…) The one on github is more recently
updated, but the most recent commit on the sourceforge branch isn’t in
the history of the one on github.
-Ian
Missed that, thanks. It’s still failing though:
[isd@nomad ATS-Postiats]$ make -f codegen/Makefile_atslib
make -C prelude/SATS/CODEGEN -f Makefile.gen
make[1]: Entering directory ‘/home/isd/src/github.com/githwxi/ATS-Postiats/prelude/SATS/CODEGEN’
“/usr/lib/ats-anairiats-0.2.11/”/bin/atscc -o Makefile.exe Makefile_atxt.dats -latsdoc
/usr/lib/ats-anairiats-0.2.11/bin/atsopt --output Makefile_atxt_dats.c --dynamic Makefile_atxt.dats
/home/isd/src/github.com/githwxi/ATS-Postiats/prelude/SATS/CODEGEN/Makefile_atxt.dats: 155(line=10, offs=9) – 182(line=10, offs=36): error(1): the file [libatsdoc/dynloadall.dats] is not available for dynamic loading
exit(ATS): uncaught exception: ATS_2d0_2e2_2e11_2src_2ats_error_2esats__FatalErrorException(1027)
Makefile.gen:21: recipe for target ‘Makefile.exe’ failed
make[1]: *** [Makefile.exe] Error 1
make[1]: Leaving directory ‘/home/isd/src/github.com/githwxi/ATS-Postiats/prelude/SATS/CODEGEN’
codegen/Makefile_atslib:23: recipe for target ‘prelude_sats’ failed
make: *** [prelude_sats] Error 2
Environment variables are set now:
[isd@nomad ATS-Postiats]$ env|grep ATS
ATSHOME=/usr/lib/ats-anairiats-0.2.11/
PATH=/home/isd/src/github.com/githwxi/ATS-Postiats/bin:/home/isd/.opam/system/bin:/home/isd/cross-tools/bin:/home/isd/.gem/ruby/2.0.0/bin:/home/isd/src/github.com/zenhack/tools/bin:/home/isd/bin:/home/isd/.cabal/bin:/home/isd/pkg/go/bin:/usr/local/sbin:/usr/local/bin:/usr/bin:/opt/android-sdk/platform-tools:/opt/android-sdk/tools:/usr/bin/core_perl
ATSHOMERELOC=ATS-0.2.11
That file it’s referencing, ‘libtatsdoc/dynloadall.dats’ - where is it
supposed to be? I can’t seem to find it either in the postiats tree or
in my anairiats tree.
-Ian
Quoting Hongwei Xi (2013-12-28 21:38:57)
See the following post:
https://groups.google.com/forum/?fromgroups#!topic/ats-lang-users/p009k9Lhh3k
The version on souceforge is more stable. Right now, I package what I have
once
in a month or two and then release it on sourceforge. The version on github
is essentially
the working version I use myself.On Saturday, December 28, 2013 8:02:30 PM UTC-5, Ian Denhardt wrote:
Is the process of building the git version of ats2 documented anywhere?
The instructions on ats-lang.org don’t seem to work for the git version.Also, what is the difference between the git tree on sourceforge and the
one on github? (I tried both…) The one on github is more recently
updated, but the most recent commit on the sourceforge branch isn’t in
the history of the one on github.-Ian