AdaCore / libadalang

Ada semantic analysis library.
https://www.adacore.com
Other
146 stars 42 forks source link

Errors compiling - missing and un-declared variables #739

Closed srb623 closed 3 years ago

srb623 commented 3 years ago
  1. Built a new copy of the GNAT collections from git, as per the instructions - all successful.
  2. Built a new copy of the language kit from git, as per the instructions - all successful.
  3. Tried to build a new version of this software from git, as per the instructions, and the following errors are displayed:

Generating source for libadalang... Lkt processing... Compiling the lexer... Compiling the grammar... Compiling properties... Computing precise types... Prepare code emission... Generate library sources... Generation complete! Building the generated source code Setup [mkdir] object directory for project Libadalang [mkdir] library directory for project Libadalang Compile [C] libadalang-gdb.c [Ada] libadalang-helpers.adb [Ada] libadalang-implementation-c-extensions.adb [Ada] libadalang-gpr_lock.ads [Ada] libadalang-internal_default_provider.adb [Ada] libadalang-env_hooks.adb libadalang-implementation.ads:1890:04: missing actual "Get_Context_Version" libadalang-implementation.ads:1890:04: in instantiation of "Lexical_Envs_Impl" declared at langkit_support-lexical_envs_impl.ads:114 libadalang-implementation.ads:1890:04: instantiation abandoned libadalang-implementation.ads:1909:08: "AST_Envs" is undefined (more references follow) libadalang-implementation.ads:1928:27: "Inner_Env_Assocs_Resolver" is not visible libadalang-implementation.ads:1928:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:305 libadalang-implementation.ads:1929:27: "Entity_Resolver" is not visible (more references follow) libadalang-implementation.ads:1929:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:300 libadalang-implementation.ads:3823:16: "Hash" conflicts with declaration at line 3807 libadalang-implementation.ads:3826:16: "Trace_Image" conflicts with declaration at line 3810 libadalang-implementation.ads:17126:26: "Internal_Map_Node_Vectors" is not visible libadalang-implementation.ads:17126:26: non-visible declaration at langkit_support-lexical_envs_impl.ads:587 libadalang-implementation.ads:17126:51: instantiation abandoned libadalang-implementation.ads:17135:21: "NED_Assoc_Maps" is undefined (more references follow) libadalang-implementation.ads:19022:16: "Empty_Env" is not visible (more references follow) libadalang-implementation.ads:19022:16: non-visible declaration at langkit_support-lexical_envs_impl.ads:308 libadalang-implementation.ads:23026:18: "Lexical_Env_Resolver" is not visible (more references follow) libadalang-implementation.ads:23026:18: non-visible declaration at langkit_support-lexical_envs_impl.ads:169 libadalang-implementation.ads:23159:27: "Env_Getter" is not visible libadalang-implementation.ads:23159:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:177 libadalang-implementation.ads:23166:69: "Entity" is not visible libadalang-implementation.ads:23166:69: non-visible declaration at langkit_support-lexical_envs_impl.ads:143 libadalang-common.ads:1836:75: "Bad_Type_Error" not declared in "Introspection" libadalang-common.ads:1840:80: "Out_Of_Bounds_Error" not declared in "Introspection" libadalang-analysis.ads:2681:44: "Lookup_Cache_Kind" is undefined libadalang-analysis.ads:14204:40: "AST_Envs" not declared in "Implementation" libadalang-analysis.ads:2681:44: "Lookup_Cache_Kind" is undefined libadalang-analysis.ads:14204:40: "AST_Envs" not declared in "Implementation" libadalang-common.ads:1836:75: "Bad_Type_Error" not declared in "Introspection" libadalang-common.ads:1840:80: "Out_Of_Bounds_Error" not declared in "Introspection" libadalang-implementation.ads:1890:04: missing actual "Get_Context_Version" libadalang-implementation.ads:1890:04: in instantiation of "Lexical_Envs_Impl" declared at langkit_support-lexical_envs_impl.ads:114 libadalang-implementation.ads:1890:04: instantiation abandoned libadalang-implementation.ads:1909:08: "AST_Envs" is undefined (more references follow) libadalang-implementation.ads:1928:27: "Inner_Env_Assocs_Resolver" is not visible libadalang-implementation.ads:1928:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:305 libadalang-implementation.ads:1929:27: "Entity_Resolver" is not visible (more references follow) libadalang-implementation.ads:1929:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:300 libadalang-implementation.ads:3823:16: "Hash" conflicts with declaration at line 3807 libadalang-implementation.ads:3826:16: "Trace_Image" conflicts with declaration at line 3810 libadalang-implementation.ads:17126:26: "Internal_Map_Node_Vectors" is not visible libadalang-implementation.ads:17126:26: non-visible declaration at langkit_support-lexical_envs_impl.ads:587 libadalang-implementation.ads:17126:51: instantiation abandoned libadalang-implementation.ads:17135:21: "NED_Assoc_Maps" is undefined (more references follow) libadalang-implementation.ads:19022:16: "Empty_Env" is not visible (more references follow) libadalang-implementation.ads:19022:16: non-visible declaration at langkit_support-lexical_envs_impl.ads:308 libadalang-implementation.ads:23026:18: "Lexical_Env_Resolver" is not visible (more references follow) libadalang-implementation.ads:23026:18: non-visible declaration at langkit_support-lexical_envs_impl.ads:169 libadalang-implementation.ads:23159:27: "Env_Getter" is not visible libadalang-implementation.ads:23159:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:177 libadalang-implementation.ads:23166:69: "Entity" is not visible libadalang-implementation.ads:23166:69: non-visible declaration at langkit_support-lexical_envs_impl.ads:143 libadalang-common.ads:1836:75: "Bad_Type_Error" not declared in "Introspection" libadalang-common.ads:1840:80: "Out_Of_Bounds_Error" not declared in "Introspection" libadalang-implementation.ads:1890:04: missing actual "Get_Context_Version" libadalang-implementation.ads:1890:04: in instantiation of "Lexical_Envs_Impl" declared at langkit_support-lexical_envs_impl.ads:114 libadalang-implementation.ads:1890:04: instantiation abandoned libadalang-implementation.ads:1909:08: "AST_Envs" is undefined (more references follow) libadalang-implementation.ads:1928:27: "Inner_Env_Assocs_Resolver" is not visible libadalang-implementation.ads:1928:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:305 libadalang-implementation.ads:1929:27: "Entity_Resolver" is not visible (more references follow) libadalang-implementation.ads:1929:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:300 libadalang-implementation.ads:3823:16: "Hash" conflicts with declaration at line 3807 libadalang-implementation.ads:3826:16: "Trace_Image" conflicts with declaration at line 3810 libadalang-implementation.ads:17126:26: "Internal_Map_Node_Vectors" is not visible libadalang-implementation.ads:17126:26: non-visible declaration at langkit_support-lexical_envs_impl.ads:587 libadalang-implementation.ads:17126:51: instantiation abandoned libadalang-implementation.ads:17135:21: "NED_Assoc_Maps" is undefined (more references follow) libadalang-implementation.ads:19022:16: "Empty_Env" is not visible (more references follow) libadalang-implementation.ads:19022:16: non-visible declaration at langkit_support-lexical_envs_impl.ads:308 libadalang-implementation.ads:23026:18: "Lexical_Env_Resolver" is not visible (more references follow) libadalang-implementation.ads:23026:18: non-visible declaration at langkit_support-lexical_envs_impl.ads:169 libadalang-implementation.ads:23159:27: "Env_Getter" is not visible libadalang-implementation.ads:23159:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:177 libadalang-implementation.ads:23166:69: "Entity" is not visible libadalang-implementation.ads:23166:69: non-visible declaration at langkit_support-lexical_envs_impl.ads:143 libadalang-analysis.ads:2681:44: "Lookup_Cache_Kind" is undefined libadalang-analysis.ads:14204:40: "AST_Envs" not declared in "Implementation" libadalang-implementation.ads:1890:04: missing actual "Get_Context_Version" libadalang-implementation.ads:1890:04: in instantiation of "Lexical_Envs_Impl" declared at langkit_support-lexical_envs_impl.ads:114 libadalang-implementation.ads:1890:04: instantiation abandoned libadalang-implementation.ads:1909:08: "AST_Envs" is undefined (more references follow) libadalang-implementation.ads:1928:27: "Inner_Env_Assocs_Resolver" is not visible libadalang-implementation.ads:1928:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:305 libadalang-implementation.ads:1929:27: "Entity_Resolver" is not visible (more references follow) libadalang-implementation.ads:1929:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:300 libadalang-implementation.ads:3823:16: "Hash" conflicts with declaration at line 3807 libadalang-implementation.ads:3826:16: "Trace_Image" conflicts with declaration at line 3810 libadalang-implementation.ads:17126:26: "Internal_Map_Node_Vectors" is not visible libadalang-implementation.ads:17126:26: non-visible declaration at langkit_support-lexical_envs_impl.ads:587 libadalang-implementation.ads:17126:51: instantiation abandoned libadalang-implementation.ads:17135:21: "NED_Assoc_Maps" is undefined (more references follow) libadalang-implementation.ads:19022:16: "Empty_Env" is not visible (more references follow) libadalang-implementation.ads:19022:16: non-visible declaration at langkit_support-lexical_envs_impl.ads:308 libadalang-implementation.ads:23026:18: "Lexical_Env_Resolver" is not visible (more references follow) libadalang-implementation.ads:23026:18: non-visible declaration at langkit_support-lexical_envs_impl.ads:169 libadalang-implementation.ads:23159:27: "Env_Getter" is not visible libadalang-implementation.ads:23159:27: non-visible declaration at langkit_support-lexical_envs_impl.ads:177 libadalang-implementation.ads:23166:69: "Entity" is not visible libadalang-implementation.ads:23166:69: non-visible declaration at langkit_support-lexical_envs_impl.ads:143 libadalang-common.ads:1836:75: "Bad_Type_Error" not declared in "Introspection" libadalang-common.ads:1840:80: "Out_Of_Bounds_Error" not declared in "Introspection" libadalang-analysis.ads:2681:44: "Lookup_Cache_Kind" is undefined libadalang-analysis.ads:14204:40: "AST_Envs" not declared in "Implementation"

