install ocarina failed with ./misc/get_ocarina.sh

[leonhxx]

Hi! I try to run pok on Ubuntu,but using ./misc/get_ocarina.sh can't install ocarina, as the website of 'http://download.tuxfamily.org/taste/snapshots/binaries/ocarina/' doesn't exist

[yoogx]

Use this: https://github.com/OpenAADL/ocarina-build

[leonhxx]

Use this: https://github.com/OpenAADL/ocarina-build

thanks, but unfortunately ocarina buid failed with the message:
home/****/ocarina-build/ocarina/src/../projects/restrictions.adc:30:22: invalid restriction identifier "No_Fixed_Io"
/home/****/ocarina-build/ocarina/src/../projects/restrictions.adc:64:22: invalid restriction identifier "No_Implicit_Task_Allocations"
/home/****/ocarina-build/ocarina/src/../projects/restrictions.adc:65:22: invalid restriction identifier "No_Implicit_Protected_Object_Allocations"
/home/****/ocarina-build/ocarina/src/../projects/restrictions.adc:75:22: invalid restriction identifier "No_Task_At_Interrupt_Priority"
/home/****/ocarina-build/ocarina/src/../projects/restrictions.adc:80:22: invalid restriction identifier "Pure_Barriers"
gprbuild: *** compilation phase failed
Makefile:668: recipe for target 'build-mknodes' failed
make[1]: *** [build-mknodes] Error 4
make[1]: Leaving directory '/home/****/ocarina-build/ocarina/projects'
Makefile:422: recipe for target 'all-recursive' failed
make: *** [all-recursive] Error 1

[yoogx]

Your GNAT is definitely too old, the tool compiles just fine

[leonhxx]

Your GNAT is definitely too old, the tool compiles just fine

thanks，I update the GNAT to gnat-2020-20200429-x86_64-linux-bin、gnat-community-2019-20190517-x86_64-linux-bin，try for a long time, but still build failed with the following message:
checking that your gnat compiler works with a simple example... conftest.gpr:1:09: no languages defined for this project
gprbuild: "conftest.gpr" processing failed
no
configure: error: /usr/bin/gprbuild test failed at compile time! Check your configuration.

[yoogx]

Chances are that you put gnat community at the end of your path. It should be in front so that you use gprbuild from GNAT CE and not the one provided by your distro.

[leonhxx]

Chances are that you put gnat community at the end of your path. It should be in front so that you use gprbuild from GNAT CE and not the one provided by your distro.

Thank you very much, I finally installed ocarina! but It seems current ocarina can't compile pok examples, and I have no idea how to make ocarina and pok example match, can you give me some idea or information? :)

here is the error compile message: AADL models are not syntaxically correct, please fix them !