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 16 | Next | Last
abercrombie fitch Outlet
Comment
Humphrey909
Reply #16 on : Mon October 27, 2014, 11:11:15
Archeia | TAMP: Some success I like abercrombie fitch clothing ryhexolliqc <a href="http://www.abercrombie-outlet.us/"> abercrombie outlet </a> qttxloqnhfn <a href="http://www.abercrombie-outlet.us/"> abercrombie outlet us </a> jzotbadej <a href="http://www.abercrombie-outlet.us/"> abercrombie us </a>
[url=http://www.abercrombie-outlet.us/]abercrombie fitch Outlet[/url]
Collectif Abssice 360
Comment
Join()975
Reply #15 on : Mon October 27, 2014, 11:06:55
<a href="http://www.abssice360.fr/nike-air-jordan/nike-jordan-homme-grand.html">nike jordan homme grand</a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Collectif Abssice 360
Comment
Yap542
Reply #14 on : Mon October 27, 2014, 10:54:34
<a href="http://www.abssice360.fr/nike-air-jordan/nike-jordan-photoshop-gimp-tutoriel.html">nike jordan photoshop gimp tutoriel</a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Luis Vuitton Factory Outlet
Comment
Access154
Reply #13 on : Mon October 27, 2014, 10:36:10
Archeia | TAMP: Some success * <a href="http://www.louisvuittonfactoryhandbag.com"> Luis Vuitton Factory Outlet </a> * <a href="http://www.louisvuittonfactoryhandbag.com"> Luis Vuitton Factory Outlet </a> * <a href="http://www.louisvuittonfactoryhandbag.com"> Luis Vuitton Outlet </a> * <a href="http://www.louisvuittonfactoryhandbag.com"> Luis Vuitton Factory </a> * <a href="http://www.louisvuittonfactoryhandbag.com"> Luis Vuitton handbags </a> * <a href="http://www.louisvuittonfactoryhandbag.com"> LV Factory Outlet </a> * <a href="http://www.louisvuittonfactoryhandbag.com"> LV Outlet </a> * <a href="http://www.louisvuittonfactoryhandbag.com"> Luis Vuitton Factory handbag </a> *
[url=http://www.louisvuittonfactoryhandbag.com]Luis Vuitton Factory Outlet[/url]
Collectif Abssice 360
Comment
Cache867
Reply #12 on : Sat October 25, 2014, 22:11:32
<a href="http://www.abssice360.fr/nike-jordan-pas-cher-chine.html">nike jordan pas cher chine</a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Collectif Abssice 360
Comment
Better941
Reply #11 on : Sat October 25, 2014, 11:34:32
<a href="http://www.abssice360.fr/basket-jordan.html">basket jordan </a>
[url=http://www.abssice360.fr/]Collectif Abssice 360[/url]
Abercrombie US
Comment
Intel967
Reply #10 on : Fri October 24, 2014, 03:37:42
Archeia | TAMP: Some success * Abercrombie & Fitch Polo Shirt WHITE Size - MEDIUM <a href="http://www.abercrombieoutletsales.us/"> Abercrombie Outlet </a> * Very good,prompt delivery,great item <a href="http://www.abercrombieoutletsales.us/"> Abercrombie US </a> * <a href="http://www.abercrombieoutletsales.us/"> Abercrombie Sale </a> Very Fast delivery,Fab t-shirt,Will defo use this seller.again A*****. Arrived very quickly. Happy with everything.
[url=http://www.abercrombieoutletsales.us/]Abercrombie US[/url]
asics gel kayano
Comment
Access421
Reply #9 on : Fri October 24, 2014, 03:29:45
[url=http://www.asicsgelkayano.com.au/asics-Gel-Quick-33-shoes-c-14.html/]asics Gel Quick 33 shoes sale[/url]
[url=http://www.asicsgelkayano.com.au/]asics gel kayano[/url]
timberland outlet
Comment
Desc257
Reply #8 on : Wed October 22, 2014, 07:21:25
Archeia | TAMP: Some success cqtalyr <a href="Timberland Boots For Women On Sale"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Boots-For-Women-on-sale-c-13.html </a> tkiuhp <a href="Timberland 14 Inch Boots"> http://www.timberlandbootsoutlet.us/Discount-Timberland-14-Inch-Boots-on-sale-c-2.html </a> cbptcpkwhm <a href="Timberland 6 Inch Boots Women"> http://www.timberlandbootsoutlet.us/Discount-Timberland-6-Inch-Boots-Women-on-sale-c-5.html </a> gkwxcuqyh <a href="Timberland Roll-Top Women"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Roll-Top-Women-on-sale-c-11.html </a> pxfgsbdvdup <a href="Discount Timberland Boots For Men Sale On Line"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Boots-For-Men-on-sale-c-14.html </a> dcabbvvxgy <a href="Timberland 6 Inch Boots Men"> http://www.timberlandbootsoutlet.us/Discount-Timberland-6-Inch-Boots-Men-on-sale-c-4.html </a> rjrtmhegc <a href="Timberland Chukka Boots Men"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Chukka-Boots-Men-on-sale-c-7.html </a> gazmsaq <a href="Mens Timberland Roll Top Boots"> http://www.timberlandbootsoutlet.us/Discount-Mens-Timberland-Roll-Top-Boots-on-sale-c-10.html </a> hzbawien <a href="Timberland Shoes Outlet Sale On Line!"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Shoes-Outlet-on-sale-c-15.html </a> slljzhsvy <a href="Timberland Boots New Arrvials"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Boots-New-Arrvials-on-sale-c-6.html </a> zwsnbfblxrm <a href="Timberland EarthKeepers"> http://www.timberlandbootsoutlet.us/Discount-Timberland-EarthKeepers-on-sale-c-8.html </a> dfhbalfiecq <a href="Timberland Euro Hiker Boots"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Euro-Hiker-Boots-on-sale-c-9.html </a> gesqhl <a href="Timberland Splitrock Boots"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Splitrock-Boots-on-sale-c-12.html </a>
[url=http://www.timberlandbootsoutlet.us/]timberland outlet[/url]
timberland boots
Comment
Query127
Reply #7 on : Wed October 22, 2014, 06:58:32
Archeia | TAMP: Some success bezfplteag <a href="Timberland Boots For Women On Sale"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Boots-For-Women-on-sale-c-13.html </a> hqmxtqrfyd <a href="Timberland 14 Inch Boots"> http://www.timberlandbootsoutlet.us/Discount-Timberland-14-Inch-Boots-on-sale-c-2.html </a> tqnrpupq <a href="Timberland 6 Inch Boots Women"> http://www.timberlandbootsoutlet.us/Discount-Timberland-6-Inch-Boots-Women-on-sale-c-5.html </a> doupjtjpa <a href="Timberland Roll-Top Women"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Roll-Top-Women-on-sale-c-11.html </a> wmvgtb <a href="Discount Timberland Boots For Men Sale On Line"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Boots-For-Men-on-sale-c-14.html </a> xjwgwbs <a href="Timberland 6 Inch Boots Men"> http://www.timberlandbootsoutlet.us/Discount-Timberland-6-Inch-Boots-Men-on-sale-c-4.html </a> uaszljqv <a href="Timberland Chukka Boots Men"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Chukka-Boots-Men-on-sale-c-7.html </a> dkavyvznpyk <a href="Mens Timberland Roll Top Boots"> http://www.timberlandbootsoutlet.us/Discount-Mens-Timberland-Roll-Top-Boots-on-sale-c-10.html </a> oirzsel <a href="Timberland Shoes Outlet Sale On Line!"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Shoes-Outlet-on-sale-c-15.html </a> llzwleosm <a href="Timberland Boots New Arrvials"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Boots-New-Arrvials-on-sale-c-6.html </a> dccwnm <a href="Timberland EarthKeepers"> http://www.timberlandbootsoutlet.us/Discount-Timberland-EarthKeepers-on-sale-c-8.html </a> xqujbxb <a href="Timberland Euro Hiker Boots"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Euro-Hiker-Boots-on-sale-c-9.html </a> czubqsky <a href="Timberland Splitrock Boots"> http://www.timberlandbootsoutlet.us/Discount-Timberland-Splitrock-Boots-on-sale-c-12.html </a>
[url=http://www.timberlandbootsoutlet.us/]timberland boots[/url]
buy newport cigartettes online with credit card