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 72 | Next | Last
Michael Kors Outlet
Comment
http://www.michael-korsoutlet.ca/
Reply #72 on : Sun March 01, 2015, 22:11:54
%title% * Official Michael Kors Outlet Online Sale Store <a href="http://www.michael-korsoutlet.ca/"> Michael Kors Outlet </a> * Very good,prompt delivery,great item <a href="http://www.michael-korsoutlet.ca/"> Michael Kors Canada </a> Very Fast delivery,Michael Kors Outlet,Michael Kors Canada Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.michael-korsoutlet.ca/]Michael Kors Outlet[/url]
wholesale ugg boots 5275
Comment
Access322
Reply #71 on : Sun March 01, 2015, 20:42:27
If the pants are short it will ruin the whole image.
[url=http://paulxgtp.soup.io]wholesale ugg boots 5275[/url]
Michael Kors Canada
Comment
http://www.michaelkorsoutlet.ca/
Reply #70 on : Sun March 01, 2015, 16:24:41
Michael Kors Outlet Canada Online Store <a href="http://www.michaelkorsoutlet.ca/">Michael Kors Outlet</a> fast delivery,great quality <a href="http://www.michael-korsoutlet.ca/"> Michael Kors Canada </a>.
[url=http://www.michaelkorsoutlet.ca/]Michael Kors Canada[/url]
cheap ugg boots uk dr martens
Comment
Joystick13
Reply #69 on : Thu February 26, 2015, 16:50:50
Date Added: 09/25/2012 by d***yGreat products.
[url=http://baldwiniepb.soup.io]cheap ugg boots uk dr martens[/url]
louis vuitton outlet
Comment
http://www.louisvuittonfactoryoutlet.us/
Reply #68 on : Sun February 08, 2015, 21:00:28
%title% * Qualiaty so nice Louis Vuitton factory outlet handbags store <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factory outlet </a> * Very good,prompt delivery,great item <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton factoy </a> * <a href="http://www.louisvuittonfactoryoutlet.us/"> louis vuitton outlet </a> Very Fast delivery,Louis Vuitton Factory Business Card Holder ,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.louisvuittonfactoryoutlet.us/]louis vuitton outlet[/url]
Abercrombie Outlet
Comment
Marit941
Reply #67 on : Sat February 07, 2015, 12:27:17
Archeia | TAMP: Some success * Abercrombie & Fitch Polo Shirt WHITE Size - MEDIUM <a href="http://www.abercrombieandfitchoutlet.us/"> Abercrombie Outlet </a> * Very good,prompt delivery,great item <a href="http://www.abercrombieandfitchoutlet.us/"> Abercrombie US </a> * <a href="http://www.abercrombieandfitchoutlet.us/"> Abercrombie Sale </a> Very Fast delivery,Fab t-shirt,Will defo use this seller.again A*****. Arrived very quickly. <a href="http://www.abercrombieandfitchoutlet.us/"> Abercrombie and fitch outlet </a> * Happy with everything.
[url=http://www.abercrombieus.com/]Abercrombie Outlet[/url]
Air Max One Femme Leopard Pas Cher
Comment
Righteous490
Reply #66 on : Thu February 05, 2015, 08:32:18
[url=http://www.thefrockexchange.com.au/sale/nike/air-max-one-femme-leopard-pas-cher.htm]Air Max One Femme Leopard Pas Cher[/url]; <br> [url=http://www.thefrockexchange.com.au/sale/nike/nike-air-max-pas-chere-homme.htm]Nike Air Max Pas Chere Homme[/url]; <br> [url=http://www.thefrockexchange.com.au/sale/nike/air-max-essential-pas-cher.htm]Air Max Essential Pas Cher[/url]; <br> [url=http://www.successfulresumes.com.au/scripts/nike/nike-air-force-one-basse-pas-cher.htm]Nike Air Force One Basse Pas Cher[/url]; <br> [url=http://www.successfulresumes.com.au/scripts/nike/nike-air-max-1-pas-cher-france.htm]Nike Air Max 1 Pas Cher France[/url]; <br> [url=http://www.thefrockexchange.com.au/sale/nike/nike-air-max-90-blanc-femme-pas-cher.htm]Nike Air Max 90 Blanc Femme Pas Cher[/url]; <br> [url=http://www.thefrockexchange.com.au/sale/nike/achat-air-max-90-pas-cher.htm]Achat Air Max 90 Pas Cher[/url]; <br> [url=http://www.thefrockexchange.com.au/sale/nike/nike-air-max-rose-pas-cher.htm]Nike Air Max Rose Pas Cher[/url]; <br>
Abercrombie US
Comment
Parser212
Reply #65 on : Mon February 02, 2015, 16:50:25
Archeia | TAMP: Some success * 60% OFF,Free Shipping - Abercrombie Outlet US.: Official Abercrombie & Fitch Company Clothing Warehouse supply discount Abercrombie,Abercrombie Outlet,Abercrombie & Fitch,A&F,Clothing,in US. every day! <a href="http://www.abercrombieus.com/"> Abercrombie Outlet </a> * Very good,prompt delivery,great item <a href="http://www.abercrombieus.com/"> Abercrombie US </a> * <a href="http://www.abercrombieus.com/"> Abercrombie outlet us </a> Very Fast delivery,Abercrombie,Abercrombie Outlet,Abercrombie & Fitch,A&F,Clothing,US,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.abercrombieus.com/]Abercrombie US[/url]
Abercrombie Outlet
Comment
URLs922
Reply #64 on : Sun February 01, 2015, 23:38:16
Archeia | TAMP: Some success * 60% OFF,Free Shipping - Abercrombie Outlet US.: Official Abercrombie & Fitch Company Clothing Warehouse supply discount Abercrombie,Abercrombie Outlet,Abercrombie & Fitch,A&F,Clothing,in US. every day! <a href="http://www.abercrombieus.com/"> Abercrombie Outlet </a> * Very good,prompt delivery,great item <a href="http://www.abercrombieus.com/"> Abercrombie US </a> * <a href="http://www.abercrombieus.com/"> Abercrombie outlet us </a> Very Fast delivery,Abercrombie,Abercrombie Outlet,Abercrombie & Fitch,A&F,Clothing,US,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.abercrombieus.com/]Abercrombie Outlet[/url]
nfl jerseys cheap
Comment
Marit357
Reply #63 on : Tue January 20, 2015, 09:53:42
<a href='http://www.esquisseparis.fr/forum/?a=member&m=1085652'>NFL Jerseys</a> <a href='http://tdzf.com.cn/my/space.php?uid=10607&do=blog&id=2728'>Sac Michale Kors</a> <a href='http://www.downlane.com/uncategorized/dont-be-afraid-to-change-what-you-pas-cher/'>NFL Jerseys</a> <a href='http://haekang.net/zbxe/?document_srl=2801628'>Nike Air Max</a><a href='http://gdezhit.ru/ads/how-teach-hoosiertyrescoza-sac-longchamp-franc'>Sac Michale Kors</a>
buy newport cigartettes online with credit card