search

OpenAADL / ocarina-build

Build script (and more) for Ocarina
MIT License
3 stars 5 forks source link

Build failure in Ubuntu 15.04 #2

Closed spiralgen closed 8 years ago

spiralgen commented 8 years ago

I run:

./build_ocarina.sh -s -u
./build_ocarina.sh -b

I get the following:

[2016-08-10-21:29] Reconfiguring (Ocarina): PASSED
[2016-08-10-21:29] First configure (Ocarina): PASSED
[2016-08-10-21:29] Doing 'make' (Ocarina): FAILED
...
...
...
gcc-4.9 -c -gnatec=/home/jason/Desktop/ocarina-build/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/jason/Desktop/ocarina-build/ocarina/src/main/ocarina_cmd.adb
ocarina_cmd.adb:580:07: "Try_Help" is undefined
gnatmake: "/home/jason/Desktop/ocarina-build/ocarina/src/main/ocarina_cmd.adb" compilation error
Makefile:611: recipe for target 'ocarina-main.gpr-build' failed
make[1]: *** [ocarina-main.gpr-build] Error 4
make[1]: Leaving directory '/home/jason/Desktop/ocarina-build/ocarina/projects'
Makefile:414: recipe for target 'all-recursive' failed
make: *** [all-recursive] Error 1
spiralgen commented 8 years ago

I was able to get the build to proceed by commenting out:

https://github.com/OpenAADL/ocarina/blob/master/src/main/ocarina_cmd.adb#L580

yoogx commented 8 years ago

Thanks for your report. Actually, Try_Help came from a later GNAT version. You may have more luck with GNAT GPL 2016 or GCC version above 5.2. Your work-around is OK, but you'll loose help from the CLI.