pok-kernel
install ocarina failed with ./misc/get_ocarina.sh
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
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
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.
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.
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 !