Test ran at 2025-07-23 13:23:58.794675+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.1.2 (gnat_native) libgnutls=3.7.9 simple_components=4.68.0 ssl=3.0.16 unixodbc=2.3.11 Dependencies (graph): ada_gui=20240224.0.1 --> gnat=15.1.2 (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.1.2 (gnat_native) (<13.0 | >=13.3) mine_detector=20220720.0.0 --> ssl=3.0.16 (^3.0.2) simple_components=4.68.0 --> gnat=15.1.2 (gnat_native) (>=2021 | (>=12 & <2000)) simple_components=4.68.0 --> libgnutls=3.7.9 (^3.7) simple_components=4.68.0 --> unixodbc=2.3.11 (^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.7.9... The system package 'libgnutls28-dev' 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 debconf: delaying package configuration, since apt-utils is not installed (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 24265 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.19.0-2+deb12u1_amd64.deb ... Unpacking libtasn1-6:amd64 (4.19.0-2+deb12u1) over (4.19.0-2) ... Setting up libtasn1-6:amd64 (4.19.0-2+deb12u1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 24265 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.7.9-2+deb12u5_amd64.deb ... Unpacking libgnutls30:amd64 (3.7.9-2+deb12u5) over (3.7.9-2+deb12u3) ... Setting up libgnutls30:amd64 (3.7.9-2+deb12u5) ... Selecting previously unselected package libevent-2.1-7:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 24265 files and directories currently installed.) Preparing to unpack .../00-libevent-2.1-7_2.1.12-stable-8_amd64.deb ... Unpacking libevent-2.1-7:amd64 (2.1.12-stable-8) ... Selecting previously unselected package libunbound8:amd64. Preparing to unpack .../01-libunbound8_1.17.1-2+deb12u2_amd64.deb ... Unpacking libunbound8:amd64 (1.17.1-2+deb12u2) ... Selecting previously unselected package libgnutls-dane0:amd64. Preparing to unpack .../02-libgnutls-dane0_3.7.9-2+deb12u5_amd64.deb ... Unpacking libgnutls-dane0:amd64 (3.7.9-2+deb12u5) ... Selecting previously unselected package libgnutls-openssl27:amd64. Preparing to unpack .../03-libgnutls-openssl27_3.7.9-2+deb12u5_amd64.deb ... Unpacking libgnutls-openssl27:amd64 (3.7.9-2+deb12u5) ... Selecting previously unselected package libgnutlsxx30:amd64. Preparing to unpack .../04-libgnutlsxx30_3.7.9-2+deb12u5_amd64.deb ... Unpacking libgnutlsxx30:amd64 (3.7.9-2+deb12u5) ... Selecting previously unselected package libidn2-dev:amd64. Preparing to unpack .../05-libidn2-dev_2.3.3-1+b1_amd64.deb ... Unpacking libidn2-dev:amd64 (2.3.3-1+b1) ... Selecting previously unselected package libp11-kit-dev:amd64. Preparing to unpack .../06-libp11-kit-dev_0.24.1-2_amd64.deb ... Unpacking libp11-kit-dev:amd64 (0.24.1-2) ... Selecting previously unselected package libtasn1-6-dev:amd64. Preparing to unpack .../07-libtasn1-6-dev_4.19.0-2+deb12u1_amd64.deb ... Unpacking libtasn1-6-dev:amd64 (4.19.0-2+deb12u1) ... Selecting previously unselected package nettle-dev:amd64. Preparing to unpack .../08-nettle-dev_3.8.1-2_amd64.deb ... Unpacking nettle-dev:amd64 (3.8.1-2) ... Selecting previously unselected package libgnutls28-dev:amd64. Preparing to unpack .../09-libgnutls28-dev_3.7.9-2+deb12u5_amd64.deb ... Unpacking libgnutls28-dev:amd64 (3.7.9-2+deb12u5) ... Selecting previously unselected package libtasn1-doc. Preparing to unpack .../10-libtasn1-doc_4.19.0-2+deb12u1_all.deb ... Unpacking libtasn1-doc (4.19.0-2+deb12u1) ... Setting up libgnutls-openssl27:amd64 (3.7.9-2+deb12u5) ... Setting up nettle-dev:amd64 (3.8.1-2) ... Setting up libtasn1-doc (4.19.0-2+deb12u1) ... Setting up libgnutlsxx30:amd64 (3.7.9-2+deb12u5) ... Setting up libevent-2.1-7:amd64 (2.1.12-stable-8) ... Setting up libidn2-dev:amd64 (2.3.3-1+b1) ... Setting up libtasn1-6-dev:amd64 (4.19.0-2+deb12u1) ... Setting up libp11-kit-dev:amd64 (0.24.1-2) ... Setting up libunbound8:amd64 (1.17.1-2+deb12u2) ... Setting up libgnutls-dane0:amd64 (3.7.9-2+deb12u5) ... Setting up libgnutls28-dev:amd64 (3.7.9-2+deb12u5) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... Note: Deploying unixodbc=2.3.11... The system package 'unixodbc-dev' 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 debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libltdl7:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 24567 files and directories currently installed.) Preparing to unpack .../0-libltdl7_2.4.7-7~deb12u1_amd64.deb ... Unpacking libltdl7:amd64 (2.4.7-7~deb12u1) ... Selecting previously unselected package libodbc2:amd64. Preparing to unpack .../1-libodbc2_2.3.11-2+deb12u1_amd64.deb ... Unpacking libodbc2:amd64 (2.3.11-2+deb12u1) ... Selecting previously unselected package libodbccr2:amd64. Preparing to unpack .../2-libodbccr2_2.3.11-2+deb12u1_amd64.deb ... Unpacking libodbccr2:amd64 (2.3.11-2+deb12u1) ... Selecting previously unselected package unixodbc-common. Preparing to unpack .../3-unixodbc-common_2.3.11-2+deb12u1_all.deb ... Unpacking unixodbc-common (2.3.11-2+deb12u1) ... Selecting previously unselected package libodbcinst2:amd64. Preparing to unpack .../4-libodbcinst2_2.3.11-2+deb12u1_amd64.deb ... Unpacking libodbcinst2:amd64 (2.3.11-2+deb12u1) ... Selecting previously unselected package unixodbc-dev:amd64. Preparing to unpack .../5-unixodbc-dev_2.3.11-2+deb12u1_amd64.deb ... Unpacking unixodbc-dev:amd64 (2.3.11-2+deb12u1) ... Setting up unixodbc-common (2.3.11-2+deb12u1) ... Setting up libltdl7:amd64 (2.4.7-7~deb12u1) ... Setting up libodbc2:amd64 (2.3.11-2+deb12u1) ... Setting up libodbccr2:amd64 (2.3.11-2+deb12u1) ... Setting up libodbcinst2:amd64 (2.3.11-2+deb12u1) ... Setting up unixodbc-dev:amd64 (2.3.11-2+deb12u1) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... 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.1.2 (new,gnat_native,binary) +b libgnutls 3.7.9 (new,indirect,system package) + simple_components 4.68.0 (new,indirect) +b ssl 3.0.16 (new,system package) +b unixodbc 2.3.11 (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-application.adb [Ada] ada_gui-gnoga-gui-element-form.adb [Ada] ada_gui-gnoga-gui-element-canvas.adb [Ada] ada_gui-gnoga-gui.adb [Ada] ada_gui-gnoga-server-connection-common.ads [Ada] ada_gui-gnoga-gui-document.adb [Ada] ada_gui-gnoga-colors.adb [Ada] ada_gui-gnoga-server-connection.adb [Ada] ada_gui-gnoga-server-template_parser.adb /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/8bcfe5058aa7e81ae0ab4b6337487705bee37844ec6dad50473c2f253144abd1/sqlite-sources/sqlite3.c: In function 'sqlite3DefaultRowEst': /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/8bcfe5058aa7e81ae0ab4b6337487705bee37844ec6dad50473c2f253144abd1/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/8bcfe5058aa7e81ae0ab4b6337487705bee37844ec6dad50473c2f253144abd1/sqlite-sources/sqlite3.c:13475: /root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/8bcfe5058aa7e81ae0ab4b6337487705bee37844ec6dad50473c2f253144abd1/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/8bcfe5058aa7e81ae0ab4b6337487705bee37844ec6dad50473c2f253144abd1/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/8bcfe5058aa7e81ae0ab4b6337487705bee37844ec6dad50473c2f253144abd1/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-gnoga-gui-element-list.adb [Ada] ada_gui-gnoga-server.adb [Ada] ada_gui-gnoga-gui-window.adb [Ada] ada_gui-gnoga-gui-location.adb [Ada] ada_gui-gnoga-server-template_parser-simple.adb [Ada] ada_gui-gnoga-gui-element-multimedia.adb [Ada] ada_gui-gnoga.adb [Ada] parsers-generic_source-xpm.adb [Ada] ada_gui-gnoga-gui-element.adb [Ada] ada_gui-gnoga-gui-element-common.adb [Ada] ada_gui-gnoga-gui-view-grid.adb [Ada] ada_gui-gnoga-server-model.adb [Ada] ada_gui-gnoga-gui-element-canvas-context_2d.adb [Ada] ada_gui-gnoga-server-database.adb [Ada] ada_gui.adb [Ada] parsers-multiline_source-xpm.ads [Ada] ada_gui-gnoga-client_storage.adb [Ada] ada_gui-gnoga-server-model-queries.adb [Ada] ada_gui-gnoga-gui-view-console.adb [Ada] ada_gui-gnoga-gui-view.adb [Ada] ada_gui-gnoga-server-mime.adb [Ada] user_if.adb [Ada] gnat-sockets-server.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] strings_edit.adb [Ada] strings_edit-integers.ads [Ada] parsers.ads [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] tables.adb [Ada] tables-names.adb [Ada] strings_edit-utf8.adb [Ada] strings_edit-utf8-handling.adb [Ada] parsers-multiline_source.adb [Ada] parsers-multiline_source-text_io.adb [Ada] gnat-sockets-connection_state_machine.adb [Ada] gnat-sockets-connection_state_machine-http_server.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] strings_edit-quoted.adb [Ada] strings_edit-streams.adb [Ada] field.ads [Ada] field-operations.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] strings_edit-integer_edit.adb [Ada] generic_unbounded_array.adb [Ada] object-handle.adb object-handle.ads:153:04: warning: pragma "Inline" for "=" duplicates pragma at line 152 [-gnatwr] [Ada] object-handle-generic_unbounded_array.adb [Ada] object.adb [Ada] strings_edit-fields.adb [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 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] 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-expected_sequence.adb:37:17: warning: formal parameter "Client" is not referenced [-gnatwf] [Ada] stack_storage.adb 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] [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 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 33.49 seconds. Found declared GPR file: mine_detector.gpr [alr test] Test completed SUCCESSFULLY