Test ran at 2025-10-06 12:48:10.065784+00:00 SOLUTION: labs_solar_system=1.2.0: A set of SDL-based exercises to learn Ada Origin: commit 41b041801e30f38f4af8c8bca2c1f88c9eb9710d from https://github.com/adacore/training_labs_solar_system.git Properties: Author: Léo Germond Description: A set of SDL-based exercises to learn Ada Executable: getting_started_main License: GPL-3.0-or-later Maintainer: Léo Germond Maintainers_Logins: leogermond Name: labs_solar_system Tag: training Tag: labs Tag: graphics Tag: windowed Version: 1.2.0 Website: https://public-training.adacore.com/doc/labs/solar_system/index.html Dependencies (direct): mage~0.6.1 Dependencies (solution): libsdl2=2.32.8 libsdl2_image=2.8.8 libsdl2_mixer=2.8.1 libsdl2_ttf=2.24.0 mage=0.6.1 make=4.4.1 sdlada=2.5.20 Dependencies (graph): labs_solar_system=1.2.0 --> mage=0.6.1 (~0.6.1) mage=0.6.1 --> sdlada=2.5.20 (^2.5.4-1) sdlada=2.5.20 --> libsdl2=2.32.8 (^2.0.0) sdlada=2.5.20 --> libsdl2_image=2.8.8 (^2.0.0) sdlada=2.5.20 --> libsdl2_mixer=2.8.1 (^2.0.0) sdlada=2.5.20 --> libsdl2_ttf=2.24.0 (^2.0.0) sdlada=2.5.20 --> make=4.4.1 (*) LOG: [alr test] Testing labs_solar_system=1.2.0 [alr test] Spawning retrieval for remote crate: alr -d -n get labs_solar_system=1.2.0 Note: Deploying labs_solar_system=1.2.0... Note: Deploying libsdl2=2.32.8... The system package 'mingw-w64-x86_64-SDL2' 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 resolving dependencies... looking for conflicting packages... Packages (6) mingw-w64-x86_64-gcc-libs-15.1.0-7 mingw-w64-x86_64-libiconv-1.18-1 mingw-w64-x86_64-libwinpthread-13.0.0.r72.g7010671fa-1 mingw-w64-x86_64-tzdata-2025b-2 mingw-w64-x86_64-vulkan-loader-1~1.4.321.0-1 mingw-w64-x86_64-SDL2-2.32.8-1 Total Download Size: 3.63 MiB Total Installed Size: 17.13 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... mingw-w64-x86_64-SDL2-2.32.8-1-any downloading... mingw-w64-x86_64-gcc-libs-15.1.0-7-any downloading... mingw-w64-x86_64-libiconv-1.18-1-any downloading... mingw-w64-x86_64-tzdata-2025b-2-any downloading... mingw-w64-x86_64-vulkan-loader-1~1.4.321.0-1-any downloading... mingw-w64-x86_64-libwinpthread-13.0.0.r72.g7010671fa-1-any downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing mingw-w64-x86_64-libwinpthread... installing mingw-w64-x86_64-tzdata... installing mingw-w64-x86_64-gcc-libs... installing mingw-w64-x86_64-libiconv... installing mingw-w64-x86_64-vulkan-loader... installing mingw-w64-x86_64-SDL2... Note: Deploying libsdl2_image=2.8.8... The system package 'mingw-w64-x86_64-SDL2_image' 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 resolving dependencies... looking for conflicting packages... warning: dependency cycle detected: warning: mingw-w64-x86_64-libtiff will be installed before its mingw-w64-x86_64-libwebp dependency Packages (26) mingw-w64-x86_64-aom-3.12.1-2 mingw-w64-x86_64-brotli-1.1.0-5 mingw-w64-x86_64-dav1d-1.5.1-1 mingw-w64-x86_64-gettext-runtime-0.25.1-1 mingw-w64-x86_64-giflib-5.2.2-1 mingw-w64-x86_64-highway-1.2.0-1 mingw-w64-x86_64-imath-3.1.12-2 mingw-w64-x86_64-jbigkit-2.1-5 mingw-w64-x86_64-lcms2-2.17-1 mingw-w64-x86_64-lerc-4.0.0-1 mingw-w64-x86_64-libavif-1.3.0-1 mingw-w64-x86_64-libdeflate-1.24-1 mingw-w64-x86_64-libjpeg-turbo-3.1.1-1 mingw-w64-x86_64-libjxl-0.11.1-1 mingw-w64-x86_64-libpng-1.6.50-1 mingw-w64-x86_64-libtiff-4.7.0-1 mingw-w64-x86_64-libwebp-1.6.0-1 mingw-w64-x86_64-libxml2-2.13.8-1 mingw-w64-x86_64-libyuv-1909.r2832.4db2af62d-1 mingw-w64-x86_64-openexr-3.3.4-1 mingw-w64-x86_64-rav1e-0.8.1-1 mingw-w64-x86_64-svt-av1-3.0.2-2 mingw-w64-x86_64-xz-5.8.1-2 mingw-w64-x86_64-zlib-1.3.1-1 mingw-w64-x86_64-zstd-1.5.7-1 mingw-w64-x86_64-SDL2_image-2.8.8-1 Total Download Size: 26.19 MiB Total Installed Size: 260.61 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... mingw-w64-x86_64-imath-3.1.12-2-any downloading... mingw-w64-x86_64-aom-3.12.1-2-any downloading... mingw-w64-x86_64-svt-av1-3.0.2-2-any downloading... mingw-w64-x86_64-rav1e-0.8.1-1-any downloading... mingw-w64-x86_64-libjxl-0.11.1-1-any downloading... mingw-w64-x86_64-highway-1.2.0-1-any downloading... mingw-w64-x86_64-openexr-3.3.4-1-any downloading... mingw-w64-x86_64-libxml2-2.13.8-1-any downloading... mingw-w64-x86_64-dav1d-1.5.1-1-any downloading... mingw-w64-x86_64-libtiff-4.7.0-1-any downloading... mingw-w64-x86_64-libjpeg-turbo-3.1.1-1-any downloading... mingw-w64-x86_64-zstd-1.5.7-1-any downloading... mingw-w64-x86_64-libwebp-1.6.0-1-any downloading... mingw-w64-x86_64-libyuv-1909.r2832.4db2af62d-1-any downloading... mingw-w64-x86_64-xz-5.8.1-2-any downloading... mingw-w64-x86_64-brotli-1.1.0-5-any downloading... mingw-w64-x86_64-libpng-1.6.50-1-any downloading... mingw-w64-x86_64-libavif-1.3.0-1-any downloading... mingw-w64-x86_64-lcms2-2.17-1-any downloading... mingw-w64-x86_64-gettext-runtime-0.25.1-1-any downloading... mingw-w64-x86_64-lerc-4.0.0-1-any downloading... mingw-w64-x86_64-giflib-5.2.2-1-any downloading... mingw-w64-x86_64-zlib-1.3.1-1-any downloading... mingw-w64-x86_64-jbigkit-2.1-5-any downloading... mingw-w64-x86_64-SDL2_image-2.8.8-1-any downloading... mingw-w64-x86_64-libdeflate-1.24-1-any downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing mingw-w64-x86_64-aom... installing mingw-w64-x86_64-dav1d... installing mingw-w64-x86_64-rav1e... installing mingw-w64-x86_64-svt-av1... installing mingw-w64-x86_64-libjpeg-turbo... installing mingw-w64-x86_64-libyuv... installing mingw-w64-x86_64-zlib... installing mingw-w64-x86_64-libpng... installing mingw-w64-x86_64-giflib... installing mingw-w64-x86_64-jbigkit... installing mingw-w64-x86_64-lerc... installing mingw-w64-x86_64-libdeflate... installing mingw-w64-x86_64-gettext-runtime... installing mingw-w64-x86_64-xz... installing mingw-w64-x86_64-zstd... installing mingw-w64-x86_64-libtiff... installing mingw-w64-x86_64-libwebp... installing mingw-w64-x86_64-libxml2... Optional dependencies for mingw-w64-x86_64-libxml2 mingw-w64-x86_64-python: Python bindings installing mingw-w64-x86_64-libavif... installing mingw-w64-x86_64-brotli... installing mingw-w64-x86_64-highway... installing mingw-w64-x86_64-lcms2... installing mingw-w64-x86_64-imath... Optional dependencies for mingw-w64-x86_64-imath mingw-w64-x86_64-python: python bindings mingw-w64-x86_64-boost: python bindings installing mingw-w64-x86_64-openexr... installing mingw-w64-x86_64-libjxl... Optional dependencies for mingw-w64-x86_64-libjxl mingw-w64-x86_64-gdk-pixbuf2: for gdk-pixbuf loader installing mingw-w64-x86_64-SDL2_image... Note: Deploying libsdl2_mixer=2.8.1... The system package 'mingw-w64-x86_64-SDL2_mixer' 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 resolving dependencies... looking for conflicting packages... Packages (31) mingw-w64-x86_64-bzip2-1.0.8-3 mingw-w64-x86_64-expat-2.7.1-2 mingw-w64-x86_64-flac-1.5.0-1 mingw-w64-x86_64-fluidsynth-2.4.6-1 mingw-w64-x86_64-glib2-2.84.3-2 mingw-w64-x86_64-lame-3.100-3 mingw-w64-x86_64-libffi-3.5.1-1 mingw-w64-x86_64-libogg-1.3.6-1 mingw-w64-x86_64-libsndfile-1.2.2-1 mingw-w64-x86_64-libsystre-1.0.2-1 mingw-w64-x86_64-libtre-0.9.0-1 mingw-w64-x86_64-libvorbis-1.3.7-2 mingw-w64-x86_64-libxmp-4.6.3-1 mingw-w64-x86_64-mpdecimal-4.0.1-1 mingw-w64-x86_64-mpg123-1.33.0-1 mingw-w64-x86_64-ncurses-6.5.20241228-3 mingw-w64-x86_64-opus-1.5.2-1 mingw-w64-x86_64-opusfile-0.12-3 mingw-w64-x86_64-pcre2-10.45-1 mingw-w64-x86_64-portaudio-1~19.7.0-4 mingw-w64-x86_64-python-3.12.11-1 mingw-w64-x86_64-python-packaging-25.0-1 mingw-w64-x86_64-readline-8.3.000-1 mingw-w64-x86_64-sdl3-3.2.18-1 mingw-w64-x86_64-sqlite3-3.50.2-1 mingw-w64-x86_64-tcl-8.6.16-1 mingw-w64-x86_64-termcap-1.3.1-7 mingw-w64-x86_64-tk-8.6.16-1 mingw-w64-x86_64-wavpack-5.8.1-1 mingw-w64-x86_64-wineditline-2.208-1 mingw-w64-x86_64-SDL2_mixer-2.8.1-4 Total Download Size: 46.23 MiB Total Installed Size: 322.74 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... mingw-w64-x86_64-python-3.12.11-1-any downloading... mingw-w64-x86_64-glib2-2.84.3-2-any downloading... mingw-w64-x86_64-tcl-8.6.16-1-any downloading... mingw-w64-x86_64-sqlite3-3.50.2-1-any downloading... mingw-w64-x86_64-sdl3-3.2.18-1-any downloading... mingw-w64-x86_64-tk-8.6.16-1-any downloading... mingw-w64-x86_64-ncurses-6.5.20241228-3-any downloading... mingw-w64-x86_64-pcre2-10.45-1-any downloading... mingw-w64-x86_64-wavpack-5.8.1-1-any downloading... mingw-w64-x86_64-mpg123-1.33.0-1-any downloading... mingw-w64-x86_64-flac-1.5.0-1-any downloading... mingw-w64-x86_64-readline-8.3.000-1-any downloading... mingw-w64-x86_64-libsndfile-1.2.2-1-any downloading... mingw-w64-x86_64-libxmp-4.6.3-1-any downloading... mingw-w64-x86_64-fluidsynth-2.4.6-1-any downloading... mingw-w64-x86_64-libvorbis-1.3.7-2-any downloading... mingw-w64-x86_64-lame-3.100-3-any downloading... mingw-w64-x86_64-opus-1.5.2-1-any downloading... mingw-w64-x86_64-portaudio-1~19.7.0-4-any downloading... mingw-w64-x86_64-libogg-1.3.6-1-any downloading... mingw-w64-x86_64-opusfile-0.12-3-any downloading... mingw-w64-x86_64-expat-2.7.1-2-any downloading... mingw-w64-x86_64-mpdecimal-4.0.1-1-any downloading... mingw-w64-x86_64-SDL2_mixer-2.8.1-4-any downloading... mingw-w64-x86_64-python-packaging-25.0-1-any downloading... mingw-w64-x86_64-bzip2-1.0.8-3-any downloading... mingw-w64-x86_64-libtre-0.9.0-1-any downloading... mingw-w64-x86_64-wineditline-2.208-1-any downloading... mingw-w64-x86_64-libffi-3.5.1-1-any downloading... mingw-w64-x86_64-termcap-1.3.1-7-any downloading... mingw-w64-x86_64-libsystre-1.0.2-1-any downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing mingw-w64-x86_64-libogg... installing mingw-w64-x86_64-flac... installing mingw-w64-x86_64-wavpack... installing mingw-w64-x86_64-bzip2... installing mingw-w64-x86_64-wineditline... installing mingw-w64-x86_64-pcre2... installing mingw-w64-x86_64-libffi... installing mingw-w64-x86_64-expat... installing mingw-w64-x86_64-mpdecimal... installing mingw-w64-x86_64-libtre... installing mingw-w64-x86_64-libsystre... installing mingw-w64-x86_64-ncurses... installing mingw-w64-x86_64-termcap... installing mingw-w64-x86_64-readline... installing mingw-w64-x86_64-sqlite3... Optional dependencies for mingw-w64-x86_64-sqlite3 mingw-w64-x86_64-tcl: for sqlite3_analyzer [pending] installing mingw-w64-x86_64-tcl... installing mingw-w64-x86_64-tk... installing mingw-w64-x86_64-python... installing mingw-w64-x86_64-python-packaging... installing mingw-w64-x86_64-glib2... installing mingw-w64-x86_64-lame... installing mingw-w64-x86_64-libvorbis... installing mingw-w64-x86_64-mpg123... Optional dependencies for mingw-w64-x86_64-mpg123 mingw-w64-x86_64-openal mingw-w64-x86_64-portaudio [pending] mingw-w64-x86_64-SDL2 [installed] installing mingw-w64-x86_64-opus... installing mingw-w64-x86_64-libsndfile... installing mingw-w64-x86_64-portaudio... installing mingw-w64-x86_64-sdl3... installing mingw-w64-x86_64-fluidsynth... installing mingw-w64-x86_64-libxmp... Optional dependencies for mingw-w64-x86_64-libxmp mingw-w64-x86_64-unrar installing mingw-w64-x86_64-opusfile... installing mingw-w64-x86_64-SDL2_mixer... Note: Deploying libsdl2_ttf=2.24.0... The system package 'mingw-w64-x86_64-SDL2_ttf' 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 resolving dependencies... looking for conflicting packages... warning: dependency cycle detected: warning: mingw-w64-x86_64-harfbuzz will be installed before its mingw-w64-x86_64-freetype dependency Packages (4) mingw-w64-x86_64-freetype-2.13.3-1 mingw-w64-x86_64-graphite2-1.3.14-3 mingw-w64-x86_64-harfbuzz-11.2.1-1 mingw-w64-x86_64-SDL2_ttf-2.24.0-1 Total Download Size: 2.51 MiB Total Installed Size: 16.37 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... mingw-w64-x86_64-harfbuzz-11.2.1-1-any downloading... mingw-w64-x86_64-freetype-2.13.3-1-any downloading... mingw-w64-x86_64-graphite2-1.3.14-3-any downloading... mingw-w64-x86_64-SDL2_ttf-2.24.0-1-any downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing mingw-w64-x86_64-graphite2... installing mingw-w64-x86_64-harfbuzz... installing mingw-w64-x86_64-freetype... installing mingw-w64-x86_64-SDL2_ttf... Note: Deploying sdlada=2.5.20... Note: Deploying mage=0.6.1... labs_solar_system=1.2.0 successfully retrieved. Dependencies were solved as follows: +b libsdl2 2.32.8 (new,indirect,system package) +b libsdl2_image 2.8.8 (new,indirect,system package) +b libsdl2_mixer 2.8.1 (new,indirect,system package) +b libsdl2_ttf 2.24.0 (new,indirect,system package) + mage 0.6.1 (new) +b make 4.4.1 (new,indirect,system package) + sdlada 2.5.20 (new,indirect) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Running pre-build actions for sdlada=2.5.20... make: Entering directory '/c/Users/runneradmin/AppData/Local/alire/cache/builds/sdlada_2.5.20_cd53c280/f2fb6081a3a5dd1ba82cdcc262d676c201db24089a0da15d98feee6c55f893f1/build/gnat' mkdir -p gen/src/ gprbuild -p -gnat2012 -XSDL_MODE=debug -XSDL_PLATFORM=windows \ -Ptools.gpr Setup [mkdir] object directory for project Tools Compile [Ada] gen_keyboard.adb [Ada] scancodes.ads [Ada] utils.adb Bind [gprbind] gen_keyboard.bexch [Ada] gen_keyboard.ali Link [link] gen_keyboard.adb ./gen/debug/tools/gen_keyboard > gen/src/sdl-events-keyboards.ads make: Leaving directory '/c/Users/runneradmin/AppData/Local/alire/cache/builds/sdlada_2.5.20_cd53c280/f2fb6081a3a5dd1ba82cdcc262d676c201db24089a0da15d98feee6c55f893f1/build/gnat' Note: Building labs_solar_system=1.2.0/labs_solar_system.gpr... Setup [mkdir] object directory for project SDLAda [mkdir] object directory for project Mage [mkdir] library directory for project Mage [mkdir] object directory for project Labs_Solar_System [mkdir] exec directory for project Labs_Solar_System Compile [Ada] getting_started_main.adb [C] version_ttf.c [C] version_images.c [C] version.c [Ada] sdl-ttfs.adb [Ada] sdl-ttfs-versions.adb [Ada] sdl-ttfs-makers.adb [Ada] sdl-images.adb [Ada] sdl-images-versions.adb [Ada] sdl-images-io.adb [Ada] sdl-video.adb [Ada] sdl-video-windows.adb [Ada] sdl-video-windows-manager.adb [Ada] sdl-video-windows-makers.adb [Ada] sdl-video-textures.adb [Ada] sdl-video-textures-makers.adb [Ada] sdl-video-surfaces.adb [Ada] sdl-video-surfaces-makers.adb [Ada] sdl-video-renderers.adb [Ada] sdl-video-renderers-makers.adb [Ada] sdl-video-rectangles.adb [Ada] sdl-video-pixel_formats.adb [Ada] sdl-video-pixels.ads [Ada] sdl-video-palettes.adb [Ada] sdl-video-gl.adb [Ada] sdl-video-displays.adb [Ada] sdl-rwops.adb [Ada] sdl-rwops-streams.adb [Ada] sdl-inputs.ads [Ada] sdl-inputs-mice.adb [Ada] sdl-inputs-mice-cursors.adb [Ada] sdl-inputs-keyboards.adb [Ada] sdl-inputs-joysticks.adb [Ada] sdl-inputs-joysticks-makers.adb [Ada] sdl-inputs-joysticks-game_controllers.adb [Ada] sdl-inputs-joysticks-game_controllers-makers.adb sdl-inputs-joysticks.adb:69:04: (style) missing "overriding" indicator in body of "=" [-gnatyO] sdl-inputs-joysticks.ads:56:04: (style) missing "overriding" indicator in declaration of "=" [-gnatyO] sdl-inputs-joysticks.ads:56:13: warning: missing overriding indicator for "=" [enabled by default] [Ada] sdl-events.ads [Ada] sdl-events-windows.ads [Ada] sdl-events-touches.ads [Ada] sdl-events-mice.ads [Ada] sdl-events-keyboards.adb [Ada] sdl-events-joysticks.adb [Ada] sdl-events-joysticks-game_controllers.adb [Ada] sdl-events-files.ads [Ada] sdl-events-events.adb [Ada] sdl-events-controllers.ads [Ada] sdl-audio.adb [Ada] sdl-audio-sample_formats.ads [Ada] sdl-audio-devices.adb [Ada] sdl.adb [Ada] sdl-versions.adb [Ada] sdl-timers.ads [Ada] sdl-power.adb [Ada] sdl-platform.adb [Ada] sdl-log.adb [Ada] sdl-libraries.adb [Ada] sdl-hints.adb [Ada] sdl-error.adb [Ada] sdl-c_pointers.ads [Ada] sdl-cpus.adb [Ada] sdl-clipboard.adb [Ada] mage_config.ads [Ada] mage.adb [Ada] mage-model.ads [Ada] mage-log.adb [Ada] mage-input.adb [Ada] mage-event.adb [Ada] mage-draw.adb [Ada] mage-apps.ads [Ada] mage-apps-simple_loop.adb [Ada] mage_config-hardware.no.ads [Ada] draw.adb [Ada] draw-config.use-mage.ads [Ada] tsv_render.adb [Ada] float_maths.ads [Ada] vector_maths_trig.adb [Ada] vector_maths.ads Build Libraries [gprlib] sdlada.lexch [gprlib] Mage.lexch [archive] libsdlada.a [index] libsdlada.a [archive] libMage.a [index] libMage.a Bind [gprbind] getting_started_main.bexch [Ada] getting_started_main.ali Link [link] getting_started_main.adb Success: Build finished successfully in 17.47 seconds. Found declared GPR file: labs_solar_system.gpr [alr test] Test completed SUCCESSFULLY