# Build failed for me

**URL:** <https://discourse.ats-lang.org/t/build-failed-for-me/333>\
**Category:** Google Group\
**Created:** [August 7, 2014, 4:50am UTC](https://discourse.ats-lang.org/t/build-failed-for-me/333 "2014-08-07T04:50:39Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![Raoul\_Duke](https://avatars.discourse-cdn.com/v4/letter/r/bbe5ce/32.png) [@Raoul\_Duke](https://discourse.ats-lang.org/u/Raoul_Duke)\
**Post date:** [August 7, 2014, 4:50am UTC](https://discourse.ats-lang.org/t/build-failed-for-me/333/1 "2014-08-07T04:50:39Z")

</div>

- i cloned git repo.
- had libgmp from having tried to install from tar gz file.
- futzed with getting automake installed; had to run make and then  
configure and then make again, weird, unclear.
- it built for a while but then eventually bombed out:

Linux superlap2 3.13.0-30-generic #55-Ubuntu SMP Fri Jul 4 21:43:42  
UTC 2014 i686 i686 i686 GNU/Linux

make[1]: Leaving directory `/home/superman/Dev/ats2-lang/src/CBOOT' cp -f src/CBOOT/patsopt bin/patsopt make -C utils/atscc patscc make[1]: Entering directory`/home/superman/Dev/ats2-lang/utils/atscc’  
"/home/superman/Dev/ats2-lang"/bin/patsopt --output patscc\_dats.c  
–dynamic patscc.dats  
Hello from ATS2(ATS/Postiats)!  
The 1st translation (fixity) of [patscc.dats] is successfully completed!  
The 2nd translation (binding) of [patscc.dats] is successfully completed!  
The 3rd translation (type-checking) of [patscc.dats] is successfully completed!  
The 4th translation (type/proof-erasing) of [patscc.dats] is  
successfully completed!  
"/home/superman/Dev/ats2-lang"/bin/patsopt --output atscc\_main\_dats.c  
–dynamic atscc\_main.dats  
Hello from ATS2(ATS/Postiats)!  
The 1st translation (fixity) of [atscc\_main.dats] is successfully completed!  
The 2nd translation (binding) of [atscc\_main.dats] is successfully completed!  
The 3rd translation (type-checking) of [atscc\_main.dats] is  
successfully completed!  
The 4th translation (type/proof-erasing) of [atscc\_main.dats] is  
successfully completed!  
"/home/superman/Dev/ats2-lang"/bin/patsopt --output atscc\_print\_dats.c  
–dynamic atscc\_print.dats  
Hello from ATS2(ATS/Postiats)!  
The 1st translation (fixity) of [atscc\_print.dats] is successfully completed!  
The 2nd translation (binding) of [atscc\_print.dats] is successfully completed!  
The 3rd translation (type-checking) of [atscc\_print.dats] is  
successfully completed!  
The 4th translation (type/proof-erasing) of [atscc\_print.dats] is  
successfully completed!  
Segmentation fault (core dumped)  
make[1]: \*\*\* [atscc\_print\_dats.c] Error 139  
make[1]: Leaving directory `/home/superman/Dev/ats2-lang/utils/atscc’  
make: \*\*\* [utl\_atscc] Error 2

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [August 7, 2014, 4:59am UTC](https://discourse.ats-lang.org/t/build-failed-for-me/333/2 "2014-08-07T04:59:43Z")

</div>

Maybe it is GC related? Try to build without GC  
(or with Boehm-GC):

[http://www.ats-lang.org/DOWNLOAD/#ATS\_packagesOn](http://www.ats-lang.org/DOWNLOAD/#ATS_packagesOn) Thursday, August 7, 2014 12:51:00 AM UTC-4, Raoul Duke wrote:

> - i cloned git repo.
> - had libgmp from having tried to install from tar gz file.
> - futzed with getting automake installed; had to run make and then  
> configure and then make again, weird, unclear.
> - it built for a while but then eventually bombed out:
> 
> Linux superlap2 3.13.0-30-generic #55-Ubuntu SMP Fri Jul 4 21:43:42  
> UTC 2014 i686 i686 i686 GNU/Linux
> 
> make[1]: Leaving directory `/home/superman/Dev/ats2-lang/src/CBOOT' cp -f src/CBOOT/patsopt bin/patsopt make -C utils/atscc patscc make[1]: Entering directory `/home/superman/Dev/ats2-lang/utils/atscc’  
> “/home/superman/Dev/ats2-lang”/bin/patsopt --output patscc\_dats.c  
> –dynamic patscc.dats  
> Hello from ATS2(ATS/Postiats)!  
> The 1st translation (fixity) of [patscc.dats] is successfully completed!  
> The 2nd translation (binding) of [patscc.dats] is successfully completed!  
> The 3rd translation (type-checking) of [patscc.dats] is successfully  
> completed!  
> The 4th translation (type/proof-erasing) of [patscc.dats] is  
> successfully completed!  
> “/home/superman/Dev/ats2-lang”/bin/patsopt --output atscc\_main\_dats.c  
> –dynamic atscc\_main.dats  
> Hello from ATS2(ATS/Postiats)!  
> The 1st translation (fixity) of [atscc\_main.dats] is successfully  
> completed!  
> The 2nd translation (binding) of [atscc\_main.dats] is successfully  
> completed!  
> The 3rd translation (type-checking) of [atscc\_main.dats] is  
> successfully completed!  
> The 4th translation (type/proof-erasing) of [atscc\_main.dats] is  
> successfully completed!  
> “/home/superman/Dev/ats2-lang”/bin/patsopt --output atscc\_print\_dats.c  
> –dynamic atscc\_print.dats  
> Hello from ATS2(ATS/Postiats)!  
> The 1st translation (fixity) of [atscc\_print.dats] is successfully  
> completed!  
> The 2nd translation (binding) of [atscc\_print.dats] is successfully  
> completed!  
> The 3rd translation (type-checking) of [atscc\_print.dats] is  
> successfully completed!  
> The 4th translation (type/proof-erasing) of [atscc\_print.dats] is  
> successfully completed!  
> Segmentation fault (core dumped)  
> make[1]: \*\*\* [atscc\_print\_dats.c] Error 139  
> make[1]: Leaving directory `/home/superman/Dev/ats2-lang/utils/atscc’  
> make: \*\*\* [utl\_atscc] Error 2

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [August 7, 2014, 6:35am UTC](https://discourse.ats-lang.org/t/build-failed-for-me/333/3 "2014-08-07T06:35:53Z")

</div>

> Segmentation fault (core dumped)  
> make[1]: \*\*\* [atscc\_print\_dats.c] Error 139  
> make[1]: Leaving directory `/home/superman/Dev/ats2-lang/utils/atscc’  
> make: \*\*\* [utl\_atscc] Error 2

I had the same, except it was with using a SourceForge tarball (or Github  
tarball, can’t remember). It was discussed on another news‑group. Here is  
what I did, and it solved the case, to be executed next after `./configure`:

(export CFLAGS=“$CFLAGS --fno-aggressive-loop-optimization” && make GCFLAG=-D\_ATS\_NGC  
all);

Hongwei Xi said the same for me as for you: may be garbage‑collector  
related.

I don’t know for you, for me, without compiling ATS with these options,  
there were random errors.

---

<div class="post-metadata">

**Author:** ![Raoul\_Duke](https://avatars.discourse-cdn.com/v4/letter/r/bbe5ce/32.png) [@Raoul\_Duke](https://discourse.ats-lang.org/u/Raoul_Duke)\
**Post date:** [August 7, 2014, 5:10am UTC](https://discourse.ats-lang.org/t/build-failed-for-me/333/4 "2014-08-07T05:10:41Z")

</div>

whatever it is, it is not clear nor easy to determine, at least with  
the github repo clone. i’m just going to not bother trying on linux  
any more; it worked on a mac via brew, i’m going to just leave it at  
that. more is the pity. certainly doesn’t give me warm fuzzies. other  
people’s mileage my vary of course.On Wed, Aug 6, 2014 at 9:59 PM, gmhwxi [gmh...@gmail.com](mailto:gmh...@gmail.com) wrote:

> Maybe it is GC related? Try to build without GC  
> (or with Boehm-GC):
> 
> [http://www.ats-lang.org/DOWNLOAD/#ATS\_packages](http://www.ats-lang.org/DOWNLOAD/#ATS_packages)
> 
> On Thursday, August 7, 2014 12:51:00 AM UTC-4, Raoul Duke wrote:
> 
> > - i cloned git repo.
> > - had libgmp from having tried to install from tar gz file.
> > - futzed with getting automake installed; had to run make and then  
> > configure and then make again, weird, unclear.
> > - it built for a while but then eventually bombed out:
> > 
> > Linux superlap2 3.13.0-30-generic #55-Ubuntu SMP Fri Jul 4 21:43:42  
> > UTC 2014 i686 i686 i686 GNU/Linux
> > 
> > make[1]: Leaving directory `/home/superman/Dev/ats2-lang/src/CBOOT' cp -f src/CBOOT/patsopt bin/patsopt make -C utils/atscc patscc make[1]: Entering directory `/home/superman/Dev/ats2-lang/utils/atscc’  
> > “/home/superman/Dev/ats2-lang”/bin/patsopt --output patscc\_dats.c  
> > –dynamic patscc.dats  
> > Hello from ATS2(ATS/Postiats)!  
> > The 1st translation (fixity) of [patscc.dats] is successfully completed!  
> > The 2nd translation (binding) of [patscc.dats] is successfully completed!  
> > The 3rd translation (type-checking) of [patscc.dats] is successfully  
> > completed!  
> > The 4th translation (type/proof-erasing) of [patscc.dats] is  
> > successfully completed!  
> > “/home/superman/Dev/ats2-lang”/bin/patsopt --output atscc\_main\_dats.c  
> > –dynamic atscc\_main.dats  
> > Hello from ATS2(ATS/Postiats)!  
> > The 1st translation (fixity) of [atscc\_main.dats] is successfully  
> > completed!  
> > The 2nd translation (binding) of [atscc\_main.dats] is successfully  
> > completed!  
> > The 3rd translation (type-checking) of [atscc\_main.dats] is  
> > successfully completed!  
> > The 4th translation (type/proof-erasing) of [atscc\_main.dats] is  
> > successfully completed!  
> > “/home/superman/Dev/ats2-lang”/bin/patsopt --output atscc\_print\_dats.c  
> > –dynamic atscc\_print.dats  
> > Hello from ATS2(ATS/Postiats)!  
> > The 1st translation (fixity) of [atscc\_print.dats] is successfully  
> > completed!  
> > The 2nd translation (binding) of [atscc\_print.dats] is successfully  
> > completed!  
> > The 3rd translation (type-checking) of [atscc\_print.dats] is  
> > successfully completed!  
> > The 4th translation (type/proof-erasing) of [atscc\_print.dats] is  
> > successfully completed!  
> > Segmentation fault (core dumped)  
> > make[1]: \*\*\* [atscc\_print\_dats.c] Error 139  
> > make[1]: Leaving directory `/home/superman/Dev/ats2-lang/utils/atscc’  
> > make: \*\*\* [utl\_atscc] Error 2
> 
> –  
> 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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> To view this discussion on the web visit  
> [https://groups.google.com/d/msgid/ats-lang-users/9c88cc48-1989-42d5-a9f1-041381189f5f%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/9c88cc48-1989-42d5-a9f1-041381189f5f%40googlegroups.com).