PragmAda Software Engineering is proud to provide Mine Detector, an intellectually challenging game. Unlike other mine-finding games, Mine Detector 4.4 never requires guessing.
Mine Detector is distributed free of charge, and is free software distributed under the GNU Public License. See the file license.txt in the source distribution. The current binary version is 4.4 for Windows, and 4.3 for Linux.
Mine Detector V4.4 is available as aWin32 executable (tested on Win98 and WinXP), V4.3 as a Linux/x86 executable, and as source. This Win32 version requires GtkAda 1.3.12.
Mine Detector V5.0 is available as source only. This version was written for GtkAda 2.2; it has been built successfully with GtkAda 2.4. There are reports of incompatibilities with later versions of GtkAda. This version allows user-selectable levels. At the higher levels, guessing may sometimes be the only way to win.
Mine Detector V6.0 is available as source only. Thanks to Pascal Malaise and Björn Persson for this version. V6.0 is functionally identical to V5.0. However, it builds with GtkAda 2.24 (on Linux). V6.0 will not build with some earlier versions of GtkAda.
A version of Mine Detector that works with GtkAda 3 is also available as source only. Thanks to Pascal Malaise for this version. According to him, "It has been tested on Ubuntu 15.10 64 bits, Gtk+ 3.16.7, GtkAda 3.8.3, Gnat GPL 2015."
A version of Mine Detector that works with Gnoga is also available as source only.
into a directory of your choice
Run mine_detector.exe from this directory
Version 4.4 appears to correct problems reported on Win2000 and WinXP
(This executable was built with GtkAda 1.3.12. If you have another version of GtkAda installed on your system, you must ensure that this executable uses the DLLs that come with it.)
Gtk+ must be installed (most Linux distributions include Gtk+)
mine_detector-4.3-linux-bin.tar.gz should be untarred as root in the root directory:
# cd /
# tar xzvf /tmp/mine_detector-4.3-linux-bin.tar.gz
Unzip the source archive
into a directory of your choice
Mine Detector is written entirely in Ada. You must have an Ada compiler to build it.
Early versions of Mine Detector require the PragmAda Reusable Components. Version 4.4 requires GtkAda 1.3.12; Version 5.0 requires GtkAda version 2.2; later versions may not work. Version 6.0 requires 2.8 or later. Currently GtkAda requires the GNAT Ada compiler.
The main procedure is Mine_Detector in file mine_detector.adb
With Version 5.0, Linux users may need to increase the value of Button_Size, in User_IF.First_Game (file user_if.adb)
Using GNAT, build with the command
gnatmake -O2 -gnato mine_detector
Some indication is needed to tell the compiler where to find the GTKAda files
Under Windows, the "-mwindows" linker argument may be added to eliminate the DOS box:
gnatmake -O2 -gnato mine_detector -largs -mwindows
To build the Gnoga version, follow the instructions for building Gnoga applications from the Gnoga web site.
Error reports, comments, and suggestions are welcome from all users.
for information about the PragmAda Reusable Components.
PragmARC, and the PragmAda logo are trademarks of PragmAda Software
Jeffrey R. Carter, DBA PragmAda Software Engineering, Mesa, AZ, USA
2016 Feb 15