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 379 | Next | Last
michael kors handbags
Comment
Genetic29
Reply #379 on : Thu November 12, 2015, 15:05:02
https://www.michaelkorsoutletonline.uk/ michael kors uk
[url=https://www.michaelkors-handbags.net/]michael kors handbags[/url]
Christian Louboutin Wholesale
Comment
http://clmensneaker.webpaper.co/
Reply #378 on : Fri September 25, 2015, 02:50:21
employees get stuck in ruts anything they're doing.
[url=http://clmensneaker.webpaper.co/]Christian Louboutin Wholesale[/url]
Replica Cartier Jewelry
Comment
https://sites.google.com/site/httpwwwcartiertech/
Reply #377 on : Wed September 16, 2015, 20:13:14
Remember that is my new record soon, a year faster than the Spring Festival, working father returned to rural homes, apart from outside back to the new year, the father of a watch on your wrist, this is my home purchase big-ticket first. Mother said: "it is hard, your teacher would have needed a watch, IE at home, now do so. "Later I learned that brought him the salary is not high, not only for home and left, was father hard squeezed from his teeth, saved for a year to get the, this piece of" Shanghai "watch with his father for more than 20 years, how many times does not notice when I will take my father secretly wears.
[url=https://sites.google.com/site/httpwwwcartiertech/]Replica Cartier Jewelry[/url]
Replica Cartier Watches
Comment
https://sites.google.com/site/httpwwwcartiertech/
Reply #376 on : Wed September 16, 2015, 19:45:56
I saw the watch to the ups and downs of China's reform and opening up for a few decades, a small watch, scrimped and saved to buy for the whole family to the later popularity from the start, and then to decline and eventually become a fashion, reflecting social development, reflects the reform brings real benefits to people.
[url=https://sites.google.com/site/httpwwwcartiertech/]Replica Cartier Watches[/url]
Cartier Baignoire Replica
Comment
http://buywatchestop.com/Replica-cartier-baignoire_c20
Reply #375 on : Tue September 01, 2015, 17:38:47
There's an unmistakable charm about a cigar box purse or handbag. Neat, petite and elegant, and decorated with romantic, quaint and quirky images from a bygone era, these design gems are becoming increasingly sought after fashion accessories. You can buy cigar box purses and handbags made from real cigar boxes, or they can be decorated with just about any image you can imagine, including classic movie stars, fashion photographs, dancers, animals, flowers or abstract designs. If you shop around online, you'll find a huge range of cigar box purses and handbags, many of them uniquely designed and sold by the artist who created them. You can even have a cigar box purse or handbag custom made using a favorite image of a pet, a special place, person or thing, or perhaps a cherished old photograph of a great aunt or grandmother taken in a bygone era. Or if you're particularly creative, you could even make the purse or handbag yourself.
[url=http://buywatchestop.com/Replica-cartier-baignoire_c20]Cartier Baignoire Replica[/url]
seo plugin
Comment
Template666
Reply #374 on : Mon August 31, 2015, 00: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, 06: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, 21: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, 05: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, 00: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/