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 269 | Next | Last
Collectif Abssice 360
Comment
http://www.abssice360.fr/
Reply #269 on : Sat April 25, 2015, 10:08:34
<a href="http://www.nike-arimax.com/" title="Nike Air Max"><strong>Nike Air Max</strong></a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Collectif Abssice 360
Comment
http://www.abssice360.fr/
Reply #268 on : Sat April 25, 2015, 08:09:51
<a href="http://www.mizunoshoes.us/><strong>Mizuno Running Shoes</strong></a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Collectif Abssice 360
Comment
http://www.abssice360.fr/
Reply #267 on : Fri April 24, 2015, 15:39:48
<H1><a href="http://www.coachoutletonlinein.us/><strong>Coach Outlet Factory Online Store</strong></a></H1>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Our Air Max 90 Premium Gray Mens Is On Sale Now
Comment
Righteous716
Reply #266 on : Fri April 24, 2015, 12:12:04
Hey there are using Wordpress for your site platform? I'm new to the blog world but I'm trying to get started and create my own. Do you need any coding expertise to make your own blog? Any help would be greatly appreciated!
[url=http://www.la-demilune.com/images/config.php?Nike-Air-Max-90-Premium-Running-Em-Mens-Gray-t-1758_874.html]Our Air Max 90 Premium Gray Mens Is On Sale Now[/url]
nike zapatillas espa?a
Comment
Griff74
Reply #265 on : Fri April 24, 2015, 07:52:27
Hmm it appears like your blog ate my first comment (it was super long) so I guess I'll just sum it up what I submitted and say, I'm thoroughly enjoying your blog. I as well am an aspiring blog blogger but I'm still new to the whole thing. Do you have any suggestions for rookie blog writers? I'd really appreciate it.
[url=http://www.inikeventa.com/]nike zapatillas espa?a[/url]
Nike Air Max 2012 Mens For You And You Will Like To Buy It.
Comment
Thespian558
Reply #264 on : Fri April 24, 2015, 04:56:54
This design is wicked! You obviously know how to keep a reader entertained. Between your wit and your videos, I was almost moved to start my own blog (well, almost...HaHa!) Excellent job. I really loved what you had to say, and more than that, how you presented it. Too cool!
[url=http://www.de.hi-bondtapes.com/images/config.php?Nike-Air-Max-2012-Running--Mens-Yellow-t-1902_830.html]Nike Air Max 2012 Mens For You And You Will Like To Buy It.[/url]
Collectif Abssice 360
Comment
http://www.abssice360.fr/
Reply #263 on : Fri April 24, 2015, 03:44:48
<a href="http://www.guccihandbags.us/><strong>Gucci Handbags Outlet</strong></a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
To Choose Nike Free 5.0 Blue Womens
Comment
Marit936
Reply #262 on : Fri April 24, 2015, 02:41:41
Woah! I'm really digging the template/theme of this blog. It's simple, yet effective. A lot of times it's challenging to get that "perfect balance" between superb usability and visual appeal. I must say you have done a amazing job with this. Additionally, the blog loads very fast for me on Internet explorer. Outstanding Blog!
[url=http://www.longbuckbyafc.co.uk/images/nvyIOQ2.php?Nike-Free-5.0--Running-Womens-Blue-t-428_381.html]To Choose Nike Free 5.0 Blue Womens[/url]
Fashion Style Of Mens Nike Air Max Tailwind 6 Gray Running Is Suitbale.
Comment
Gerald288
Reply #261 on : Fri April 24, 2015, 00:45:57
Hey! I'm at work surfing around your blog from my new apple iphone! Just wanted to say I love reading your blog and look forward to all your posts! Keep up the superb work!
[url=http://gnsonline.co.uk/images/afmuzXY5.php?Nike-Air-Max-Tailwind-6-Suede-Running-Mens-Gray-t-346_431.html]Fashion Style Of Mens Nike Air Max Tailwind 6 Gray Running Is Suitbale.[/url]
Collectif Abssice 360
Comment
http://www.abssice360.fr/
Reply #260 on : Thu April 23, 2015, 19:15:05
<a href="http://www.louisvuittonwebsites.com/><strong>Buy from Louis Vuitton Official Website</strong></a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
buy newport cigartettes online with credit card