Test ran at 2025-10-04 01:18:42.391840+00:00 SOLUTION: mine_detector=20220720.0.0: The Gnoga/Ada-GUI version of Mine Detector Origin: commit 9bd51e7b08536c836e7f37a3a5c2b23b6590d4e8 from https://github.com/bracke/Mine_Detector.git Properties: Author: Jeff Carter Build Switches: Description: The Gnoga/Ada-GUI version of Mine Detector Executable: mine_detector License: GPL-3.0-or-later Long_Description: # Mine_Detector The Ada-GUI (https://github.com/jrcarter/Ada_GUI) version of Mine Detector, an intellectually-challenging game Maintainer: Bent Bracke Maintainers_Logins: bracke Name: mine_detector Tag: minedetector Tag: game Version: 20220720 Website: https://github.com/bracke/Mine_Detector Dependencies (direct): ada_gui^20240224.0.0 gnat<13.0 | >=13.3 ssl^3.0.2 Dependencies (solution): ada_gui=20240224.0.1 gnat=15.2.1 (gnat_native) libgnutls=3.8.9 simple_components=4.68.0 ssl=3.2.4 unixodbc=2.3.12 Dependencies (graph): ada_gui=20240224.0.1 --> gnat=15.2.1 (gnat_native) (<13.0 | >=13.3) ada_gui=20240224.0.1 --> simple_components=4.68.0 (^4.68.0) mine_detector=20220720.0.0 --> ada_gui=20240224.0.1 (^20240224.0.0) mine_detector=20220720.0.0 --> gnat=15.2.1 (gnat_native) (<13.0 | >=13.3) mine_detector=20220720.0.0 --> ssl=3.2.4 (^3.0.2) simple_components=4.68.0 --> gnat=15.2.1 (gnat_native) (>=2021 | (>=12 & <2000)) simple_components=4.68.0 --> libgnutls=3.8.9 (^3.7) simple_components=4.68.0 --> unixodbc=2.3.12 (^2.3) LOG: [alr test] Testing mine_detector=20220720.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get mine_detector=20220720.0.0 Note: Deploying mine_detector=20220720.0.0... Note: Deploying libgnutls=3.8.9... The system package 'gnutls-devel' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes Last metadata expiration check: 0:10:34 ago on Sat Oct 4 01:07:26 2025. Dependencies resolved. ================================================================================ Package Architecture Version Repository Size ================================================================================ Installing: gnutls-devel x86_64 3.8.9-1.fc40 updates 2.4 M Upgrading: gnutls x86_64 3.8.9-1.fc40 updates 1.1 M gnutls-dane x86_64 3.8.9-1.fc40 updates 41 k Installing dependencies: gmp-c++ x86_64 1:6.2.1-8.fc40 fedora 18 k gmp-devel x86_64 1:6.2.1-8.fc40 fedora 173 k gnutls-c++ x86_64 3.8.9-1.fc40 updates 27 k libidn2-devel x86_64 2.3.7-1.fc40 fedora 71 k libtasn1-devel x86_64 4.19.0-6.fc40 fedora 84 k libtasn1-tools x86_64 4.19.0-6.fc40 fedora 27 k nettle-devel x86_64 3.9.1-6.fc40 fedora 711 k p11-kit-devel x86_64 0.25.3-4.fc40 fedora 87 k Transaction Summary ================================================================================ Install 9 Packages Upgrade 2 Packages Total download size: 4.7 M Downloading Packages: (1/11): gmp-c++-6.2.1-8.fc40.x86_64.rpm 385 kB/s | 18 kB 00:00 (2/11): libidn2-devel-2.3.7-1.fc40.x86_64.rpm 1.1 MB/s | 71 kB 00:00 (3/11): libtasn1-tools-4.19.0-6.fc40.x86_64.rpm 1.6 MB/s | 27 kB 00:00 (4/11): gmp-devel-6.2.1-8.fc40.x86_64.rpm 1.9 MB/s | 173 kB 00:00 (5/11): libtasn1-devel-4.19.0-6.fc40.x86_64.rpm 1.9 MB/s | 84 kB 00:00 (6/11): gnutls-c++-3.8.9-1.fc40.x86_64.rpm 1.2 MB/s | 27 kB 00:00 (7/11): p11-kit-devel-0.25.3-4.fc40.x86_64.rpm 2.3 MB/s | 87 kB 00:00 (8/11): nettle-devel-3.9.1-6.fc40.x86_64.rpm 10 MB/s | 711 kB 00:00 (9/11): gnutls-dane-3.8.9-1.fc40.x86_64.rpm 2.4 MB/s | 41 kB 00:00 (10/11): gnutls-devel-3.8.9-1.fc40.x86_64.rpm 34 MB/s | 2.4 MB 00:00 (11/11): gnutls-3.8.9-1.fc40.x86_64.rpm 19 MB/s | 1.1 MB 00:00 -------------------------------------------------------------------------------- Total 7.0 MB/s | 4.7 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Upgrading : gnutls-3.8.9-1.fc40.x86_64 1/13 Installing : gnutls-c++-3.8.9-1.fc40.x86_64 2/13 Upgrading : gnutls-dane-3.8.9-1.fc40.x86_64 3/13 Installing : p11-kit-devel-0.25.3-4.fc40.x86_64 4/13 Installing : libtasn1-tools-4.19.0-6.fc40.x86_64 5/13 Installing : libtasn1-devel-4.19.0-6.fc40.x86_64 6/13 Installing : libidn2-devel-2.3.7-1.fc40.x86_64 7/13 Installing : gmp-c++-1:6.2.1-8.fc40.x86_64 8/13 Installing : gmp-devel-1:6.2.1-8.fc40.x86_64 9/13 Installing : nettle-devel-3.9.1-6.fc40.x86_64 10/13 Installing : gnutls-devel-3.8.9-1.fc40.x86_64 11/13 Cleanup : gnutls-dane-3.8.3-2.fc40.x86_64 12/13 Cleanup : gnutls-3.8.3-2.fc40.x86_64 13/13 Running scriptlet: gnutls-3.8.3-2.fc40.x86_64 13/13 Upgraded: gnutls-3.8.9-1.fc40.x86_64 gnutls-dane-3.8.9-1.fc40.x86_64 Installed: gmp-c++-1:6.2.1-8.fc40.x86_64 gmp-devel-1:6.2.1-8.fc40.x86_64 gnutls-c++-3.8.9-1.fc40.x86_64 gnutls-devel-3.8.9-1.fc40.x86_64 libidn2-devel-2.3.7-1.fc40.x86_64 libtasn1-devel-4.19.0-6.fc40.x86_64 libtasn1-tools-4.19.0-6.fc40.x86_64 nettle-devel-3.9.1-6.fc40.x86_64 p11-kit-devel-0.25.3-4.fc40.x86_64 Complete! Note: Deploying ssl=3.2.4... The system package 'openssl-devel' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes Last metadata expiration check: 0:10:36 ago on Sat Oct 4 01:07:26 2025. Dependencies resolved. ================================================================================ Package Architecture Version Repository Size ================================================================================ Installing: openssl-devel x86_64 1:3.2.4-1.fc40 updates 2.8 M Upgrading: openssl-libs x86_64 1:3.2.4-1.fc40 updates 2.3 M Transaction Summary ================================================================================ Install 1 Package Upgrade 1 Package Total download size: 5.1 M Downloading Packages: (1/2): openssl-libs-3.2.4-1.fc40.x86_64.rpm 16 MB/s | 2.3 MB 00:00 (2/2): openssl-devel-3.2.4-1.fc40.x86_64.rpm 17 MB/s | 2.8 MB 00:00 -------------------------------------------------------------------------------- Total 11 MB/s | 5.1 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Upgrading : openssl-libs-1:3.2.4-1.fc40.x86_64 1/3 Installing : openssl-devel-1:3.2.4-1.fc40.x86_64 2/3 Cleanup : openssl-libs-1:3.2.1-2.fc40.x86_64 3/3 Running scriptlet: openssl-libs-1:3.2.1-2.fc40.x86_64 3/3 Upgraded: openssl-libs-1:3.2.4-1.fc40.x86_64 Installed: openssl-devel-1:3.2.4-1.fc40.x86_64 Complete! Note: Deploying unixodbc=2.3.12... The system package 'unixODBC-devel' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes Last metadata expiration check: 0:10:38 ago on Sat Oct 4 01:07:26 2025. Dependencies resolved. ================================================================================ Package Architecture Version Repository Size ================================================================================ Installing: unixODBC-devel x86_64 2.3.12-4.fc40 fedora 51 k Installing dependencies: unixODBC x86_64 2.3.12-4.fc40 fedora 485 k Transaction Summary ================================================================================ Install 2 Packages Total download size: 536 k Installed size: 1.4 M Downloading Packages: (1/2): unixODBC-devel-2.3.12-4.fc40.x86_64.rpm 559 kB/s | 51 kB 00:00 (2/2): unixODBC-2.3.12-4.fc40.x86_64.rpm 4.2 MB/s | 485 kB 00:00 -------------------------------------------------------------------------------- Total 1.9 MB/s | 536 kB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : unixODBC-2.3.12-4.fc40.x86_64 1/2 Installing : unixODBC-devel-2.3.12-4.fc40.x86_64 2/2 Running scriptlet: unixODBC-devel-2.3.12-4.fc40.x86_64 2/2 Installed: unixODBC-2.3.12-4.fc40.x86_64 unixODBC-devel-2.3.12-4.fc40.x86_64 Complete! Note: Deploying simple_components=4.68.0... Note: Deploying ada_gui=20240224.0.1... mine_detector=20220720.0.0 successfully retrieved. Dependencies were solved as follows: + ada_gui 20240224.0.1 (new) +b gnat 15.2.1 (new,gnat_native,binary) +b libgnutls 3.8.9 (new,indirect,system package) + simple_components 4.68.0 (new,indirect) +b ssl 3.2.4 (new,system package) +b unixodbc 2.3.12 (new,indirect,system package) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building mine_detector=20220720.0.0/mine_detector.gpr... Setup [mkdir] object directory for project Ada_Gui [mkdir] library directory for project Ada_Gui [mkdir] object directory for project Mine_Detector [mkdir] exec directory for project Mine_Detector Compile [Ada] mine_detector.adb [C] py_conversions.c [C] sqlite3.c [C] synchronization_linux.c [Ada] ada_gui_config.ads [Ada] ada_gui-gnoga-gui-element-common.adb [Ada] ada_gui-gnoga-gui-window.adb [Ada] ada_gui-gnoga-colors.adb [Ada] ada_gui-gnoga-server-database.adb [Ada] ada_gui-gnoga-server-connection-common.ads [Ada] ada_gui-gnoga-gui.adb [Ada] ada_gui-gnoga-gui-element-canvas-context_2d.adb [Ada] ada_gui-gnoga-server-template_parser.adb [Ada] ada_gui-gnoga-server-mime.adb [Ada] ada_gui-gnoga-gui-element.adb [Ada] parsers-multiline_source-xpm.ads /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/470797217616a59ec372edef75c8e36c76520024341bd3fbff9642403ffa3501/sqlite-sources/sqlite3.c: In function 'sqlite3DefaultRowEst': /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/470797217616a59ec372edef75c8e36c76520024341bd3fbff9642403ffa3501/sqlite-sources/sqlite3.c:109169:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 109169 | if( pIdx->pPartIdxWhere!=0 ) a[0] -= 10; assert( 10==sqlite3LogEst(2) ); | ^~ In file included from /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/470797217616a59ec372edef75c8e36c76520024341bd3fbff9642403ffa3501/sqlite-sources/sqlite3.c:13475: /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/470797217616a59ec372edef75c8e36c76520024341bd3fbff9642403ffa3501/sqlite-sources/sqlite3.c:109169:45: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 109169 | if( pIdx->pPartIdxWhere!=0 ) a[0] -= 10; assert( 10==sqlite3LogEst(2) ); | ^~~~~~ /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/470797217616a59ec372edef75c8e36c76520024341bd3fbff9642403ffa3501/sqlite-sources/sqlite3.c:109170:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 109170 | if( a[0]<33 ) a[0] = 33; assert( 33==sqlite3LogEst(10) ); | ^~ /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/470797217616a59ec372edef75c8e36c76520024341bd3fbff9642403ffa3501/sqlite-sources/sqlite3.c:109170:45: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 109170 | if( a[0]<33 ) a[0] = 33; assert( 33==sqlite3LogEst(10) ); | ^~~~~~ [Ada] ada_gui.adb [Ada] ada_gui-gnoga-gui-element-canvas.adb [Ada] ada_gui-gnoga-gui-document.adb [Ada] parsers-generic_source-xpm.adb [Ada] ada_gui-gnoga.adb [Ada] ada_gui-gnoga-gui-view.adb [Ada] ada_gui-gnoga-gui-location.adb [Ada] ada_gui-gnoga-server-model.adb [Ada] ada_gui-gnoga-server-model-queries.adb [Ada] ada_gui-gnoga-gui-view-console.adb [Ada] ada_gui-gnoga-gui-element-multimedia.adb [Ada] ada_gui-gnoga-server-connection.adb [Ada] ada_gui-gnoga-gui-element-form.adb [Ada] ada_gui-gnoga-gui-element-list.adb [Ada] ada_gui-gnoga-server-template_parser-simple.adb [Ada] ada_gui-gnoga-server.adb [Ada] ada_gui-gnoga-application.adb [Ada] ada_gui-gnoga-client_storage.adb [Ada] ada_gui-gnoga-gui-view-grid.adb [Ada] user_if.adb [Ada] gnat-sockets-server.adb [Ada] parsers.ads [Ada] parsers-multiline_source.adb [Ada] parsers-multiline_source-text_io.adb [Ada] parsers-generic_source.ads parsers-generic_source.ads:144:18: warning: function "End_Of" is not referenced [-gnatwu] parsers-generic_source.ads:145:18: warning: function "Get_Line" is not referenced [-gnatwu] parsers-generic_source.ads:146:19: warning: procedure "Get_Line" is not referenced [-gnatwu] parsers-generic_source.ads:152:18: warning: function "Get_Pointer" is not referenced [-gnatwu] parsers-generic_source.ads:153:18: warning: function "Get_Backup_Pointer" is not referenced [-gnatwu] parsers-generic_source.ads:155:18: warning: function "Image" is not referenced [-gnatwu] parsers-generic_source.ads:156:18: warning: function "Link" is not referenced [-gnatwu] parsers-generic_source.ads:157:19: warning: procedure "Next_Line" is not referenced [-gnatwu] parsers-generic_source.ads:158:19: warning: procedure "Reset_Pointer" is not referenced [-gnatwu] parsers-generic_source.ads:159:19: warning: procedure "Set_Pointer" is not referenced [-gnatwu] parsers-generic_source.ads:163:18: warning: function "&" is not referenced [-gnatwu] [Ada] parsers-generic_source-get_cpp_blank.adb [Ada] parsers-generic_source-get_text.adb [Ada] parsers-generic_source-get_token.adb [Ada] parsers-generic_source-keywords.adb [Ada] strings_edit.adb [Ada] strings_edit-integers.ads [Ada] tables.adb [Ada] tables-names.adb [Ada] strings_edit-utf8.adb [Ada] strings_edit-utf8-handling.adb [Ada] field.ads [Ada] field-operations.adb [Ada] strings_edit-integer_edit.adb gnat-sockets-server.adb:302:13: warning: function "+" is not referenced [-gnatwu] gnat-sockets-server.adb:1800:19: warning: variable "Option" is not referenced [-gnatwu] gnat-sockets-server.ads:1633:04: warning: use clause for package "Connection_Handles" has no effect [-gnatwu] gnat-sockets-server.ads:1719:04: warning: pragma "INLINE" for "Available_To_Process" duplicates pragma at line 1426 [-gnatwr] gnat-sockets-server.ads:1720:04: warning: pragma "INLINE" for "Available_To_Send" duplicates pragma at line 1427 [-gnatwr] gnat-sockets-server.ads:1723:04: warning: pragma "INLINE" for "Queued_To_Send" duplicates pragma at line 1429 [-gnatwr] [Ada] generic_unbounded_array.adb [Ada] object-handle.adb [Ada] object-handle-generic_unbounded_array.adb object-handle.ads:153:04: warning: pragma "Inline" for "=" duplicates pragma at line 152 [-gnatwr] [Ada] object.adb [Ada] gnat-sockets-connection_state_machine.adb [Ada] gnat-sockets-connection_state_machine-http_server.adb [Ada] strings_edit-quoted.adb [Ada] strings_edit-streams.adb [Ada] strings_edit-fields.adb gnat-sockets-connection_state_machine.adb:584:17: warning: formal parameter "Pointer" is not referenced [-gnatwf] gnat-sockets-connection_state_machine.adb:585:17: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine.adb:619:17: warning: formal parameter "Pointer" is not referenced [-gnatwf] gnat-sockets-connection_state_machine.adb:620:17: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine.adb:727:07: warning: variable "Length" is not referenced [-gnatwu] gnat-sockets-connection_state_machine.adb:841:17: warning: formal parameter "Item" is read but never assigned [-gnatwv] gnat-sockets-connection_state_machine.ads:203:60: warning: applying 'Class to an untagged incomplete type is an obsolescent feature (RM J.11) [-gnatwr] gnat-sockets-connection_state_machine.ads:413:40: warning: applying 'Class to an untagged incomplete type is an obsolescent feature (RM J.11) [-gnatwr] [Ada] generic_map.adb gnat-sockets-connection_state_machine-http_server.adb:887:16: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine-http_server.adb:889:16: warning: formal parameter "End_Of_Stream" is not referenced [-gnatwf] gnat-sockets-connection_state_machine-http_server.adb:914:16: warning: formal parameter "Client" is not referenced [-gnatwf] [Ada] gnat-sockets-connection_state_machine-big_endian.ads [Ada] gnat-sockets-connection_state_machine-big_endian-unsigneds.adb [Ada] strings_edit-base64.adb [Ada] strings_edit-floats.ads [Ada] strings_edit-time_conversions.adb [Ada] generic_discrete_set.adb [Ada] generic_set.adb [Ada] gnat-sockets-connection_state_machine-expected_sequence.adb [Ada] gnat-sockets-connection_state_machine-terminated_strings.adb gnat-sockets-connection_state_machine-big_endian-unsigneds.adb:38:17: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine-big_endian-unsigneds.adb:62:17: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine-big_endian-unsigneds.adb:91:17: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine-big_endian-unsigneds.adb:120:17: warning: formal parameter "Client" is not referenced [-gnatwf] [Ada] stack_storage.adb [Ada] strings_edit-float_edit.adb strings_edit-float_edit.adb:264:18: warning: Numeric_Error is an obsolescent feature (RM J.6(1)) [-gnatwj] strings_edit-float_edit.adb:264:18: warning: use Constraint_Error instead [-gnatwj] [Ada] generic_unbounded_ptr_array.adb gnat-sockets-connection_state_machine-expected_sequence.adb:37:17: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine-terminated_strings.adb:43:17: warning: formal parameter "Client" is not referenced [-gnatwf] gnat-sockets-connection_state_machine-terminated_strings.adb:77:17: warning: formal parameter "Client" is not referenced [-gnatwf] Build Libraries [gprlib] Ada_GUI.lexch [archive] libAda_GUI.a [index] libAda_GUI.a Bind [gprbind] mine_detector.bexch [Ada] mine_detector.ali Link [archive] libmine_detector.a [index] libmine_detector.a [link] mine_detector.adb Success: Build finished successfully in 35.51 seconds. Found declared GPR file: mine_detector.gpr [alr test] Test completed SUCCESSFULLY