OpenAADL / ocarina-build

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

Ocarina in Osate2: Building Issue #45

Closed Think-sys closed 4 years ago

Think-sys commented 4 years ago

Hi. I have downloaded the AADLib for the bus packages. (https://github.com/OpenAADL/AADLib) My aim was to simulate a small 1553 setup. But to simulate the above mentioned library ocarina was needed. So I followed this doc (https://readthedocs.org/projects/ocarina/downloads/pdf/latest/). But every time when I'm trying to build_ocarina.sh I face the following ` Think..!@DESKTOP-REMOI3U /cygdrive/c/users/Think..!/Desktop/ocarina_build_master $ ./build_ocarina.sh -s -u Guessing OS windows [2020-07-23-09:58] Checkout the Ocarina sources [PASSED] [2020-07-23-09:59] Fetching runtimes 'polyorb-hi-ada polyorb-hi-c aadlib'[PASSED]

Think..!@DESKTOP-REMOI3U /cygdrive/c/users/Think..!/Desktop/ocarina_build_master $ ./build_ocarina.sh -b Guessing OS windows [2020-07-23-10:13] Reconfiguring (Ocarina) [PASSED] [2020-07-23-10:14] First configure (Ocarina)[2020-07-23-10:14] First configure (Ocarina) [FAILED] checking build system type... x86_64-unknown-cygwin checking host system type... x86_64-unknown-cygwin checking target system type... x86_64-unknown-cygwin checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes /cygdrive/c/users/Think..!/Desktop/ocarina_build_master/ocarina/support/missing: Unknown --is-lightweight' option Try/cygdrive/c/users/Think..!/Desktop/ocarina_build_master/ocarina/support/missing --help' for more information configure: WARNING: 'missing' script is too old or missing checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... no checking whether make supports nested variables... no checking how to create a pax tar archive... gnutar checking for mv... mv checking for rm... rm checking for cp... cp checking for grep... grep checking for chmod... chmod checking for strip... strip checking for ranlib... ranlib checking whether make supports the include directive... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.exe checking for suffix of executables... .exe checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking for gnatmake... no checking for gnatgcc... no checking for adagcc... no checking for gcc... gcc checking for gnatmake... no Tentatively using gcc as an Ada compiler checking for gnatchop... no checking if the Ada compiler works... no configure: error: Ada compiler is not working `

Also tried this './build_ocarina.sh --scenario=fresh-install --prefix=/Users/DESKTOP-REMOI3U/local/ocarina' but same issue. Well I have all GNAT packages i.e. libgnat5 ,libgnat6, libgnat7 but still this. Im using Osate2 2.7.1 & Cygwin on windows 10. And one more thing kindly, Is it possible to simulate a small 1553 setup with 2 to 3 RTs and analyze the output using the AADLib?

Thanks in advance

yoogx commented 4 years ago

You do not have gnat installed

checking dependency style of gcc... none checking for gnatmake... no checking for gnatgcc... no checking for adagcc... no checking for gcc... gcc checking for gnatmake... no Tentatively using gcc as an Ada compiler checking for gnatchop... no checking if the Ada compiler works... no

you must have gnatmake in your path

About your second question; I am not sure to understand. We have no library for code generation or simulation of 1553. The 1553 component in AADLib is a placeholder for capturing some configuration parameters.

Think-sys commented 4 years ago

Thanks. resolved the issue after setting Path(environmental variable). But now there is a syntax error:

Think..!@DESKTOP-REMOI3U /cygdrive/c/users/Think..!/Desktop/ocarina_build_master $ ./build_ocarina.sh --scenario=fresh-install --prefix=/Users/DESKTOP-REMOI3U/local/ocarina Guessing OS windows OS: CYGWIN_NT-10.0 3.1.6(0.340/5/3) x86_64 Compiler: GNATMAKE Community 2020 (20200429-93) autoconf: autoconf (GNU Autoconf) 2.69 automake: automake (GNU automake) 1.16.1 [2020-07-25-10:23] Checkout the Ocarina sources [PASSED] [2020-07-25-10:24] Fetching runtimes 'polyorb-hi-ada polyorb-hi-c aadlib'[PASSED] [2020-07-25-10:24] Reconfiguring (Ocarina) [PASSED] [2020-07-25-10:24] First configure (Ocarina) [PASSED] [2020-07-25-10:26] Doing 'make' (Ocarina)[2020-07-25-10:26] Doing 'make' (Ocarina) [FAILED] /usr/bin/sh: -c: line 20: syntax error near unexpected token(' /usr/bin/sh: -c: line 20: (CDPATH="${ZSH_VERSION+.}:" && cd $subdir && C:/Program Files (x86)/GnuWin32/bin/make $local_target) \' make: *** [all-recursive] Error 1

Can you help me out in this regard? Thanks a bunch

yoogx commented 4 years ago

Looks like a shell error. This is how I compile Ocarina using Appveyor: https://github.com/OpenAADL/ocarina/blob/master/.appveyor.yml

nathanw86 commented 3 years ago

Hello, I am just facing the similar building problem on macOS like above, the following information is displayed on the terminal.

who@lanch-180-225 ocarina-build % ./build_ocarina.sh --reset --update --configure --build --prefix=$PWD/ocarina_install Guessing OS osx [2021-01-15-01:44] Checkout the Ocarina sources [PASSED] [2021-01-15-01:44] Fetching runtimes 'polyorb-hi-ada polyorb-hi-c aadlib'[PASSED] [2021-01-15-01:44] Reconfiguring (Ocarina) [PASSED] [2021-01-15-01:44] First configure (Ocarina)[2021-01-15-01:44] First configure (Ocarina) [FAILED] checking build system type... x86_64-apple-darwin19.6.0 checking host system type... x86_64-apple-darwin19.6.0 checking target system type... x86_64-apple-darwin19.6.0 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... support/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking for mv... mv checking for rm... rm checking for cp... cp checking for grep... grep checking for chmod... chmod checking for strip... strip checking for ranlib... ranlib checking whether make supports the include directive... yes (GNU style) checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking for gnatmake... gnatmake checking for gnatmake... gnatmake checking for gnatchop... gnatchop checking if the Ada compiler works... no configure: error: Ada compiler is not working

I have already installed the GNAT, and it is installed in the following directory "/Users/who/opt/GNAT/2019/bin" , and this is added to the PATH, which is shown as below "PATH=/opt/local/bin:/opt/local/sbin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Users/who/opt/GNAT/2019/bin" But still Ada compiler is not working

Could you please help me out about this issue? Thank you very much!

yoogx commented 3 years ago

GNAT is installed but not working. Go back to libre.adacore.com, and read README.txt, you will see there is a couple of extra actions on macOS hosts after you have installed gnat.

nathanw86 commented 3 years ago

Thank you for your reply, but it is still not working. What I have installed is GNAT 2019, and in the README.txt from the Ada core, after PATH environment variable setting, README file says as following

"Platform-specific notes

== Mac OS: Xcode is now needed ==

On Mac OS, GNAT Community 2019 requires Xcode version 10 or above to be installed. Once you do have Xcode installed, if you still observe an error of the form:

ld: library not found for -lSystem

then you might have to execute the following:

xcode-select -s /Applications/Xcode.app/Contents/Developer "

I have installed Xcode, version 11.3.1. And I checked Privacy Setting in macOS for compiler can be ran from the Terminal I typed the command "xcode-select -s /Applications/Xcode.app/Contents/Developer " from the notes I can launch GPS in the terminal (zshell), to my understanding, there is an Ada compiler integrated within GPS. I tried to compile a file named main.adb in the terminal, and no errors appeared. It is displayed as below " who@lanch-180-225 ~ % gnatmake main gcc -c main.adb gnatbind -x main.ali gnatlink main.ali who@lanch-180-225 ~ % " I have no clue why the compiler is still not working. Do you have any other suggestions? Thank you very much!

yoogx commented 3 years ago

Go in ocarina source directory, and type "./configure" when the script fails, you find config.log the error message. Perhaps this will provide more insights.

I use macOS as my main dev platform, so I can guarantee you it works. I tested both GNAT CE 2019 on 10.15 an CE 2020 on 11.1

nathanw86 commented 3 years ago

Thank you very much for your patience and the hint about config.log. Based on that, I have fixed the configure issue by adding the gnat compiler at the front of the original PATH. I am facing the other error displayed as ld: symbol(s) not found for architecture x86_64 collect2: error: ld returned 1 exit status gprbuild: link of ocarina_cmd.adb failed I have googled it, it seemed like a linker problem, but I did not find clear solution about this issue, could you please give me some clue? Thank you very much.

The compile process displayed in the terminal is shown as below.

nathanwho@lanch-180-225 ocarina-build % ./build_ocarina.sh --scenario=fresh-install --prefix=$PWDclear Guessing OS osx OS: Darwin 19.6.0 x86_64 Compiler: GNATMAKE Community 2019 (20190517-83) autoconf: autoconf (GNU Autoconf) 2.69 automake: automake (GNU automake) 1.16.3 [2021-01-16-19:17] Checkout the Ocarina sources [PASSED] [2021-01-16-19:17] Fetching runtimes 'polyorb-hi-ada polyorb-hi-c aadlib'[PASSED] [2021-01-16-19:17] Reconfiguring (Ocarina) [PASSED] [2021-01-16-19:17] First configure (Ocarina) [PASSED] [2021-01-16-19:17] Doing 'make' (Ocarina)[2021-01-16-19:18] Doing 'make' (Ocarina) [FAILED] _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadlparsercomponentsmodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadlparsercomponentsprototypes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__fe_aadlparsercomponentssubcomponents_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadlparsercomponentssubprogram_calls_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadlparseridentifiers_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadlparsernamespaces_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadlparserprocess_predefined_property_sets", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinafe_aadlparserproperties_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadlparserpropertiesvalues_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__fe_aadlparser_errors_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_ba_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_balexer_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_balexer_elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_balexer_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_baparser_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_baparseractions_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_baparserexpressions_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_baparseridentifiers_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_baparserspecifications_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_baparserthread_dispatch_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_baparser_errors_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_ema_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_emalexer_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_emalexer_elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_emaparser_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_emaparser_elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_aadl_emaparser_errors_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_ao4aadl_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_ao4aadllexer_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_ao4aadl_lexerelabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_ao4aadlparser_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_ao4aadl_parserelabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_ao4aadlparser_errors_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_real_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_reallexer_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__fe_reallexer_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_realparser_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__fe_realparser_elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_real_parserelabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafe_realparserload_real_library", referenced from: _ocarinautilsadd_real_library in ocarina-utils.o "_ocarinafe_realparserreal_libstabgrow", referenced from: _ocarina__cmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinafe_realparserreal_libsthe_instance", referenced from: _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinafe_realparser_errors_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafiles_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafiles_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinafilesadd_file_to_parse_list", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinacmd_lineparse_source_filename in ocarina-cmd_line.o "_ocarinafilesload_file", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautils__load_aadl_file in ocarina-utils.o "_ocarinafilessearch_file", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautils__load_aadl_file in ocarina-utils.o "_ocarinafilessourcestabgrow", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinafilessourcestabinit", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinafilessourcesthe_instance", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainitialize", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsreset in ocarina-utils.o "_ocarinainstances_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesannexes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancescomponents_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancescomponentsconnections_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancescomponentsfeatures_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancescomponentsmodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancescomponentssubcomponents_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancescomponents__subprogram_calls_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesfinder_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesinstantiate_model", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautils__instantiate in ocarina-utils.o _ocarinascriptsocarina_shell in ocarina-scripts.o "_ocarinainstancesmessages_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesnamespaces_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesprocessorproperties_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesproperties_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesqueries_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesqueriesget_enumeration_property2", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesget_integer_property", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesget_list_property", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesget_string_property3", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesis_defined_boolean_property", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesis_defined_enumeration_property", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesis_defined_integer_property", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesis_defined_list_property", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesqueriesis_defined_string_property", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinainstancesreal_checkerqueries_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueries_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriesaccess_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriesbound_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriescall_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriesconnected_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriespassing_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriespredecessor_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriesprovided_class_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriesrelational_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_checkerqueriessubcomponent_predicates_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinainstancesreal_finder_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadlaadl_instancesdebug_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl__aadl_instancesentities_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadlaadl_instancesentitiesproperties_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadlaadl_instancesnodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl__aadl_instancesnodes_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl__aadl_instancesnodesroot_system", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocariname_aadlaadl_instancesnutils_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl__aadl_treedebug_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadlaadl_treeentities_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__me_aadlaadl_treeentitiesproperties_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadlaadl_treenodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__me_aadlaadl_treenodes___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl__aadl_treenodesfirst_node", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocariname_aadlaadl_treenodesidentifier", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocariname_aadlaadl_treenodesname", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocariname_aadlaadl_treenodesnext_node", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocariname_aadlaadl_treenodesvalue", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocariname_aadlaadl_treenutils_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadlprinters_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__me_aadltokens_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadltokens___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_baba_treedebug_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_baba_treenodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_baba_treenodes___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_baba_treenutils_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_batokens_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_batokens___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_emaema_tokens_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_emaematokenselabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_emaema_treedebug_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_emaema_treenodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_emaema_tree_nodeselabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_emaema_treenutils_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_aadl_emaema_treenutils_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_ao4aadl__ao4aadl_treedebug_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_ao4aadlao4aadl_treenodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__me_ao4aadlao4aadl_treenodes___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_ao4aadl__ao4aadl_treenutils_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_ao4aadlao4aadl_tree_nutilselabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_ao4aadltokens_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_ao4aadl_tokenselabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_realreal_treedebug_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__me_realreal_treenodes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_real__real_treenodes_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_real__real_treenutils_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_realreal_tree_nutilselabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_realreal_tree_nutilselabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_realreal_treeutils_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina__me_realtokens_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocariname_realtokens___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinanamet_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinanamet___elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinanamet___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinanametadd_str_to_name_buffer", referenced from: ada_ocarina_cmd in ocarina_cmd.o ada_ocarina_cmd.cold.7 in ocarina_cmd.o _ocarinautils__load_aadl_file in ocarina-utils.o _ocarinascriptsrun_command in ocarina-scripts.o _ocarinacmd_lineparse_source_filename in ocarina-cmd_line.o "_ocarinanametget_name_string", referenced from: ada_ocarina_cmd in ocarina_cmd.o ada_ocarina_cmd.cold.7 in ocarina_cmd.o _ocarinascriptsrun_command in ocarina-scripts.o "_ocarinanametget_name_string2", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsprint_status in ocarina-utils.o "_ocarinanametget_name_string_and_append", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinanametget_string_name", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsload_aadl_file in ocarina-utils.o _ocarinautilsset_real_theorem in ocarina-utils.o _ocarinautilsadd_real_library in ocarina-utils.o _ocarinautilsinstantiate in ocarina-utils.o _ocarinascriptsocarina_shell in ocarina-scripts.o _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o ... "_ocarinanametname_buffer", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinascriptsrun_command in ocarina-scripts.o "_ocarinanamet__name_find", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsload_aadl_file in ocarina-utils.o _ocarinacmd_lineparse_source_filename in ocarina-cmd_line.o "_ocarinanamet__name_len", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsload_aadl_file in ocarina-utils.o _ocarinascriptsrun_command in ocarina-scripts.o _ocarinacmd_lineparse_source_filename in ocarina-cmd_line.o "_ocarinaoptions_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinaoptions_elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinaoptionsadd_library_path", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsafter_scenario_action", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarina__cmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsauto_load_aadl_files", referenced from: _ocarinacmd_lineprocess in ocarina-cmd_line.o "_ocarinaoptionsboundt_process", referenced from: _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsdebug_mode", referenced from: _ocarinacmd_lineprocess in ocarina-cmd_line.o "_ocarinaoptionsdefault_library_path", referenced from: ada_ocarina_cmd in ocarina_cmd.o ada_ocarina_cmd.cold.7 in ocarina_cmd.o _ocarinautilsprint_status in ocarina-utils.o "_ocarinaoptionsdisplay_version", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinacmd_lineprocess in ocarina-cmd_line.o "_ocarinaoptionsget_current_action", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinaoptionsinstallation_directory", referenced from: _ocarinascriptsrun_command in ocarina-scripts.o "_ocarinaoptionsoutput_filename", referenced from: _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptions__process_annex_action", referenced from: _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsquiet", referenced from: _ocarina__cmd_lineprocess in ocarina-cmd_line.o "_ocarinaoptionsreset_annex_action", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsreset_current_action", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinaoptionsroot_system_name", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsinstantiate in ocarina-utils.o _ocarina__cmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsset_current_action", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsshow_search_directory", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinacmd_lineprocess in ocarina-cmd_line.o "_ocarinaoptionsunset_annex_action", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinaoptionsuse_scenario_file", referenced from: _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o "_ocarinaoptionsverbose", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinacmd_lineprocess in ocarina-cmd_line.o "_ocarinaoutput_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinaoutput_elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinaoutputset_standard_error", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinaoutputset_standard_output", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinaoutputwrite_eol", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinascriptsrun_command in ocarina-scripts.o _ocarinacmd_lineparse_command_line.cold.4 in ocarina-cmd_line.o "_ocarinaoutputwrite_line", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsprint_status in ocarina-utils.o _ocarinautilsload_aadl_file in ocarina-utils.o _ocarinautilsanalyze in ocarina-utils.o _ocarinautilsadd_real_library in ocarina-utils.o _ocarinautilsinstantiate in ocarina-utils.o _ocarinautilsgenerate in ocarina-utils.o ... "_ocarinaoutputwrite_str", referenced from: _ocarinascriptsrun_command in ocarina-scripts.o "_ocarinaparser_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarina_parserelabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinaparserparse", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsload_aadl_file in ocarina-utils.o "_ocarinaprocessorproperties_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinaproperty_sets_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinaproperty_setsimage2", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinaproperty_setsocarina_property_set_typeN", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinaproperty_setsocarina_property_set_typeS", referenced from: ada_ocarina_cmd in ocarina_cmd.o "_ocarinareal_expander_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinareal_expanderflow_analysis_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinareal_expanderflow_analysis_elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinareal_values_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinareal_values___elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinarealvalueselabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinareset", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsreset in ocarina-utils.o "_ocarinatransfo_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfofusions_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfo_fusionselabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfofusionsfusion_threads", referenced from: _ocarinascriptsocarina_shell in ocarina-scripts.o "_ocarinatransfofusionsscheduler_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfofusionsscheduler___elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfofusionsscheduler___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfomove_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfomove___elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfomovemove_thread", referenced from: _ocarinascriptsocarina_shell in ocarina-scripts.o "_ocarinatransfooptim_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfooptim_elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfooptimeval_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfooptimeval___elabb", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfooptimeval___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatransfooptimexhaustive_space_exploration", referenced from: _ocarinascriptsocarina_shell in ocarina-scripts.o "_ocarinatransfooptimgreedy_heuristic", referenced from: _ocarinascriptsocarina_shell in ocarina-scripts.o "_ocarinatransfooptiminit", referenced from: _ocarinascriptsocarina_shell in ocarina-scripts.o "_ocarinatypes_E", referenced from: _adainit.part.2 in bocarina_cmd.o "_ocarinatypesno", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsload_aadl_file in ocarina-utils.o _ocarinascriptsocarina_shell in ocarina-scripts.o "_ocarinatypespresent", referenced from: ada_ocarina_cmd in ocarina_cmd.o _ocarinautilsinstantiate in ocarina-utils.o "_outfiles_E", referenced from: _adainit.part.2 in b__ocarina_cmd.o "_utils_E", referenced from: _ada_mainfinalize_library in bocarina_cmd.o _adainit.part.2 in bocarina_cmd.o (maybe you meant: _ocarinautils_E) "_utils___elabs", referenced from: _adainit.part.2 in bocarina_cmd.o "_utilsfinalize_spec", referenced from: _ada_main__finalize_library in bocarina_cmd.o "_utilsto_lower", referenced from: _ocarinautilsset_real_theorem in ocarina-utils.o _ocarinautilsinstantiate in ocarina-utils.o _ocarinacmd_lineparse_command_line in ocarina-cmd_line.o ld: symbol(s) not found for architecture x86_64 collect2: error: ld returned 1 exit status gprbuild: link of ocarina_cmd.adb failed gprbuild: failed command was: /users/nathanwho/opt/gnat/2019/bin/gcc ocarina_cmd.o bocarina_cmd.o /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/main/objects/ocarina-utils.o /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/main/objects/ocarina-scripts.o /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/main/objects/ocarina-cmd_line.o /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/config/libs/libocarina-config.a /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/transfo/libs/libocarina-transfo.a /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/backends/libs/libocarina-backends.a /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/frontends/libs/libocarina-frontends.a /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/core/libs/libocarina.a -L/Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/main/objects/ -L/Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/main/objects/ -L/Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/core/libs/ -L/Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/config/libs/ -L/Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/frontends/libs/ -L/Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/backends/libs/ -L/Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/transfo/libs/ -L/users/nathanwho/opt/gnat/2019/lib/gcc/x86_64-apple-darwin17.7.0/8.3.1/adalib/ /users/nathanwho/opt/gnat/2019/lib/gcc/x86_64-apple-darwin17.7.0/8.3.1/adalib/libgnarl.a /users/nathanwho/opt/gnat/2019/lib/gcc/x86_64-apple-darwin17.7.0/8.3.1/adalib/libgnat.a -Wl,-rpath,@executable_path//objects -Wl,-rpath,@executable_path/..//core/libs -Wl,-rpath,@executable_path/..//config/libs -Wl,-rpath,@executable_path/..//frontends/libs -Wl,-rpath,@executable_path/..//backends/libs -Wl,-rpath,@executable_path/..//transfo/libs -Wl,-rpath,@executable_path/../../../../..//opt/gnat/2019/lib/gcc/x86_64-apple-darwin17.7.0/8.3.1/adalib -o /Users/nathanwho/ocarina4gdp/ocarina-build/ocarina/src/main//ocarina make[1]: [ocarina-main.gpr-build] Error 4 make: [all-recursive] Error 1 nathanwho@lanch-180-225 ocarina-build %

yoogx commented 3 years ago

That's an original error I have never seen. Is there any reason for not testing with GNAT CE 2020?

nathanw86 commented 3 years ago

I have tried with GNAT 2020, but I still got the same error.

yoogx commented 3 years ago

I gave terminal access to the whole disk. I cannot confirm this would solve this issue. But AFAICT, it could be an issue with access to read those files not being granted, i.e. file found but not cannot be read because of that

nathanw86 commented 3 years ago

Thank you for your patient feedback, I think I need to do more research on this issue.