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 50 | Next | Last
http://www.bluebirddaycafe.com/Replica-nomade-leather-men-bags_c103
Comment
http://www.bluebirddaycafe.com/Replica-nomade-leather-men-bags_c103
Reply #50 on : Sun August 31, 2014, 06:34:41
Lift the hollow, in late summer early fall season, the trend of the girl will not it feel strange. With a hollow fashion sexy dress, and then with a pair of leather thick with hollow heels, that kind of powerful gas field, as you are no longer ordinary girl will have a somewhat star feel it.
[url=http://www.bluebirddaycafe.com/Replica-nomade-leather-men-bags_c103]http://www.bluebirddaycafe.com/Replica-nomade-leather-men-bags_c103[/url]
maillot de football
Comment
Humphrey309
Reply #49 on : Thu August 21, 2014, 12:37:05
Monthly camisetas futbol baratas Summary is beginning to feel a little outdated
[url=http://www.jouy-en-josas.fr/iso_upload/]maillot de football[/url]
oakley outlet
Comment
Zebra982
Reply #48 on : Sun August 17, 2014, 04:17:33
<a href="http://jordanretro.dennissearing.com" title="jordans for sale"><strong>jordans for sale</strong></a> [url=http://jordanretro.dennissearing.com][b]jordans for sale[/b][/url] http://jordanretro.dennissearing.com
<a href="http://jordanretro.dennissearing.com" title="jordan retro"><strong>jordan retro</strong></a> [url=http://jordanretro.dennissearing.com][b]jordan retro[/b][/url] http://jordanretro.dennissearing.com

[url=http://oakleysunglasses.fuzziecouch.com]oakley outlet[/url]
gucci handbag discounts
Comment
Query191
Reply #47 on : Mon August 11, 2014, 20:11:30
http://juliagreen.com/pat/tiffany_outlet_au.htmltiffany outlet au
[url=http://juliagreen.com/pat/gucci_handbag_discounts.html]gucci handbag discounts[/url]
ugg australia
Comment
Design288
Reply #46 on : Mon August 11, 2014, 15:52:56
An attention-grabbing dialogue is worth comment. I think that you should write extra on this topic, it may not be a taboo subject but generally individuals are not enough to speak on such topics. To the next. Cheers
[url=http://www.uggs-on-sales.org]ugg australia[/url]
Michael Kors Watches
Comment
Snippet614
Reply #45 on : Mon August 11, 2014, 01:46:17
http://co.slcolibrary.org/libraries/coach.cfm Coach Outlet Online store
http://www.alkaliiketours.com/stats/Michael_Kors.html Michael Kors Outlet Store
http://www.aussieholdempoker.com.au/images/Michael_Kors.cfm Michael Kors Dresses

[url=http://www.tourneytime.com/privacy/michael_kors.cfm]Michael Kors Watches[/url]
oakley sunglases outlet
Comment
Snippet867
Reply #44 on : Sat August 09, 2014, 14:11:08
The subsequent time I learn a blog, I hope that it doesnt disappoint me as a lot as this one. I imply, I do know it was my choice to learn, however I truly thought youd have something interesting to say. All I hear is a bunch of whining about one thing that you would repair if you happen to werent too busy on the lookout for attention.
[url=http://www.sunglasses-oakleys.us]oakley sunglases outlet[/url]
tiffany outlet
Comment
Desc569
Reply #43 on : Sat August 09, 2014, 07:32:44
<a href="http://coachfactoryoutlet.firstchoiceagents.com" title="coach factory"><strong>coach factory</strong></a> [url=http://coachfactoryoutlet.firstchoiceagents.com][b]coach factory[/b][/url] http://coachfactoryoutlet.firstchoiceagents.com
<a href="http://coachfactoryoutlet.firstchoiceagents.com" title="coach factory online"><strong>coach factory online</strong></a> [url=http://coachfactoryoutlet.firstchoiceagents.com][b]coach factory online[/b][/url] http://coachfactoryoutlet.firstchoiceagents.com

[url=http://tiffanyandco.lakecerr.com]tiffany outlet[/url]
jordans for sale
Comment
Tattoo350
Reply #42 on : Fri August 08, 2014, 01:29:28
<a href="http://oakleysunglasses.secondhandboxman.com" title="oakley sunglasses"><strong>oakley sunglasses</strong></a> [url=http://oakleysunglasses.secondhandboxman.com][b]oakley sunglasses[/b][/url] http://oakleysunglasses.secondhandboxman.com
<a href="http://oakleysunglasses.secondhandboxman.com" title="oakley outlet"><strong>oakley outlet</strong></a> [url=http://oakleysunglasses.secondhandboxman.com][b]oakley outlet[/b][/url] http://oakleysunglasses.secondhandboxman.com

[url=http://cheapjordans.actis-datta.com]jordans for sale[/url]
coach outlet
Comment
Desc762
Reply #41 on : Wed August 06, 2014, 00:04:57
Youre so cool! I dont suppose Ive learn anything like this before. So good to search out anyone with some authentic thoughts on this subject. realy thanks for beginning this up. this web site is something that's wanted on the web, somebody with a little originality. useful job for bringing one thing new to the internet!
[url=http://www.coachsoutletonline.net]coach outlet[/url]
buy newport cigartettes online with credit card