Test ran at 2025-03-26 13:06:14.151090+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 <bent@bracke.dk>
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=14.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=14.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=14.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=14.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:
Spawning: alr -d -n get --build mine_detector=20220720.0.0
Note: Deploying mine_detector=20220720.0.0...
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:08:34 ago on Wed Mar 26 12:57:05 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 7.6 MB/s | 2.3 MB 00:00
(2/2): openssl-devel-3.2.4-1.fc40.x86_64.rpm 9.1 MB/s | 2.8 MB 00:00
--------------------------------------------------------------------------------
Total 7.8 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 simple_components=4.68.0...
Note: Deploying ada_gui=20240224.0.1...
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-view.adb
[Ada] ada_gui-gnoga-server-template_parser.adb
[Ada] ada_gui-gnoga-server-mime.adb
[Ada] ada_gui-gnoga-server-connection-common.ads
[Ada] ada_gui-gnoga-server-model-queries.adb
[Ada] ada_gui-gnoga-gui-view-console.adb
[Ada] ada_gui-gnoga-server-database.adb
[Ada] parsers-multiline_source-xpm.ads
[Ada] ada_gui-gnoga-gui-document.adb
[Ada] ada_gui.adb
[Ada] ada_gui-gnoga-gui-element-canvas-context_2d.adb
[Ada] ada_gui-gnoga-server-connection.adb
[Ada] ada_gui-gnoga-gui-element-common.adb
[Ada] ada_gui-gnoga-server.adb
[Ada] ada_gui-gnoga-gui-element.adb
[Ada] ada_gui-gnoga-gui-element-form.adb
/root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/2fbf9c8a5a774d2b1be09c3b314a5a0ae9633396dbf7c180895b5d5bb2b03480/sqlite-sources/sqlite3.c: In function 'sqlite3DefaultRowEst':
/root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/2fbf9c8a5a774d2b1be09c3b314a5a0ae9633396dbf7c180895b5d5bb2b03480/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/2fbf9c8a5a774d2b1be09c3b314a5a0ae9633396dbf7c180895b5d5bb2b03480/sqlite-sources/sqlite3.c:13475:
/root/.local/share/alire/builds/simple_components_4.68.0_da9b0f3a/2fbf9c8a5a774d2b1be09c3b314a5a0ae9633396dbf7c180895b5d5bb2b03480/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/2fbf9c8a5a774d2b1be09c3b314a5a0ae9633396dbf7c180895b5d5bb2b03480/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/2fbf9c8a5a774d2b1be09c3b314a5a0ae9633396dbf7c180895b5d5bb2b03480/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-client_storage.adb
[Ada] ada_gui-gnoga-application.adb
[Ada] ada_gui-gnoga-gui-element-list.adb
[Ada] parsers-generic_source-xpm.adb
[Ada] ada_gui-gnoga-gui.adb
[Ada] ada_gui-gnoga-server-model.adb
[Ada] ada_gui-gnoga.adb
[Ada] ada_gui-gnoga-server-template_parser-simple.adb
[Ada] ada_gui-gnoga-gui-location.adb
[Ada] ada_gui-gnoga-gui-view-grid.adb
[Ada] ada_gui-gnoga-gui-element-canvas.adb
[Ada] ada_gui-gnoga-colors.adb
[Ada] ada_gui-gnoga-gui-window.adb
[Ada] ada_gui-gnoga-gui-element-multimedia.adb
[Ada] user_if.adb
[Ada] gnat-sockets-server.adb
[Ada] parsers.ads
[Ada] parsers-generic_source.ads
[Ada] parsers-generic_source-get_cpp_blank.adb
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_text.adb
[Ada] parsers-generic_source-get_token.adb
[Ada] parsers-generic_source-keywords.adb
[Ada] parsers-multiline_source.adb
[Ada] strings_edit.adb
[Ada] strings_edit-integers.ads
[Ada] tables.adb
[Ada] tables-names.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-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-quoted.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-streams.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
[Ada] generic_map.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
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
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] gnat-sockets-connection_state_machine-terminated_strings.adb
[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
mine_detector=20220720.0.0 successfully retrieved and built.
Dependencies were solved as follows:
+ ada_gui 20240224.0.1 (new)
+b gnat 14.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)
Found declared GPR file: mine_detector.gpr