search

OpenAADL / polyorb-hi-ada

PolyORB-HI/Ada runtime for Ocarina
http://www.openaadl.org
Other
9 stars 4 forks source link

build error #2

Closed hardfist closed 9 years ago

hardfist commented 9 years ago 
OCARINA-VERSION
Ocarina 2.0w (Working Copy from rc77bf46)
Build date: Sunday 24 May 2015, 12:23:27
Copyright (c) 2003-2009 Telecom ParisTech, 2010-2015 ESA & ISAE
HOST-MACHINE and OS
ubuntu14.04 on x64
gcc 4.8.2
automake 1.14.1
autoconf 2.69

when I run support/reconfig It generates the following message.

Running aclocal
Running autoconf
Running automake
examples/aadlv1/d3.1.3-1/Makefile.am:9: warning: variable 'AADL_SOURCES' is defined but no program or
examples/aadlv1/d3.1.3-1/Makefile.am:9: library has 'AADL' as canonical name (possible typo)
examples/aadlv1/d3.1.3-1_extended/Makefile.am:9: warning: variable 'AADL_SOURCES' is defined but no program or
examples/aadlv1/d3.1.3-1_extended/Makefile.am:9: library has 'AADL' as canonical name (possible typo)
examples/aadlv1/delayed_connections/Makefile.am:9: warning: variable 'AADL_SOURCES' is defined but no program or
examples/aadlv1/delayed_connections/Makefile.am:9: library has 'AADL' as canonical name (possible typo)
examples/aadlv1/flight_mgmt/Makefile.am:9: warning: variable 'AADL_SOURCES' is defined but no program or
examples/aadlv1/flight_mgmt/Makefile.am:9: library has 'AADL' as canonical name (possible typo)

then I build examples and it fails.

make[4]: Entering directory `/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/ping/ping_native/node_a'
ADA_PROJECT_PATH="/usr/local/include/ocarina/runtime/polyorb-hi-ada:$ADA_PROJECT_PATH" \
      gnatmake -x -Pnode_a.gpr -XTARGET=NATIVE -XBUILD=Debug -XCGCTRL=No  -largs   
polyorb_hi.gpr:172:07: warning: value "Analyzable" is not used as label
gcc-4.6 -c -g -gnatec=/usr/local/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/usr/local/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnatwG -gnat12 -g -O1 -gnata -gnato -I- -gnatA /home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/ping/ping_native/node_a/node_a.adb
/usr/local/include/ocarina/runtime/polyorb-hi-ada/gnat.adc:19:01: unrecognized pragma in configuration file
gnatmake: "/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/ping/ping_native/node_a/node_a.adb" compilation error
make[4]: *** [all] Error 4
make[4]: Leaving directory `/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/ping/ping_native/node_a'
Backends: fatal error : /usr/bin/make died unexpectedly
make[3]: *** [scenario] Error 2
make[3]: Leaving directory `/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/ping'
make[2]: *** [build-all] Error 2
make[2]: Leaving directory `/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/ping'
make[1]: *** [scenarios] Error 1
make[1]: Leaving directory `/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/ping'
make: *** [build-all] Error 2
yoogx commented 9 years ago

Although you indicate you have GCC 4.8, the command line indicates you use 4.6. GCC 4.8 is now mandatory for PolyORB-HI/Ada due to SPARK annotations

hardfist commented 9 years ago

Thanks,but when I replace it with gcc4.8,It cause the same error.

make[4]: Entering directory `/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/device_drivers/the_demo_impl/node_1'
ADA_PROJECT_PATH="/usr/local/include/ocarina/runtime/polyorb-hi-ada:$ADA_PROJECT_PATH" \
      gnatmake -x -Pnode_1.gpr -XTARGET=NATIVE -XBUILD=Debug -XCGCTRL=No  -largs   
polyorb_hi.gpr:172:07: warning: value "Analyzable" is not used as label
gcc-4.8 -c -g -gnatec=/usr/local/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/usr/local/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnatwG -gnat12 -g -O1 -gnata -gnato -I- -gnatA /home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/device_drivers/the_demo_impl/node_1/node_1.adb
/usr/local/include/ocarina/runtime/polyorb-hi-ada/gnat.adc:19:01: unrecognized pragma in configuration file
gnatmake: "/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/device_drivers/the_demo_impl/node_1/node_1.adb" compilation error
make[4]: *** [all] Error 4
make[4]: Leaving directory `/home/yj/openaadl/ocarina/resources/runtime/polyorb-hi-ada/examples/aadlv2/device_drivers/the_demo_impl/node_1'
Backends: fatal error : /usr/bin/make died unexpectedly
yoogx commented 9 years ago

On second thought, you cannot remove it, as there are also pragma SPARK_Mode in the course code. You'll have to update to GCC 4.9, or GPL 2014