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 157 | Next | Last
seo
Comment
Unity87
Reply #157 on : Sun March 29, 2015, 03:34:51
Hello Web Admin, I noticed that your On-Page SEO is is missing a few factors, for one you do not use all three H tags in your post, also I notice that you are not using bold or italics properly in your SEO optimization. On-Page SEO means more now than ever since the new Google update: Panda. No longer are backlinks and simply pinging or sending out a RSS feed the key to getting Google PageRank or Alexa Rankings, You now NEED On-Page SEO. So what is good On-Page SEO?First your keyword must appear in the title.Then it must appear in the URL.You have to optimize your keyword and make sure that it has a nice keyword density of 3-5% in your article with relevant LSI (Latent Semantic Indexing). Then you should spread all H1,H2,H3 tags in your article.Your Keyword should appear in your first paragraph and in the last sentence of the page. You should have relevant usage of Bold and italics of your keyword.There should be one internal link to a page on your blog and you should have one image with an alt tag that has your keyword....wait there's even more Now what if i told you there was a simple Wordpress plugin that does all the On-Page SEO, and automatically for you? That's right AUTOMATICALLY, just watch this 4minute video for more information at. <a href="http://www.WhiteHatSeoRankings.com">Seo Plugin</a>
[url=http://www.WhiteHatSeoRankings.com/]seo[/url]
cheap oakley sunglasses wholesale
Comment
Yellow769
Reply #156 on : Sat March 28, 2015, 23:21:54
<a href="http://www.discountmichaelkorsbags.org " title="michael kors outlet online"><strong>michael kors outlet online</strong></a>
<a href="http://www.oakleyoutlet-sale.net/ " title="oakley sunglasses wholesale"><strong>oakley sunglasses wholesale</strong></a>
<a href="http://www.rbsunglassesoutlets.com/ " title="ray ban sunglasses wholesale"><strong>ray ban sunglasses wholesale</strong></a>

[url=http://www.2015oakleysunglasses.com/]cheap oakley sunglasses wholesale[/url]
nike free trainer 5.0
Comment
Design987
Reply #155 on : Sat March 28, 2015, 19:29:03
Hi! I know this is kinda off topic but I was wondering if you knew where I could find a captcha plugin for my comment form? I'm using the same blog platform as yours and I'm having problems finding one? Thanks a lot!
[url=http://www.maxschuhepris2015de.com/]nike free trainer 5.0[/url]
air jordan retro shoes
Comment
http://www.airjordanretro.us/
Reply #154 on : Fri March 27, 2015, 23:22:54
<a href="http://www.airjordanretro.us/air-jordan-4-kids-c-28.html">Air Jordan 4 Kids</a>
[url=http://www.airjordanretro.us/]air jordan retro shoes[/url]
air max online sale
Comment
Genetic404
Reply #153 on : Fri March 27, 2015, 18:06:02
Hi would you mind letting me know which hosting company you're utilizing? I've loaded your blog in 3 different web browsers and I must say this blog loads a lot faster then most. Can you recommend a good internet hosting provider at a reasonable price? Many thanks, I appreciate it!
[url=http://www.airmax2015goedkoopnl.com/]air max online sale[/url]
2015 nike air max 90 outlet
Comment
Phusion537
Reply #152 on : Fri March 27, 2015, 17:48:08
Greetings from Colorado! I'm bored to death at work so I decided to browse your blog on my iphone during lunch break. I really like the info you present here and can't wait to take a look when I get home. I'm shocked at how quick your blog loaded on my phone .. I'm not even using WIFI, just 3G .. Anyways, superb site!
[url=http://www.air90scarpeit.com/]2015 nike air max 90 outlet[/url]
nike free per uomo
Comment
Cache425
Reply #151 on : Fri March 27, 2015, 15:50:27
Greetings! I've been following your website for a long time now and finally got the courage to go ahead and give you a shout out from Houston Tx! Just wanted to say keep up the fantastic work!
[url=http://www.scarperunning2015-it.com/]nike free per uomo[/url]
nike free per uomo
Comment
Oscillo665
Reply #150 on : Fri March 27, 2015, 07:59:55
I really like your blog.. very nice colors & theme. Did you design this website yourself or did you hire someone to do it for you? Plz respond as I'm looking to construct my own blog and would like to know where u got this from. kudos
[url=http://www.scarperunning2015-it.com/]nike free per uomo[/url]
nike free tialia
Comment
Desc343
Reply #149 on : Thu March 26, 2015, 19:41:37
Hello! I just wanted to ask if you ever have any trouble with hackers? My last blog (wordpress) was hacked and I ended up losing several weeks of hard work due to no data backup. Do you have any solutions to protect against hackers?
[url=http://www.scarpeonline2015it.com/]nike free tialia[/url]
louis vuitton outlet online
Comment
http://www.louisvuittonoutlet.co/
Reply #148 on : Thu March 26, 2015, 16:53:06
<a href="http://www.louisvuittonoutlet.co/styles-louis-vuitton-brea-c-37_47.html">Louis Vuitton Brea</a>
[url=http://www.louisvuittonoutlet.co/]louis vuitton outlet online[/url]
buy newport cigartettes online with credit card