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 374 | Next | Last
seo plugin
Comment
Template666
Reply #374 on : Mon August 31, 2015, 01:07:57
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.SeoOptimizedRankings.com">Seo Plugin</a>
seo plugin http://www.SeoOptimizedRankings.com/
Nike Air Max
Comment
http://www.nike-air-jordan.us/
Reply #373 on : Thu August 13, 2015, 07:08:05
<a href="http://www.nike-air-jordan.us/nike-air-max-plus-c-103.html">Nike Air Max Plus</a>
[url=http://www.nike-air-jordan.us/]Nike Air Max[/url]
jordan retro shoes
Comment
http://www.jordan-retro-shoes.us/
Reply #372 on : Thu August 06, 2015, 22:34:51
<a href="http://www.jordan-retro-shoes.us/womens-air-jordan-c-11.html">Women's Air Jordan</a>
[url=http://www.jordan-retro-shoes.us/]jordan retro shoes[/url]
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