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 39 | Next | Last
free run 7.0
Comment
Website393
Reply #39 on : Thu July 10, 2014, 07:45:48
<a href=" http://www.cheap-oakley-sunglasses.org "><strong> cheap oakleysunglasess </strong></a>
<a href=" http://www.cheap-oakley-sunglasses.org "><strong> oakley sunglasess cheap </strong></a>
<a href=" http://www.cheap-oakley-sunglasses.org "><strong> oakley sunglasses outlet </strong></a>
<a href=" http://www.sunglasses-rayban.org "><strong> ray ban sunglassess </strong></a>
<a href=" http://www.sunglasses-rayban.org "><strong> cheap ray ban sunglasess </strong></a>
<a href=" http://www.sunglasses-rayban.org "><strong> ray ban outlet </strong></a>
<a href=" http://www.lebronjames-shoes.org "><strong> lebron james shoes </strong></a>
<a href=" http://www.lebronjames-shoes.org "><strong> lebron 9 Galaxy </strong></a>
<a href=" http://www.lebronjames-shoes.org "><strong> cheap lebron james shoes </strong></a>
<a href=" http://www.kobebryant-shoes.com "><strong> kobe bryant shoes </strong></a>
<a href=" http://www.kobebryant-shoes.com "><strong> cheap kobe bryant shoes </strong></a>
<a href=" http://www.airmax2014-cheap.com "><strong> cheap air max </strong></a>
<a href=" http://www.airmax2014-cheap.com "><strong> air max 2014 </strong></a>
<a href=" http://www.airmax-cheap.net "><strong> air max shoes </strong></a>
<a href=" http://www.airmax-cheap.net "><strong> cheap air max shoes </strong></a>
<a href=" http://www.jordan13shoes.com "><strong> jordan 13 shoes </strong></a>
<a href=" http://www.jordan13shoes.com "><strong> jordan 13 </strong></a>
<a href=" http://www.jordan13shoes.com "><strong> jordan 13 for sale </strong></a>
<a href=" http://www.jordan13.net "><strong> jordan 13 </strong></a>
<a href=" http://www.jordan13.net "><strong> jordan 13 retro </strong></a>
<a href=" http://www.jordan11retro.org "><strong> jordan 11 retro </strong></a>
<a href=" http://www.jordan11retro.org "><strong> jordan retro 11 </strong></a>
<a href=" http://www.jordan11retro.org "><strong> jordan 11 </strong></a>
<a href=" http://www.jordan11shoes.com "><strong> jordan 11 shoes </strong></a> jiefanfu
<a href=" http://www.jordan11shoes.com "><strong> jordan 11 concord low </strong></a>
<a href=" http://www.jordan11shoes.com "><strong> jordan 11 concord </strong></a>
<a href=" http://www.handbags-michaelkors.com "><strong> michael kors handbags </strong></a>
<a href=" http://www.handbags-michaelkors.com "><strong> michael kors outlet </strong></a>
<a href=" http://www.handbags-michaelkors.com "><strong> michael kors </strong></a>
<a href=" http://www.outlet-michaelkors.net "><strong> michae kors outlet </strong></a>
<a href=" http://www.outlet-michaelkors.net "><strong> michael kors </strong></a>
<a href=" http://www.outlet-michaelkors.net "><strong> michael kors outlet online </strong></a>
<a href=" http://www.michaelkorsoutlet-handbags.com "><strong> michael kors </strong></a>
<a href=" http://www.michaelkorsoutlet-handbags.com "><strong> michael kors outlet </strong></a>
<a href=" http://www.michaelkorsoutlet-handbags.com "><strong> michael kors handbags </strong></a>

