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 51 | Next | Last
anf outlet
Comment
http://www.anfoutlet.us/
Reply #51 on : Sun December 21, 2014, 15:25:06
%title% * Abercrombie & Fitch Polo Shirt WHITE Size - MEDIUM <a href="http://www.anfoutlet.us/">Abercrombie Outlet</a> * Very good,prompt delivery,great item <a href="http://www.anfoutlet.us/">anf outlet</a> * Very Fast delivery,Fab t-shirt,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.anfoutlet.us/]anf outlet[/url]
Canada Goose Canada
Comment
http://www.canadagoosesoutlet.ca/
Reply #50 on : Fri December 19, 2014, 16:24:52
%title% * Welcome offical Canada Goose Outlet Store, all kinds of cheap canada goose sale,top quality,free shipping, Save Up to 70% OFF At Canada Goose Outlet,Canada Goose Canada Online. <a href="http://www.canadagoosesoutlet.ca/">Canada Goose Outlet</a> * Very good,prompt delivery,great item <a href="http://www.canadagoosesoutlet.ca/">Canada Goose Canada</a> Very Fast delivery!
[url=http://www.canadagoosesoutlet.ca/]Canada Goose Canada[/url]
Michael Kors Canada
Comment
Tattoo814
Reply #49 on : Thu December 18, 2014, 17:41:42
Archeia | TAMP: Some success * Official Michael Kors Outlet Online Sale Store <a href="http://www.michaelkorsoutlet.ca/"> Michael Kors Outlet </a> * Very good,prompt delivery,great item <a href="http://www.michaelkorsoutlet.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.michaelkorsoutlet.ca/]Michael Kors Canada[/url]
Coach Australia
Comment
Righteous763
Reply #48 on : Thu December 18, 2014, 17:34:21
Archeia | TAMP: Some success tijapkicmkl <a href="http://www.coach-handbags.com.au/">Coach Handbags</a> afrlfk <a href="http://www.coach-handbags.com.au/">Coach Australia</a> luzjnlvki <a href="http://www.coach-handbags.com.au/">coach</a> oalszbifds <a href="http://www.coach-handbags.com.au/">Coach Bags</a> pxisxffu <a href="http://www.coach-handbags.com.au/">Coach online</a> tiyxqzrvc <a href="http://www.coach-handbags.com.au/">coach outlet online</a> frqnpp
[url=http://www.coach-handbags.com.au/]Coach Australia[/url]
http://colegiovaccaro.com.br/footballfr/9qsdwh.asp
Comment
Marit384
Reply #47 on : Wed December 17, 2014, 05:02:36
Esp?rons que, avec le revue et avec mon 3 final vous ?tes un pas de plus vers le choix de l??ppareil photo vanessa bruno paris pour vous. Bien s?r, c??st un
[url=http://colegiovaccaro.com.br/footballfr/9qsdwh.asp]http://colegiovaccaro.com.br/footballfr/9qsdwh.asp[/url]
http://trang.nfe.go.th/footballfr/qhd94k.asp
Comment
Question749
Reply #46 on : Wed December 17, 2014, 04:24:20
Grand cabas lin paillettes Grand cabas Vanessa Bruno en lin couleur ?l?phant avec Qui sommes nous ? Mentions l?gales; Naviguez par; Marques; Tendances; Looks; Soldes
[url=http://trang.nfe.go.th/footballfr/qhd94k.asp]http://trang.nfe.go.th/footballfr/qhd94k.asp[/url]
coach outlet
Comment
Maaike480
Reply #45 on : Tue December 16, 2014, 14:15:00
Archeia | TAMP: Some success qcujmibis <a href="http://www.coach-outlet-online.ca/">coach outlet</a> vxhcirpn <a href="http://www.coach-outlet-online.ca/">coach outlet</a> xmgknqpzt <a href="http://www.coach-outlet-online.ca/">coach</a> oenwym <a href="http://www.coach-outlet-online.ca/">coach</a> lksjlafbp <a href="http://www.coach-outlet-online.ca/">Coach online</a> xhzsbmn <a href="http://www.coach-outlet-online.ca/">coach outlet online</a> qjsemcwjhge
[url=http://www.coach-outlet-online.ca/]coach outlet[/url]
coach
Comment
Desc633
Reply #44 on : Tue December 16, 2014, 14:09:45
Archeia | TAMP: Some success kdxsxzmjz <a href="http://www.coach-handbags.com.au/">Coach Handbags</a> uacbxodc <a href="http://www.coach-handbags.com.au/">Coach Australia</a> knxljlup <a href="http://www.coach-handbags.com.au/">coach</a> vvebqixtn <a href="http://www.coach-handbags.com.au/">Coach Bags</a> ygylnr <a href="http://www.coach-handbags.com.au/">Coach online</a> yzcueuev <a href="http://www.coach-handbags.com.au/">coach outlet online</a> byiophxj
[url=http://www.coach-handbags.com.au/]coach[/url]
abercrombie outlet
Comment
Better150
Reply #43 on : Tue December 16, 2014, 13:55:11
Archeia | TAMP: Some success qolrhhuyqt <a href="http://www.bitbau.it/abercrombie-outlet.html">abercrombie milano</a> ytbprhp <a href="http://www.bitbau.it/abercrombie-outlet.html">abercrombie outlet</a> gswysh <a href="http://www.bitbau.it/abercrombie-outlet.html">abercrombie milano</a> iyvrnaemrr
[url=http://www.bitbau.it/abercrombie-outlet.html]abercrombie outlet[/url]
louis vuitton australia
Comment
http://www.louisvuittonbags.com.au/
Reply #42 on : Tue December 16, 2014, 12:23:35
%title% * Louis Vuitton Bags australia.<a href="http://www.louisvuittonwebsites.com/">Louis Vuitton Bags australia</a> *
[url=http://www.louisvuittonbags.com.au/]louis vuitton australia[/url]
buy newport cigartettes online with credit card