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 54 | Next | Last
Abercrombie Kids Outelt
Comment
Zygote59
Reply #54 on : Tue September 16, 2014, 07:01:42
Finding the type of jewelry that can actually suit with any image becomes very easy, when one buys the Vivienne Westwood Jewelry.
[url=http://www.maxfabrizi.com/maxfabrizi.asp]Abercrombie Kids Outelt[/url]
http://www.tokyosushict.com/cheap-sale-women-ugg-australia-5831-classic-short-paisley-black_p179.html
Comment
http://www.tokyosushict.com/cheap-sale-women-ugg-australia-5831-classic-short-paisley-black_p179.htm
Reply #53 on : Fri September 12, 2014, 09:04:51
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.tokyosushict.com/cheap-sale-women-ugg-australia-5831-classic-short-paisley-black_p179.html]http://www.tokyosushict.com/cheap-sale-women-ugg-australia-5831-classic-short-paisley-black_p179.html[/url]
http://www.tokyosushict.com/where-can-i-buy-cheap-ugg-australia-women-black-5245-ultra-tall-boots_p70.html
Comment
http://www.tokyosushict.com/where-can-i-buy-cheap-ugg-australia-women-black-5245-ultra-tall-boots_p7
Reply #52 on : Fri September 12, 2014, 08:42:25
A change in the usual hollow enchanting appearance, not color, with light gray and light orange stitching cleverly rounded out the collections Xiaodong Dong, combined with an elegant leather material, and instantly upgrade the version of the type hollow, not only won a breathable lining comfortable, and won a decent fashion appearance, while heavy-bottomed design will make you stylish aura superior.
[url=http://www.tokyosushict.com/where-can-i-buy-cheap-ugg-australia-women-black-5245-ultra-tall-boots_p70.html]http://www.tokyosushict.com/where-can-i-buy-cheap-ugg-australia-women-black-5245-ultra-tall-boots_p70.html[/url]
http://www.tokyosushict.com/replica-ugg-australia-5325-sundance-ii-in-chestnut-for-womens_p312.html
Comment
http://www.tokyosushict.com/replica-ugg-australia-5325-sundance-ii-in-chestnut-for-womens_p312.html
Reply #51 on : Fri September 12, 2014, 06:34:40
Do you think in your own dress in what is to help you improve the main elements of the gas field? An attractive face, a sexy clothes also, or an array of decorations can I have arrived, but one pair of comfort and elegance of your little shoes. Into the hot season of the hollow element, no matter what kind of style you crush, it can for you to "fight" gas does not sulk, hearty walk the world.
[url=http://www.tokyosushict.com/replica-ugg-australia-5325-sundance-ii-in-chestnut-for-womens_p312.html]http://www.tokyosushict.com/replica-ugg-australia-5325-sundance-ii-in-chestnut-for-womens_p312.html[/url]
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]
buy newport cigartettes online with credit card