Test ran at 2025-09-14 01:05:28.820610+00:00 SOLUTION: rewriters=23.0.0: Easy, yet advanced manipulation of Ada code Origin: commit 736dbf041188f3ed22423f91467df0d6358b5197 from https://github.com/TNO/Rewriters-Ada.git Properties: Author: Pierre van de Laar Description: Easy, yet advanced manipulation of Ada code License: BSD-3-Clause Maintainer: Pierre van de Laar Maintainers_Logins: pjljvandelaar Name: rewriters Tag: manipulation Tag: transformation Version: 23.0.0 Website: https://github.com/TNO/Rewriters-Ada Dependencies (direct): libadalang^23.0.0 rejuvenation^23.0.0 Dependencies (solution): gnat=14.2.1 (gnat_native) gnatcoll=23.0.0 gnatcoll_gmp=23.0.0 gnatcoll_iconv=23.0.0 langkit_support=23.0.0 libadalang=23.0.0 libgmp=6.3.0 libgpr=23.0.0 rejuvenation=23.0.0 xmlada=23.0.0 Dependencies (graph): gnatcoll=23.0.0 --> libgpr=23.0.0 (~23.0.0) gnatcoll_gmp=23.0.0 --> gnatcoll=23.0.0 (~23.0.0) gnatcoll_gmp=23.0.0 --> libgmp=6.3.0 (*) gnatcoll_iconv=23.0.0 --> gnatcoll=23.0.0 (~23.0.0) langkit_support=23.0.0 --> gnatcoll=23.0.0 (^23) langkit_support=23.0.0 --> gnatcoll_gmp=23.0.0 (^23) langkit_support=23.0.0 --> gnatcoll_iconv=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll_gmp=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll_iconv=23.0.0 (^23) libadalang=23.0.0 --> langkit_support=23.0.0 (^23) libgpr=23.0.0 --> gnat=14.2.1 (gnat_native) (/=2020) libgpr=23.0.0 --> xmlada=23.0.0 (~23.0.0) rejuvenation=23.0.0 --> libadalang=23.0.0 (^23.0.0) rewriters=23.0.0 --> libadalang=23.0.0 (^23.0.0) rewriters=23.0.0 --> rejuvenation=23.0.0 (^23.0.0) xmlada=23.0.0 --> gnat=14.2.1 (gnat_native) (>=11) LOG: [alr test] Testing rewriters=23.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get rewriters=23.0.0 Note: Deploying rewriters=23.0.0... Note: Deploying xmlada=23.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying libgpr=23.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll=23.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll_gmp=23.0.0... #=#=# ##O#-# Note: Deploying gnatcoll_iconv=23.0.0... #=#=# ##O#-# Note: Deploying langkit_support=23.0.0... #=#=# ######################################################################## 100.0% Note: Deploying libadalang=23.0.0... #=#=# ######################################################################## 100.0% Note: Deploying rejuvenation=23.0.0... rewriters=23.0.0 successfully retrieved. Dependencies were solved as follows: +b gnat 14.2.1 (new,gnat_native,indirect,binary) + gnatcoll 23.0.0 (new,indirect) + gnatcoll_gmp 23.0.0 (new,indirect) + gnatcoll_iconv 23.0.0 (new,indirect) + langkit_support 23.0.0 (new,indirect) + libadalang 23.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 23.0.0 (new,indirect) + rejuvenation 23.0.0 (new) + xmlada 23.0.0 (new,indirect) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Running post-fetch actions for xmlada=23.0.0... checking build system type... aarch64-apple-darwin24.6.0 checking host system type... aarch64-apple-darwin24.6.0 checking target system type... aarch64-apple-darwin24.6.0 checking whether gnat can build shared libs... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes configure: creating ./config.status config.status: creating xmlada_shared.gpr config.status: creating Makefile config.status: creating tests/dom/default.gpr Note: Building rewriters=23.0.0/rewriters.gpr... Setup [mkdir] object directory for project XmlAda_Sax [mkdir] library directory for project XmlAda_Sax [mkdir] object directory for project XmlAda_Schema [mkdir] object directory for project GPR [mkdir] library directory for project GPR [mkdir] object directory for project GnatColl [mkdir] library directory for project GnatColl [mkdir] object directory for project GnatColl_GMP [mkdir] library directory for project GnatColl_GMP [mkdir] object directory for project GnatColl_Iconv [mkdir] library directory for project GnatColl_Iconv [mkdir] object directory for project Langkit_Support [mkdir] library directory for project Langkit_Support [mkdir] object directory for project Libadalang [mkdir] library directory for project Libadalang [mkdir] object directory for project Rejuvenation [mkdir] library directory for project Rejuvenation [mkdir] object directory for project Rewriters [mkdir] library directory for project Rewriters Compile [Ada] rejuvenation-match_patterns.adb [Ada] rejuvenation-pretty_print.adb [Ada] string_sets_utils.adb [Ada] rejuvenation-indentation.adb [Ada] string_vectors_utils.adb [Ada] rejuvenation-finder.adb [Ada] rejuvenation-nested.adb [Ada] rejuvenation-string_utils.adb [Ada] rejuvenation-file_utils.adb [Ada] rejuvenation-printer.adb [Ada] rejuvenation-node_locations.adb [Ada] string_maps.ads [Ada] rejuvenation-utils.adb [Ada] rejuvenation.ads [Ada] string_vectors.ads [Ada] string_sets.ads [Ada] rejuvenation-factory.adb [Ada] rejuvenation-replacer.adb [Ada] rejuvenation-navigation.adb [Ada] rejuvenation-text_rewrites.adb [Ada] rejuvenation-patterns.adb [Ada] rejuvenation-simple_factory.adb [Ada] rejuvenation-parameters.adb [Ada] rejuvenation-placeholders.adb [Ada] rejuvenation-find_and_replacer.adb [Ada] rejuvenation-environment_variables.adb [Ada] langkit_support-generic_api-introspection.adb [Ada] langkit_support-symbols.adb [Ada] langkit_support-text.adb [Ada] langkit_support-lexical_envs.ads [Ada] langkit_support.ads [Ada] langkit_support-adalog-solver.adb [Ada] langkit_support-internal.ads [Ada] langkit_support-bump_ptr.ads [Ada] langkit_support-images.adb [Ada] langkit_support-bump_ptr_vectors.adb [Ada] langkit_support-internal-descriptor.ads [Ada] langkit_support-hashes.adb [Ada] langkit_support-iterators.adb [Ada] langkit_support-tree_traversal_iterator.adb [Ada] langkit_support-diagnostics.adb [Ada] langkit_support-errors.ads [Ada] langkit_support-boxes.adb [Ada] langkit_support-symbols-precomputed.adb [Ada] langkit_support-lexical_envs_impl.adb [Ada] langkit_support-names.adb [Ada] langkit_support-types.ads [Ada] langkit_support-adalog-main_support.ads [Ada] langkit_support-diagnostics-output.adb [Ada] langkit_support-internal-conversions.ads [Ada] langkit_support-relative_get.adb [Ada] langkit_support-adalog-generic_main_support.adb [Ada] langkit_support-generic_bump_ptr.adb [Ada] langkit_support-slocs.adb [Ada] langkit_support-vectors.adb [Ada] langkit_support-adalog-solver_interface.adb [Ada] langkit_support-file_readers.adb [Ada] langkit_support-adalog-debug.adb [Ada] langkit_support-packrat.adb [Ada] langkit_support-generic_api-analysis.adb [Ada] langkit_support-internal-introspection.adb [Ada] langkit_support-cheap_sets.adb [Ada] langkit_support-generic_api.adb [Ada] langkit_support-internal-analysis.adb [Ada] langkit_support-adalog.ads [Ada] langkit_support-names-maps.adb [Ada] langkit_support-array_utils.adb [Ada] langkit_support-token_data_handlers.adb [Ada] langkit_support-adalog-logic_var.adb [C] iconv_support.c [Ada] gnatcoll-iconv.adb In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:91, from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/wchar.h:67, from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/iconv.h:42, from /Users/runner/.local/share/alire/builds/gnatcoll_iconv_23.0.0_57de4a1a/a095690467289e05e8c24a4e008925cd95dd29f423531a1cc55a55629d661cd8/iconv/iconv_support.c:6: /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:83:8: error: unknown type name 'FILE' 83 | extern FILE *__stdinp; | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:81:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' 80 | #include +++ |+#include 81 | /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:84:8: error: unknown type name 'FILE' 84 | extern FILE *__stdoutp; | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:84:8: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:85:8: error: unknown type name 'FILE' 85 | extern FILE *__stderrp; | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:85:8: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:148:19: error: unknown type name 'FILE' 148 | void clearerr(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:148:19: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:149:17: error: unknown type name 'FILE' 149 | int fclose(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:149:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:150:15: error: unknown type name 'FILE' 150 | int feof(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:150:15: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:151:17: error: unknown type name 'FILE' 151 | int ferror(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:151:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:152:17: error: unknown type name 'FILE' 152 | int fflush(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:152:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:153:16: error: unknown type name 'FILE' 153 | int fgetc(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:153:16: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:154:18: error: unknown type name 'FILE' 154 | int fgetpos(FILE * __restrict, fpos_t *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:154:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:154:37: error: unknown type name 'fpos_t' 154 | int fgetpos(FILE * __restrict, fpos_t *); | ^~~~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:154:37: note: 'fpos_t' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:155:40: error: unknown type name 'FILE' 155 | char *fgets(char * __restrict, int, FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:155:40: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:159:1: error: unknown type name 'FILE' 159 | FILE *fopen(const char * __restrict __filename, const char * __restrict __mode) __DARWIN_ALIAS_STARTING(__MAC_10_6, __IPHONE_2_0, __DARWIN_ALIAS(fopen)); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:159:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:161:18: error: unknown type name 'FILE' 161 | int fprintf(FILE * __restrict, const char * __restrict, ...) __printflike(2, 3); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:161:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:162:21: error: unknown type name 'FILE' 162 | int fputc(int, FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:162:21: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:163:41: error: unknown type name 'FILE' 163 | int fputs(const char * __restrict, FILE * __restrict) __DARWIN_ALIAS(fputs); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:163:41: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:164:73: error: unknown type name 'FILE' 164 | size_t fread(void * __restrict __ptr, size_t __size, size_t __nitems, FILE * __restrict __stream); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:164:73: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:165:1: error: unknown type name 'FILE' 165 | FILE *freopen(const char * __restrict, const char * __restrict, | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:165:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:166:18: error: unknown type name 'FILE' 166 | FILE * __restrict) __DARWIN_ALIAS(freopen); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:166:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:167:17: error: unknown type name 'FILE' 167 | int fscanf(FILE * __restrict, const char * __restrict, ...) __scanflike(2, 3); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:167:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:168:16: error: unknown type name 'FILE' 168 | int fseek(FILE *, long, int); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:168:16: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:169:18: error: unknown type name 'FILE' 169 | int fsetpos(FILE *, const fpos_t *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:169:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:169:32: error: unknown type name 'fpos_t' 169 | int fsetpos(FILE *, const fpos_t *); | ^~~~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:169:32: note: 'fpos_t' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:170:16: error: unknown type name 'FILE' 170 | long ftell(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:170:16: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:171:80: error: unknown type name 'FILE' 171 | size_t fwrite(const void * __restrict __ptr, size_t __size, size_t __nitems, FILE * __restrict __stream) __DARWIN_ALIAS(fwrite); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:171:80: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:172:15: error: unknown type name 'FILE' 172 | int getc(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:172:15: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:184:20: error: unknown type name 'FILE' 184 | int putc(int, FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:184:20: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:189:17: error: unknown type name 'FILE' 189 | void rewind(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:189:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:191:17: error: unknown type name 'FILE' 191 | void setbuf(FILE * __restrict, char * __restrict); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:191:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:192:18: error: unknown type name 'FILE' 192 | int setvbuf(FILE * __restrict, char * __restrict, int, size_t); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:192:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:203:1: error: unknown type name 'FILE' 203 | FILE *tmpfile(void); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:203:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:213:22: error: unknown type name 'FILE' 213 | int ungetc(int, FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:213:22: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:214:19: error: unknown type name 'FILE' 214 | int vfprintf(FILE * __restrict, const char * __restrict, __gnuc_va_list) __printflike(2, 0); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:214:19: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:242:1: error: unknown type name 'FILE' 242 | FILE *fdopen(int, const char *) __DARWIN_ALIAS_STARTING(__MAC_10_6, __IPHONE_2_0, __DARWIN_ALIAS(fdopen)); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:242:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:244:17: error: unknown type name 'FILE' 244 | int fileno(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:244:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:255:17: error: unknown type name 'FILE' 255 | int pclose(FILE *) __swift_unavailable("Use posix_spawn APIs or NSTask instead. (On iOS, process spawning is unavailable.)"); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:255:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:259:1: error: unknown type name 'FILE' 259 | FILE *popen(const char *, const char *) __DARWIN_ALIAS_STARTING(__MAC_10_6, __IPHONE_2_0, __DARWIN_ALIAS(popen)) __swift_unavailable("Use posix_spawn APIs or NSTask instead. (On iOS, process spawning is unavailable.)"); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:259:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:274:17: error: unknown type name 'FILE' 274 | int __srget(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:274:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:275:20: error: unknown type name 'FILE' 275 | int __svfscanf(FILE *, const char *, __gnuc_va_list) __scanflike(2, 0); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:275:20: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:276:22: error: unknown type name 'FILE' 276 | int __swbuf(int, FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:276:22: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:285:44: error: unknown type name 'FILE' 285 | __header_always_inline int __sputc(int _c, FILE *_p) { | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:285:44: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:311:20: error: unknown type name 'FILE' 311 | void flockfile(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:311:20: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:312:23: error: unknown type name 'FILE' 312 | int ftrylockfile(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:312:23: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:313:22: error: unknown type name 'FILE' 313 | void funlockfile(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:313:22: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:314:24: error: unknown type name 'FILE' 314 | int getc_unlocked(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:314:24: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:316:29: error: unknown type name 'FILE' 316 | int putc_unlocked(int, FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:316:29: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:321:15: error: unknown type name 'FILE' 321 | int getw(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:321:15: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:322:20: error: unknown type name 'FILE' 322 | int putw(int, FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:322:20: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:354:17: error: unknown type name 'FILE' 354 | int fseeko(FILE * __stream, off_t __offset, int __whence); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:354:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:355:17: error: unknown type name 'FILE' 355 | off_t ftello(FILE * __stream); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:355:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:362:18: error: unknown type name 'FILE' 362 | int vfscanf(FILE * __restrict __stream, const char * __restrict __format, __gnuc_va_list) __scanflike(2, 0); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:362:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:381:95: error: unknown type name 'FILE' 381 | ssize_t getdelim(char ** __restrict __linep, size_t * __restrict __linecapp, int __delimiter, FILE * __restrict __stream) __OSX_AVAILABLE_STARTING(__MAC_10_7, __IPHONE_4_3); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:381:95: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:382:77: error: unknown type name 'FILE' 382 | ssize_t getline(char ** __restrict __linep, size_t * __restrict __linecapp, FILE * __restrict __stream) __OSX_AVAILABLE_STARTING(__MAC_10_7, __IPHONE_4_3); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:382:77: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:383:1: error: unknown type name 'FILE' 383 | FILE *fmemopen(void * __restrict __buf, size_t __size, const char * __restrict __mode) __API_AVAILABLE(macos(10.13), ios(11.0), tvos(11.0), watchos(4.0)); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:383:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:384:1: error: unknown type name 'FILE' 384 | FILE *open_memstream(char **__bufp, size_t *__sizep) __API_AVAILABLE(macos(10.13), ios(11.0), tvos(11.0), watchos(4.0)); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:384:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:399:17: error: unknown type name 'FILE' 399 | char *fgetln(FILE *, size_t *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:399:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:401:17: error: unknown type name 'FILE' 401 | int fpurge(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:401:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:402:20: error: unknown type name 'FILE' 402 | void setbuffer(FILE *, char *, int); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:402:20: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:403:21: error: unknown type name 'FILE' 403 | int setlinebuf(FILE *); | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:403:21: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:410:1: error: unknown type name 'FILE' 410 | FILE *funopen(const void *, | ^~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:410:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:413:18: error: unknown type name 'fpos_t' 413 | fpos_t (* _Nullable)(void *, fpos_t, int), | ^~~~~~ /Users/runner/.local/share/alire/toolchains/gnat_native_14.2.1_cc5517d6/lib/gcc/aarch64-apple-darwin23.6.0/14.2.0/include-fixed/stdio.h:413:18: note: 'fpos_t' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:100:16: error: unknown type name 'FILE' 100 | wint_t fgetwc(FILE *); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:94:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' 93 | #include <__wctype.h> +++ |+#include 94 | /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:103:17: error: unknown type name 'FILE' 103 | FILE * __restrict); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:103:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:104:25: error: unknown type name 'FILE' 104 | wint_t fputwc(wchar_t, FILE *); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:104:25: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:105:44: error: unknown type name 'FILE' 105 | int fputws(const wchar_t * __restrict, FILE * __restrict); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:105:44: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:106:15: error: unknown type name 'FILE' 106 | int fwide(FILE *, int); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:106:15: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:107:18: error: unknown type name 'FILE' 107 | int fwprintf(FILE * __restrict, const wchar_t * __restrict, ...); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:107:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:108:17: error: unknown type name 'FILE' 108 | int fwscanf(FILE * __restrict, const wchar_t * __restrict, ...); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:108:17: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:109:15: error: unknown type name 'FILE' 109 | wint_t getwc(FILE *); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:109:15: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:118:24: error: unknown type name 'FILE' 118 | wint_t putwc(wchar_t, FILE *); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:118:24: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:123:25: error: unknown type name 'FILE' 123 | wint_t ungetwc(wint_t, FILE *); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:123:25: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:124:19: error: unknown type name 'FILE' 124 | int vfwprintf(FILE * __restrict, const wchar_t * __restrict, | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:124:19: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:195:18: error: unknown type name 'FILE' 195 | int vfwscanf(FILE * __restrict, const wchar_t * __restrict, | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:195:18: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:240:1: error: unknown type name 'FILE' 240 | FILE *open_wmemstream(wchar_t *_LIBC_COUNT(*__sizep) * __bufp, size_t * __sizep) __API_AVAILABLE(macos(10.13), ios(11.0), tvos(11.0), watchos(4.0)); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:240:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:251:25: error: unknown type name 'FILE' 251 | fgetwln(FILE * __restrict, size_t *__len) __OSX_AVAILABLE_STARTING(__MAC_10_7, __IPHONE_4_3); | ^~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/_wchar.h:251:25: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' compilation of iconv_support.c failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/30edf627-2b63-4f1b-94e4-6868360a25b7/rewriters_23.0.0_736dbf04/rewriters.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/30edf627-2b63-4f1b-94e4-6868360a25b7/rewriters_23.0.0_736dbf04/rewriters.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/30edf627-2b63-4f1b-94e4-6868360a25b7/rewriters_23.0.0_736dbf04/rewriters.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 Load address: 0x104670000 Call stack traceback locations: 0x10537c0cc 0x10537c12c 0x1050d066c 0x104d15568 0x104f9a594 0x104f9b4f4 0x104ed933c 0x104ed7b08 0x104efb78c 0x104f5b56c 0x104f5a99c 0x104efb868 0x104efb950 0x104ed800c 0x104ed8174 0x1046e1730 0x1046e1070 0x1046e11e4 0x10477eb38 0x104789c78 0x1046729f8 0x104677a2c stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 Load address: 0x104670000 Call stack traceback locations: 0x10537c0cc 0x10537c12c 0x104ed9640 0x104ed7b08 0x104efb78c 0x104f5b56c 0x104f5a99c 0x104efb868 0x104efb950 0x104ed800c 0x104ed8174 0x1046e1730 0x1046e1070 0x1046e11e4 0x10477eb38 0x104789c78 0x1046729f8 0x104677a2c ERROR: Compilation failed.