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 371 | Next | Last
air jordan retro
Comment
http://www.airjordanretro11.net/
Reply #371 on : Sat July 25, 2015, 06:48:14
<a href="http://www.airjordanretro11.net/air-jordan-2012-mens-c-8.html">Air Jordan 2012 Mens</a>
[url=http://www.airjordanretro11.net/]air jordan retro[/url]
nike air max
Comment
http://www.airjordannike.us/
Reply #370 on : Thu July 23, 2015, 01:51:37
<a href="http://www.airjordannike.us/air-jordans-women-shoes-air-jordan-7-women-c-14_43.html">Air Jordan 7 Women</a>
nike air max http://www.airjordannike.us/
coach outlet online
Comment
http://www.coach-factory-outlet.ca/
Reply #369 on : Mon June 22, 2015, 18:37:17
[url=http://www.louisvuittonoutlet.info/][b]louis vuitton outlet[/b][/url]
coach outlet online http://www.coach-factory-outlet.ca/
Fitflops
Comment
http://www.fitflops-singapore.com/
Reply #368 on : Sun June 21, 2015, 20:55:45
[url=http://www.10dollars.us/][b]10 dollars[/b][/url]
Fitflops http://www.fitflops-singapore.com/
facebook
Comment
http://www.facebook.com/
Reply #367 on : Mon June 01, 2015, 01:24:54
https://www.facebook.com/Afoutletsale
facebook http://www.facebook.com/
facebook
Comment
http://www.facebook.com/
Reply #366 on : Sun May 31, 2015, 09:06:53
[url=http://www.louisvuittonoutlet2013.us/]Louis Vuitton Outlet | Louis Vuitton Bags[/url]
facebook http://www.facebook.com/
Compruebe New Balance Todos Negro Hombres Trainers Entrenamiento
Comment
Niche827
Reply #365 on : Sat May 30, 2015, 01:02:40
I really like your blog.. very nice colors & theme. Did you make this website yourself or did you hire someone to do it for you? Plz reply as I'm looking to design my own blog and would like to know where u got this from. thanks a lot
Compruebe New Balance Todos Negro Hombres Trainers Entrenamiento http://www.amma-uk.org/images/config.php?Buena-calidad-New-Balance-Todos-Negro-Hombres-Trainers-Entrenamiento-t-2854_8217.html
Jack Wolfskin Outlet
Comment
Yap537
Reply #364 on : Fri May 29, 2015, 21:53:27
http://www.nike-air-jordan.us/
Jack Wolfskin Outlet http://www.jack-wolfskin-outlet.com/
Pour obtenir d'origine Nike Hommes
Comment
TechView155
Reply #363 on : Fri May 29, 2015, 21:49:25
I know this if off topic but I'm looking into starting my own blog and was curious what all is needed to get set up? I'm assuming having a blog like yours would cost a pretty penny? I'm not very internet smart so I'm not 100% certain. Any recommendations or advice would be greatly appreciated. Appreciate it
[url=http://www.bdchampionships.com/images/config.php?Acheter-pour-Nike-Hommes-t-2643_10087.html]Pour obtenir d'origine Nike Hommes[/url]
Prix Réduit Nike Running Brown Orange Air Max Homme
Comment
Question753
Reply #362 on : Fri May 29, 2015, 12:29:46
Hey! Would you mind if I share your blog with my twitter group? There's a lot of folks that I think would really appreciate your content. Please let me know. Thanks
[url=http://www.torridonmountains.com/images/config.php?Officielle-Nike-Running-Brown-Orange-Air-Max-Homme-t-2477_8899.html]Prix Réduit Nike Running Brown Orange Air Max Homme[/url]