Test ran at 2025-08-23 12:45:20.336489+00:00 SOLUTION: coap_spark=0.9.0: CoAP implementation formally verified with SPARK/Ada Origin: commit 81401167ac44c9178de4e130b1bd83228d62a3d2 from https://github.com/mgrojo/coap_spark.git Properties: Author: Manuel Gomez Build Switches: Config set: wolfssl {STATIC_PSK := true} Configuration: no modifiers Description: CoAP implementation formally verified with SPARK/Ada License: Apache-2.0 OR GPL-2.0-or-later Long_Description: CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) as defined in [RFC 7252](https://www.rfc-editor.org/rfc/rfc7252), developed in the SPARK language, the formally verified subset of the Ada programming language. This version implements the client side of the protocol with some limitations: - It does not support block-wise transfers. - It does not support retransmission of messages. - It only supports NoSec and PreSharedKey security modes. See LICENSING for licensing information. Maintainer: Manuel Gomez Maintainers_Logins: mgrojo Name: coap_spark Tag: spark Tag: coap Tag: iot Tag: protocol Version: 0.9.0 Website: https://github.com/mgrojo/coap_spark Dependencies (direct): gnatprove^14.1.1 wolfssl^5.8.0 Dependencies (solution): gnatprove=14.1.1 wolfssl=5.8.0 Dependencies (graph): coap_spark=0.9.0 --> gnatprove=14.1.1 (^14.1.1) coap_spark=0.9.0 --> wolfssl=5.8.0 (^5.8.0) LOG: [alr test] Testing coap_spark=0.9.0 [alr test] Spawning retrieval for remote crate: alr -d -n get coap_spark=0.9.0 Note: Deploying coap_spark=0.9.0... Note: Deploying gnatprove=14.1.1... #=#=# ##### 7.3% ########## 14.8% ################ 22.6% ##################### 30.3% ########################### 38.4% ################################ 45.8% ###################################### 52.9% ########################################### 60.2% ############################################### 66.0% #################################################### 72.3% ######################################################### 80.1% ############################################################### 88.0% ##################################################################### 96.0% ######################################################################## 100.0% Note: Deploying wolfssl=5.8.0... coap_spark=0.9.0 successfully retrieved. Dependencies were solved as follows: +b gnatprove 14.1.1 (new,binary) + wolfssl 5.8.0 (new) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building coap_spark=0.9.0/coap_spark.gpr... Setup [mkdir] object directory for project SPARKlib [mkdir] object directory for project WolfSSL [mkdir] library directory for project WolfSSL [mkdir] object directory for project Coap_Spark [mkdir] library directory for project Coap_Spark Compile [Ada] spark_sockets.adb [Ada] spark_terminal.adb [Ada] wolfssl.adb [C] coding.c [C] sm2.c [C] ge_448.c In file included from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/wc_port.h:931, from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/types.h:35, from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/libwolfssl_sources.h:46, from /Users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfcrypt/src/sm2.c:22: /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:79:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' 78 | #include <_stdio.h> +++ |+#include 79 | /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 ' In file included from /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:433: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:62:53: error: unknown type name 'va_list' 62 | const char * __restrict, va_list); | ^~~~~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:32:1: note: 'va_list' is defined in header ''; this is probably fixable by adding '#include ' 31 | #include +++ |+#include 32 | /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:71:54: error: unknown type name 'va_list' 71 | const char * __restrict, va_list); | ^~~~~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:71:54: note: 'va_list' is defined in header ''; this is probably fixable by adding '#include ' /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/wc_port.h:932:24: error: unknown type name 'FILE' 932 | #define XFILE FILE* | ^~~~ /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/logging.h:140:49: note: in expansion of macro 'XFILE' 140 | WOLFSSL_API void wc_ERR_print_errors_fp(XFILE fp); | ^~~~~ In file included from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/libwolfssl_sources.h:48: /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/logging.h:1:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' +++ |+#include 1 | /* logging.h In file included from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/wc_port.h:931, from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/types.h:35, from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/libwolfssl_sources.h:46, from /Users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfcrypt/src/coding.c:22: /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:79:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' 78 | #include <_stdio.h> +++ |+#include 79 | /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 ' In file included from /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:433: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:62:53: error: unknown type name 'va_list' 62 | const char * __restrict, va_list); | ^~~~~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:32:1: note: 'va_list' is defined in header ''; this is probably fixable by adding '#include ' 31 | #include +++ |+#include 32 | /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:71:54: error: unknown type name 'va_list' 71 | const char * __restrict, va_list); | ^~~~~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:71:54: note: 'va_list' is defined in header ''; this is probably fixable by adding '#include ' /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/wc_port.h:932:24: error: unknown type name 'FILE' 932 | #define XFILE FILE* | ^~~~ /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/logging.h:140:49: note: in expansion of macro 'XFILE' 140 | WOLFSSL_API void wc_ERR_print_errors_fp(XFILE fp); | ^~~~~ In file included from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/libwolfssl_sources.h:48: /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/logging.h:1:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' +++ |+#include 1 | /* logging.h In file included from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/wc_port.h:931, from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/types.h:35, from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/libwolfssl_sources.h:46, from /Users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfcrypt/src/ge_448.c:27: /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:79:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' 78 | #include <_stdio.h> +++ |+#include 79 | /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 ' In file included from /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:433: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:62:53: error: unknown type name 'va_list' 62 | const char * __restrict, va_list); | ^~~~~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:32:1: note: 'va_list' is defined in header ''; this is probably fixable by adding '#include ' 31 | #include +++ |+#include 32 | /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:71:54: error: unknown type name 'va_list' 71 | const char * __restrict, va_list); | ^~~~~~~ /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/secure/_stdio.h:71:54: note: 'va_list' is defined in header ''; this is probably fixable by adding '#include ' /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/wc_port.h:932:24: error: unknown type name 'FILE' 932 | #define XFILE FILE* | ^~~~ /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/logging.h:140:49: note: in expansion of macro 'XFILE' 140 | WOLFSSL_API void wc_ERR_print_errors_fp(XFILE fp); | ^~~~~ In file included from /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/libwolfssl_sources.h:48: /users/runner/.local/share/alire/builds/wolfssl_e6e64515/f8ebd58ac1e4adc85b4a5539b8dd7360ba698cc5d28bf51c441fe22cfc9d976e/wolfssl/wolfcrypt/logging.h:1:1: note: 'FILE' is defined in header ''; this is probably fixable by adding '#include ' +++ |+#include 1 | /* logging.h compilation of ge_448.c failed compilation of sm2.c failed compilation of coding.c failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/b8575966-cfd9-4e0b-91e4-236c4d2b2164/coap_spark_0.9.0_81401167/coap_spark.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/b8575966-cfd9-4e0b-91e4-236c4d2b2164/coap_spark_0.9.0_81401167/coap_spark.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/b8575966-cfd9-4e0b-91e4-236c4d2b2164/coap_spark_0.9.0_81401167/coap_spark.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 Load address: 0x104eac000 Call stack traceback locations: 0x105bb80cc 0x105bb812c 0x10590c66c 0x105551568 0x1057d6594 0x1057d74f4 0x10571533c 0x105713b08 0x10573778c 0x10579756c 0x10579699c 0x105737868 0x105737950 0x10571400c 0x105714174 0x104f1d730 0x104f1d070 0x104f1d1e4 0x104fbab38 0x104fc5c78 0x104eae9f8 0x104eb3a2c 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: 0x104eac000 Call stack traceback locations: 0x105bb80cc 0x105bb812c 0x105715640 0x105713b08 0x10573778c 0x10579756c 0x10579699c 0x105737868 0x105737950 0x10571400c 0x105714174 0x104f1d730 0x104f1d070 0x104f1d1e4 0x104fbab38 0x104fc5c78 0x104eae9f8 0x104eb3a2c ERROR: Compilation failed.