Menu:

TAMP: Some success

After spending about 2 weeks basically compiling compilers pretty much constantly, I've managed to build gnat for arm-none-eabi with tools and without the runtime system, which is the most important part.

This isn't supported by AdaCore in the FSF release so I've had to hack into the makefiles and configure scripts to enable it. Shame really, would be nice to have this built into the build system already. I suppose I'll just have to wait for John Marino to get it working in his fork.

But for now, here are the files I've copied from GNAT sources to make the zero-footprint (ZFP) runtime building:

Bash code
$ ./build-rts.sh beagle
Creating RTS with GCC-svn-trunk for 'beagle' board
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/boards/beagle/system.ads
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/a-unccon.ads
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/s-maccod.ads
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/interfac.ads
arm-none-eabi-gcc -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/gnat.ads
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/a-uncdea.ads
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/s-stoele.adb
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/s-atacco.adb
arm-none-eabi-gcc -gnatpg -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/ada.ads
arm-none-eabi-gcc -c -gnat2005 -gnatg -O2
  -ffunction-sections -fdata-sections
  --RTS=/home/laguest/src/mine/tamp/thirdparty/../rts/boards/beagle
  -I- -gnatA
  /home/laguest/src/mine/tamp/rts/src/common/g-souinf.ads
Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
Message: namet.adb:655

arm-none-eabi-gnatmake: INTERNAL ERROR. Please report.

This is so frustrating!

And yes, my script is executing a gnatmake project file to build!