compilation of libadalang-env_hooks.adb failed compilation of libadalang-helpers.adb failed compilation of libadalang-implementation-c-extensions.adb failed compilation of libadalang-internal_default_provider.adb failed

gprbuild: *** compilation phase failed Build failed: error while running gprbuild -p -j4 -P/home/srb623/Programs/Development-Tools/GNAT/libadalang/build/libadalang.gpr -XBUILD_MODE=dev -XLIBRARY_TYPE=relocatable -XGPR_BUILD=relocatable -XXMLADA_BUILD=relocatable -XLIBADALANG_WARNINGS=true: Command '['gprbuild', '-p', '-j4', '-P/home/srb623/Programs/Development-Tools/GNAT/libadalang/build/libadalang.gpr', '-XBUILD_MODE=dev', '-XLIBRARY_TYPE=relocatable', '-XGPR_BUILD=relocatable', '-XXMLADA_BUILD=relocatable', '-XLIBADALANG_WARNINGS=true']' returned non-zero exit status 4.

  1. Am using the GNAT 2020 toolchain to compile software and as detailed above have successfully compiled other projects.
  2. Running Debian Linux bullseye/testing on a 64 bit machine.

Any help would be much appreciated.

srb623 commented 3 years ago

Deepest apologies for any time wasting. Investigated further and discovered an error in my ADA_INCLUDE_PATH variable and when set correctly it now compiles. Having trouble with the libadalang-tools part but given the above, I'm sure that's me. Again apologies for the time wasting.