How to build atsdoc?

[aditya siram]

Hi all,
I'm trying to build some of the examples from the Github repo and the Makefile wants a utility called "atsdoc" presumably to process the atxt files. I already have ATS2-0.3.6 installed with the environment variables set up per the documentation and I can't find it anywhere. Any help is appreciated.
Thanks!
-deech

[Hongwei Xi]

Atsdoc is implemented in ATS1.

Please first download ATS1-0.2.12:

https://github.com/ats-lang/ats-lang.github.io/tree/master/ATS-Anairiats

Then do

.configure && make all_ngc

######

The top part of the following script is for building and installing ATS1:

https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/C9-ATS2-install-latest.sh

You need to set ATSHOME and ATSHOMERELOC for ATS1 (and use PATSHOME for ATS2).

######

Please feel free to post a message here if you encounter issues.

--
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+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d0dc8260-d102-4ef7-9a29-781185d8ecc6%40googlegroups.com.

[aditya siram]

Ok, great I was able to build 'atsdoc' from ATS1, then I tried to build the latest ATS2 per the instructions here https://groups.google.com/forum/?fromgroups#!topic/ats-lang-users/p009k9Lhh3k and I get:

deech@deech-ThinkpadT450:~/Downloads/ATS/ATS-Postiats$ make -f codegen/Makefile_atslib
\
  make -C "."/prelude/SATS/CODEGEN -f Makefile.gen
make[1]: Entering directory '/home/deech/Downloads/ATS/ATS-Postiats/prelude/SATS/CODEGEN'
"/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12"/bin/atsdoc --outcode Makefile_atxt.dats -i Makefile.atxt > Makefile_atxt.txt
"/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12"/bin/atscc  -o Makefile.exe Makefile_atxt.dats -latsdoc
/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12/bin/atsopt --output Makefile_atxt_dats.c --dynamic Makefile_atxt.dats
gcc -I/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12/ -I/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12/ccomp/runtime/ -L/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12/ccomp/lib64/ /home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12/ccomp/runtime/ats_prelude.c -o Makefile.exe Makefile_atxt_dats.c -latsdoc -lats
/tmp/ccw3XVvQ.o: In function `comment_0':
Makefile_atxt_dats.c:(.text+0x40e): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_nil'
/tmp/ccw3XVvQ.o: In function `make_entry_1':
Makefile_atxt_dats.c:(.text+0x47f): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst'
/tmp/ccw3XVvQ.o: In function `mainats':
Makefile_atxt_dats.c:(.text+0x4ae): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__fprint_filsub'
/tmp/ccw3XVvQ.o: In function `_2home_2deech_2Downloads_2ATS_2ATS_2dPostiats_2prelude_2SATS_2CODEGEN_2Makefile_atxt_2edats__staload':
Makefile_atxt_dats.c:(.text+0x4ce): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libc_2SATS_2stdio_2esats__staload'
Makefile_atxt_dats.c:(.text+0x4d3): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libc_2SATS_2time_2esats__staload'
Makefile_atxt_dats.c:(.text+0x4d8): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__staload'
/tmp/ccw3XVvQ.o: In function `_2home_2deech_2Downloads_2ATS_2ATS_2dPostiats_2prelude_2SATS_2CODEGEN_2Makefile_atxt_2edats__dynload':
Makefile_atxt_dats.c:(.text+0x7cc): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2dynloadall_2edats__dynload'
Makefile_atxt_dats.c:(.text+0x7f5): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str'
Makefile_atxt_dats.c:(.text+0x81e): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str'
Makefile_atxt_dats.c:(.text+0x847): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str'
Makefile_atxt_dats.c:(.text+0x870): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str'
Makefile_atxt_dats.c:(.text+0x899): undefined reference to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str'
/tmp/ccw3XVvQ.o:Makefile_atxt_dats.c:(.text+0x8c2): more undefined references to `_2home_2deech_2Downloads_2ATS_2ats_2dlang_2danairiats_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str' follow
collect2: error: ld returned 1 exit status
Exit: [gcc] failed.
make[1]: *** [Makefile.gen:23: Makefile.exe] Error 1
make[1]: Leaving directory '/home/deech/Downloads/ATS/ATS-Postiats/prelude/SATS/CODEGEN'
make: *** [codegen/Makefile_atslib:20: prelude_sats] Error 2

I have set the environment variables as you instructed:

deech@deech-ThinkpadT450:~/Downloads/ATS/ATS-Postiats$ echo $ATSHOME
/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12
deech@deech-ThinkpadT450:~/Downloads/ATS/ATS-Postiats$ echo $ATSHOMERELOC
/home/deech/Downloads/ATS/ats-lang-anairiats-0.2.12

 
On Sunday, September 17, 2017 at 8:42:02 AM UTC-5, gmhwxi wrote:

Atsdoc is implemented in ATS1.

Please first download ATS1-0.2.12:

https://github.com/ats-lang/ats-lang.github.io/tree/master/ATS-Anairiats

Then do

.configure && make all_ngc

######

The top part of the following script is for building and installing ATS1:

https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/C9-ATS2-install-latest.sh

You need to set ATSHOME and ATSHOMERELOC for ATS1 (and use PATSHOME for ATS2).

######

Please feel free to post a message here if you encounter issues.

On Sun, Sep 17, 2017 at 9:05 AM, aditya siram <aditya...@gmail.com> wrote:

Hi all,
I'm trying to build some of the examples from the Github repo and the Makefile wants a utility called "atsdoc" presumably to process the atxt files. I already have ATS2-0.3.6 installed with the environment variables set up per the documentation and I can't find it anywhere. Any help is appreciated.
Thanks!
-deech

--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.

[Hongwei Xi]

ATSHOMERELOC should be ATS-0.2.12

To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.

Visit this group at https://groups.google.com/group/ats-lang-users.

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/6c266ae9-f2bf-4ab5-ba87-3918e063e123%40googlegroups.com.

[aditya siram]

Great. It all works now. Thanks for your help!

ATSHOMERELOC should be ATS-0.2.12

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/6c266ae9-f2bf-4ab5-ba87-3918e063e123%40googlegroups.com.