Showing comments 1 to 10 of 28 | Next | Last
Nike Jordans
Comment
http://www.nikejordan.co/
Reply #28 on : Wed November 26, 2014, 06:54:20
%title% * Shop nike jordan shoes big size - 47/us13 <a href="http://www.nikejordan.co/"> Nike Jordan Shoes </a> * Very good,prompt delivery,great item <a href="http://www.nikejordan.co/"> Nike Air Jordan </a> * <a href="http://www.nikejordan.co/"> Nike Jordans </a> Very Fast delivery,basketball boots,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.nikejordan.co/]Nike Jordans[/url]
Louis Vuitton Outlet,Louis Vuitton Outlet US
Comment
http://www.louisvuittonoutlet2.us/
Reply #27 on : Wed November 26, 2014, 03:35:36
%title% * 80% Discount Off! Shop Louis Vuitton Outlet,Louis Vuitton Bag from Louis Vuitton US Official Site free shipping! <a href="http://www.louisvuittonoutlet2.us/"> Louis Vuitton Outlet </a> * Very good,prompt delivery,great item <a href="http://www.louisvuittonoutlet2.us/"> Louis Vuitton Outlet US </a> Very Fast delivery,Louis Vuitton Outlet,Louis Vuitton Outlet US Arrived very quickly. Happy with everything.
[url=http://www.louisvuittonoutlet2.us/]Louis Vuitton Outlet,Louis Vuitton Outlet US[/url]
louis vuitton outlet
Comment
Oscillo746
Reply #26 on : Fri November 21, 2014, 14:53:59
Archeia | TAMP: Some success * Qualiaty so nice Louis Vuitton factory outlet handbags store <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factory outlet </a> * Very good,prompt delivery,great item <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factoy </a> * <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton outlet </a> Very Fast delivery,Louis Vuitton Factory Business Card Holder ,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.louisvuittonfactoryoutlet.us/]louis vuitton outlet[/url]
michael kors coats
Comment
Humphrey778
Reply #25 on : Fri November 14, 2014, 14:31:01
wholesale michael kors handbags <a href="http://www.tubesca-international.com/?michael=michael-kors-online-outlet">michael kors online outlet</a> http://www.tubesca-international.com/?michael=michael-kors-online-outlet michael kors wallets for men <a href="http://www.tubesca-international.com/?michael=red-michael-kors-bag">red michael kors bag</a> http://www.tubesca-international.com/?michael=red-michael-kors-bag michael kors bags discount <a href="http://www.tubesca-international.com/?michael=michael-kors-jacket">michael kors jacket</a> http://www.tubesca-international.com/?michael=michael-kors-jacket michael by michael kors handbags <a href="http://www.tubesca-international.com/?michael=michael-kors-pocketbooks">michael kors pocketbooks</a> http://www.tubesca-international.com/?michael=michael-kors-pocketbooks michael kors pea coat <a href="http://www.tubesca-international.com/?michael=michael-kors-scarf">michael kors scarf</a> http://www.tubesca-international.com/?michael=michael-kors-scarf michael kors leather bag <a href="http://www.tubesca-international.com/?michael=michael-kors-shoes-for-kids">michael kors shoes for kids</a> http://www.tubesca-international.com/?michael=michael-kors-shoes-for-kids michael kors hats <a href="http://www.tubesca-international.com/?michael=michael-kors-makeup-bag">michael kors makeup bag</a> http://www.tubesca-international.com/?michael=michael-kors-makeup-bag michael kors lilly <a href="http://www.tubesca-international.com/?michael=michael-kors-eyewear">michael kors eyewear</a> http://www.tubesca-international.com/?michael=michael-kors-eyewear
[url=http://www.tubesca-international.com/?michael=michael-kors-coats]michael kors coats[/url]
Louis Vuitton Outlet,Louis Vuitton Outlet US
Comment
Access763
Reply #24 on : Wed November 12, 2014, 19:41:37
Archeia | TAMP: Some success * 80% Discount Off! Shop Louis Vuitton Outlet,Louis Vuitton Bag from Louis Vuitton US Official Site free shipping! <a href="http://www.louisvuittonoutlet2.us/"> Louis Vuitton Outlet </a> * Very good,prompt delivery,great item <a href="http://www.louisvuittonoutlet2.us/"> Louis Vuitton Outlet US </a> Very Fast delivery,Louis Vuitton Outlet,Louis Vuitton Outlet US Arrived very quickly. Happy with everything.
[url=http://www.louisvuittonoutlet2.us/]Louis Vuitton Outlet,Louis Vuitton Outlet US[/url]
louis vuitton outlet
Comment
TechView217
Reply #23 on : Wed November 12, 2014, 10:09:42
Archeia | TAMP: Some success * Qualiaty so nice Louis Vuitton factory outlet handbags store <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factory outlet </a> * Very good,prompt delivery,great item <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factoy </a> * <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton outlet </a> Very Fast delivery,Louis Vuitton Factory Business Card Holder ,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.louisvuittonfactoryoutlet.us]louis vuitton outlet[/url]
Collectif Abssice 360
Comment
Better241
Reply #22 on : Tue November 11, 2014, 10:45:42
<a href="http://www.abssice360.fr/nike-air-jordan/nike-jordan-femme-insolite.html">nike jordan femme insolite</a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
louis vuitton factory outlet
Comment
Holiday749
Reply #21 on : Tue November 11, 2014, 10:41:28
Archeia | TAMP: Some success * Qualiaty so nice Louis Vuitton factory outlet handbags store <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factory outlet </a> * Very good,prompt delivery,great item <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factoy </a> * <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton outlet </a> Very Fast delivery,Louis Vuitton Factory Business Card Holder ,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.louisvuittonfactoryoutlet.us]louis vuitton factory outlet[/url]
abssice 360
Comment
http://www.abssice360.fr/
Reply #20 on : Tue November 11, 2014, 05:01:33
<a href="http://www.abssice360.fr/nike-air-jordan/nike-jordan-fille-image-insolite.html">nike jordan fille image insolite</a>
[url=http://www.abssice360.fr/]abssice 360[/url]
Collectif Abssice 360
Comment
Snippet980
Reply #19 on : Mon November 10, 2014, 06:27:25
<a href="http://www.abssice360.fr/nike-air-jordan/nike-jordan-air-wizz-illimité.html">nike jordan air wizz illimité</a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
buy newport cigartettes online with credit card