[url=http://www.nikefreerun7.net/]free run 7.0[/url]
van cleef & arpels Jewelry 109
Comment
http://music.wut.edu.cn/bbs/forum.php?mod=viewthread&tid=751893&fromuid=246192
Reply #38 on : Wed June 25, 2014, 13:33:30
your florist could help you bring a little nature right into your house or apartment, no matter where you live. Every woman wants to be admired for her detect of style and fashion. On these websites, you will have to do a mobile search to see which applications are compatible with your mobile device.
[url=http://music.wut.edu.cn/bbs/forum.php?mod=viewthread&tid=751893&fromuid=246192]van cleef & arpels Jewelry 109[/url]
2012 New Packaging Air Jordan 10 Blue White Best Gift Basketball
Comment
Join()396
Reply #37 on : Wed June 18, 2014, 21:11:35
<a href="http://jordansforsale.dennissearing.com/air-jordan-3-88-retro-cement-sale-online-newest-p-108.html/"><strong>Air Jordan 3 88 Retro Cement Sale Online Newest</strong></a>
<a href="http://jordansforsale.dennissearing.com/new-air-jordan-7-original-bordeaux-black-grey-bordeaux-outlet-p-204.html/"><strong>New Air Jordan 7 Original Bordeaux (Black Grey Bordeaux) Outlet</strong></a>
<a href="http://jordansforsale.dennissearing.com/fashion-air-jordan-1-fluff-white-red-black-for-winter-new-style-p-7.html/"><strong>Fashion Air Jordan 1 Fluff White Red Black For Winter New Style</strong></a>
<a href="http://jordansforsale.dennissearing.com/on-sale-outlet-womens-air-jordan-4-superman-p-493.html/"><strong>On Sale Outlet Womens Air Jordan 4 Superman</strong></a>
<a href="http://jordansforsale.dennissearing.com/best-womens-air-jordan-3-black-peach-on-sale-p-450.html/"><strong>Best Womens Air Jordan 3 Black Peach On Sale</strong></a>
<a href="http://jordansforsale.dennissearing.com/new-womens-air-jordans-13-white-black-red-durable-new-arrival-p-434.html/"><strong>New Womens Air Jordans 13 white black red Durable New Arrival</strong></a>
<a href="http://jordansforsale.dennissearing.com/top-quality-exactly-fit-air-jordan-12-retro-obsidian-white-frenc-p-73.html/"><strong>Top Quality Exactly Fit Air Jordan 12 Retro Obsidian White Frenc</strong></a>
<a href="http://jordansforsale.dennissearing.com/sports-shoes-air-jordan-1-fluff-leopard-yellow-new-style-p-21.html/"><strong>Sports Shoes Air Jordan 1 Fluff Leopard Yellow New Style</strong></a>
<a href="http://jordansforsale.dennissearing.com/air-jordan-12-johnny-kilroy-silver-black-red-2013-exactly-fit-p-52.html/"><strong>Air Jordan 12 Johnny Kilroy Silver Black Red 2013 Exactly Fit</strong></a>
<a href="http://jordansforsale.dennissearing.com/new-air-jordan-13-retro-white-neutral-grey-university-blue-new-p-91.html/"><strong>New Air Jordan 13 Retro White Neutral Grey University Blue New</strong></a>
<a href="http://jordansforsale.dennissearing.com/exactly-fit-nike-air-foamposite-pro-galaxy-royal-blue-new-style-p-296.html/"><strong>Exactly Fit Nike Air Foamposite Pro Galaxy Royal Blue New Style</strong></a>
<a href="http://jordansforsale.dennissearing.com/on-sale-discount-air-jordan-ix-9-motorboat-jones-challenge-red-p-234.html/"><strong>On Sale Discount Air Jordan IX (9) Motorboat Jones Challenge Red</strong></a>
<a href="http://jordansforsale.dennissearing.com/best-gift-nike-womens-air-jordan-13-gs-black-red-p-425.html/"><strong>Best Gift Nike Womens Air Jordan 13 GS Black Red</strong></a>
<a href="http://jordansforsale.dennissearing.com/new-style-nike-mag-from-back-to-the-future-ii-marty-mcfly-cheap-p-314.html/"><strong>New Style Nike MAG From Back To The Future II Marty McFly Cheap</strong></a>
<a href="http://jordansforsale.dennissearing.com/sports-shoes-authentic-nike-air-foamposite-pro-pearl-white-62404-p-312.html/"><strong>Sports Shoes Authentic Nike Air Foamposite Pro Pearl White 62404</strong></a>
<a href="http://jordansforsale.dennissearing.com/shoes-hot-deal-womens-air-jordans-35-grey-blue-pink-p-473.html/"><strong>Shoes Hot Deal Womens Air Jordans 3.5 Grey Blue Pink</strong></a>

[url=http://jordansforsale.dennissearing.com/2012-new-packaging-air-jordan-10-blue-white-best-gift-basketball-p-23.html]2012 New Packaging Air Jordan 10 Blue White Best Gift Basketball[/url]
Breguet Watches for Men
Comment
http://www.womensbizalliance.org/Replica-breguet-watches_c37
Reply #36 on : Tue May 20, 2014, 02:25:50
The data collected in the Garmin watch is extremely easily downloaded in the ANT+ dongle. It's apparent the narrator thinks he suspects that people suspect madness as they claims this next part of evidence will convince us he really isn't mad: he places the dismembered corpse underneath the floor planks inside the old man's room (I'm not convinced). Between the white leather band and also the Swarovski-encrusted dial, this watch will truly light up your thing, whether you are going for the formal or informal look. The relatively young designer Alexander Wang offers a reputation for relaxed & somewhat manly lines. The main good thing about using these Swiss replica watches is the fact that one can purchase multiple of them yet do not bother.
[url=http://www.womensbizalliance.org/Replica-breguet-watches_c37]Breguet Watches for Men[/url]
Delices de Cartier Replica
Comment
http://www.casadecuentos.com/Delices-de-Cartier.html
Reply #35 on : Sat May 17, 2014, 08:57:51
No watch will always work while Rob dons it. The Casio Men's G-Shock Ana-Digi Silver-tone Solar Atomic Quartz Rubber Strap watch can be a beloved favorite among men over the globe, as well as for good reason. Ladies, your timepieces don't come much sleeker than the Women's Harmony Swiss Quartz Stainless Steel Bracelet Watch. Seiko and Citizen were big names in the timepiece making industry, and for several years Orient was ranked number 3 when it came to watch companies. For example, if you buy Omega watches, ask the retailer to the credit-card size warranty.
[url=http://www.casadecuentos.com/Delices-de-Cartier.html]Delices de Cartier Replica[/url]
Ballon bleu de cartier Replica
Comment
http://www.lachicaartnmusic.com/Replica-cartier-ballon-bleu_c1
Reply #34 on : Sat May 17, 2014, 08:14:11
lachicaartnmusic.com is one of the world's leading replica cartier online Fashion stores. Cartier which is well known as super watchmaker and jewelry supplier, has maintained a long history to world's celebrities and important figures, dating back to 1847. Replica Cartier store online stands out for high quality profucts with free shipping and best after-service. We are specialized in offering Calibre de Cartier Replica, Cartier Ballon bleu replica , cartier tank watches replica for men or women. Our Fake cartier watches and Cartier Jewelry like as Replica cartier love bracelet are sold all over the world and they are popular all seasons for every age. Fake cartier watches have always taken a big part in the international replica cartier market. Fashion fake cartier watches is famous for its unique and attrative style.
[url=http://www.lachicaartnmusic.com/Replica-cartier-ballon-bleu_c1]Ballon bleu de cartier Replica[/url]
Replica cartier sunglasses online wholesale
Comment
http://www.smeserver.net/replica-cartier-sunglasses-online-wholesale-d8415_p182.html
Reply #33 on : Wed May 14, 2014, 16:24:51
They have been around for a long time and value their privacy. There are some online options that customers can take advantage of to search Cartier sunglasses for sale. Petra Nemcova is a contestant on "Dancing using the Stars" 2011 for season 12 and information about her are here. He left a cubicle feeling that 'he got one', but in reality it was just another lie. All the brand new spring 2013 styles are constructed with rare and precious diamond frames from Paris.
<a href="http://www.smeserver.net/replica-cartier-sunglasses-online-wholesale-d8415_p182.html" title="Replica cartier sunglasses online wholesale">Replica cartier sunglasses online wholesale</a>
mulberry uk
Comment
Snippet805
Reply #32 on : Sun May 11, 2014, 03:40:18
I enjoy the efforts you have put in this, thanks for all the great posts.
mulberry uk http://importhandbooks.co.uk/mulberry-uk/
Faux Cartier Tortue Watches
Comment
http://www.australiaonlineclassified.com/Replica-cartier-tortue-watches.html
Reply #31 on : Wed May 07, 2014, 15:20:55
There are a couple of categories of watches that you could choose from. It's apparent the narrator thinks he suspects we suspect madness as they claims this next piece of evidence will convince us he really isn't mad: he places the dismembered corpse under the floor planks inside the old man's room (I'm not convinced). But they may be not the least expensive available inside the market so expect that it is a little costly. Remember the existing spy movies where our hero would call for help using his watch or take pictures of top secret documents while using camera hidden in the watch. All you really need is a nice dress watch, a business casual watch, a fashion watch or two, an activity watch, and a "bang around" watch.
[url=http://www.australiaonlineclassified.com/Replica-cartier-tortue-watches.html]Faux Cartier Tortue Watches[/url]
Fake Cartier Ballon Bleu de Small Watches
Comment
http://www.hungryirishman.com/fake-cartier-watches-ballon-bleu-de-small-c-143_128.html
Reply #30 on : Tue May 06, 2014, 14:49:36
Rather, get these phones citation a amount per g so you can analyze one adduce adjoin one more, roughly a being a minimum of apperceive what they're accepting to pay for like a allotment in the account abode cost. Acquiring straight from the company isn't the only way to ensure that you're purchasing authentic watches. Cartier engagement rings are readily available in an extended range of models and patterns. The watch winders works well for rewinding the timepieces and save them from wear and tear. Distinctive style is found in the Roadster Collection's using a Sapphire-colored resin cabochon resting in the top of this Cartier pen.
[url=http://www.hungryirishman.com/fake-cartier-watches-ballon-bleu-de-small-c-143_128.html]Fake Cartier Ballon Bleu de Small Watches[/url]
buy newport cigartettes online with credit card