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 369 | Next | Last
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]
Top-Sell Adidas Gray Blue Training Mens Superstar Hi
Comment
Yap877
Reply #361 on : Thu May 28, 2015, 18:20:44
Hey there! Someone in my Facebook group shared this website with us so I came to give it a look. I'm definitely enjoying the information. I'm bookmarking and will be tweeting this to my followers! Excellent blog and brilliant style and design.
[url=http://www.wellbeingforwork.com/images/config.php?Reward-Adidas-Gray-Blue-Training-Mens-Superstar-Hi-t-1554_5575.html]Top-Sell Adidas Gray Blue Training Mens Superstar Hi[/url]
Bastante barato 890 Verde
Comment
Oscillo32
Reply #360 on : Thu May 28, 2015, 17:36:28
Superb blog! Do you have any helpful hints for aspiring writers? I'm planning to start my own website soon but I'm a little lost on everything. Would you recommend starting with a free platform like Wordpress or go for a paid option? There are so many options out there that I'm totally confused .. Any ideas? Cheers!
[url=http://www.mrspaintbrush.co.uk/images/config.php?Bastante-barato-890-Verde-t-1598_9137.html]Bastante barato 890 Verde[/url]