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 63 | Next | Last
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>
Collectif Abssice 360
Comment
http://www.abssice360.fr/
Reply #62 on : Sun January 11, 2015, 16:29:52
<H1><a href="http://www.monclerdoudounefrance.fr" title="moncler doudoune france"><strong>moncler doudoune france</strong></a></H1>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Michael Kors Canada
Comment
http://www.michael-kors.ca/
Reply #61 on : Tue January 06, 2015, 09:30:54
<H1><a href="http://www.michaelkorsoutlet.ca" title="michael kors outlet"><strong>michael kors outlet</strong></a></H1>
[url=http://www.michael-kors.ca/]Michael Kors Canada[/url]
coach handbags
Comment
http://www.coach-handbags.com.au/
Reply #60 on : Fri January 02, 2015, 13:08:18
%title% vdpudvzbiy <a href="http://www.coach-handbags.com.au/">coach handbags</a> vdpudvzbiy <a href="http://www.coach-handbags.com.au/">coach australia</a> vdpudvzbiy <a href="http://www.coach-handbags.com.au/">coach</a> vdpudvzbiy
[url=http://www.coach-handbags.com.au/]coach handbags[/url]
louis vuitton official website
Comment
http://www.louisvuittonwebsites.com/
Reply #59 on : Fri January 02, 2015, 12:26:20
%title% * Louis Vuitton worlds famous brand.<a href="http://www.louisvuittonwebsites.com/">Louis Vuitton</a> *
[url=http://www.louisvuittonwebsites.com/]louis vuitton official website[/url]
Longchamp Sac Pas Cher
Comment
Humphrey805
Reply #58 on : Wed December 31, 2014, 22:15:38
<a href="http://www.thaitravelmart.com/mon/jan.asp?aid=64">Sacoche Longchamp Pas Cher</a> Apparemment, m?me si elle n?cessite l'utilisation de millions de petits sacs en plastique dont l'impact environnemental reste flou . <br/> <a href="http://www.womenforworldhealth.org/mon/feb.asp?bid=40">Sac De Voyage Longchamp Pas Cher</a> Ces jours-ci, les fournitures de march? brod? poches de jute. <br/> <a href="http://oidb.ege.edu.tr/mon/sep.asp?kid=24">Sac Longchamp Noir Pas Cher</a>
[url=http://oidb.ege.edu.tr/mon/sep.asp?kid=118]Longchamp Sac Pas Cher[/url]
timberland boots
Comment
http://www.timberlandboots-sales.com/
Reply #57 on : Wed December 31, 2014, 19:25:32
[url=http://www.guccihandbags.us][b]gucci handbags[/b][/url]
[url=http://www.timberlandboots-sales.com/]timberland boots[/url]
asics shoes
Comment
http://www.asicss.us/
Reply #56 on : Wed December 31, 2014, 14:09:40
<a href="http://www.christian-louboutin-shop.us"><strong>christian louboutin shop</strong></a>
[url=http://www.asicss.us/]asics shoes[/url]
louis vuitton official website
Comment
http://www.louisvuittonwebsites.com/
Reply #55 on : Fri December 26, 2014, 14:12:29
%title% * Louis Vuitton worlds famous brand.<a href="http://www.louisvuittonwebsites.com/">Louis Vuitton</a> *
[url=http://www.louisvuittonwebsites.com/]louis vuitton official website[/url]
asics gel nimbus
Comment
http://www.asicss.us/
Reply #54 on : Fri December 26, 2014, 11:18:38
<a href="http://www.canadagoosesoutlet.ca"><strong>canada gooses outlet</strong></a>
[url=http://www.asicss.us/]asics gel nimbus[/url]
buy newport cigartettes online with credit card