Test ran at 2025-05-01 01:26:22.114230+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.54 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.54 (^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: Spawning: alr -d -n get --build labs_solar_system=1.2.0 Note: Deploying labs_solar_system=1.2.0... Note: Deploying libsdl2=2.32.54... The system package '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 warning: sdl2-compat-2.32.54-2 is up to date -- skipping there is nothing to do Note: Deploying libsdl2_mixer=2.8.1... The system package '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... Package (11) New Version Net Change Download Size extra/alsa-lib 1.2.14-1 1.68 MiB 0.48 MiB extra/alsa-topology-conf 1.2.5.1-4 0.33 MiB 0.01 MiB extra/alsa-ucm-conf 1.2.14-1 0.54 MiB 0.11 MiB extra/flac 1.5.0-1 1.14 MiB 0.33 MiB extra/libmodplug 0.8.9.0-6 0.36 MiB 0.16 MiB extra/libogg 1.3.5-2 0.44 MiB 0.19 MiB extra/libvorbis 1.3.7-4 0.83 MiB 0.18 MiB extra/mpg123 1.32.10-1 1.16 MiB 0.43 MiB extra/opus 1.5.2-1 5.30 MiB 4.26 MiB extra/opusfile 0.12-4 0.21 MiB 0.06 MiB extra/sdl2_mixer 2.8.1-1 0.32 MiB 0.12 MiB Total Download Size: 6.33 MiB Total Installed Size: 12.31 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... opus-1.5.2-1-x86_64 downloading... alsa-lib-1.2.14-1-x86_64 downloading... mpg123-1.32.10-1-x86_64 downloading... flac-1.5.0-1-x86_64 downloading... libogg-1.3.5-2-x86_64 downloading... libvorbis-1.3.7-4-x86_64 downloading... libmodplug-0.8.9.0-6-x86_64 downloading... sdl2_mixer-2.8.1-1-x86_64 downloading... alsa-ucm-conf-1.2.14-1-any downloading... opusfile-0.12-4-x86_64 downloading... alsa-topology-conf-1.2.5.1-4-any downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing libogg... installing libvorbis... installing libmodplug... installing alsa-topology-conf... installing alsa-ucm-conf... installing alsa-lib... installing mpg123... Optional dependencies for mpg123 sdl2: for sdl audio support [installed] jack: for jack audio support libpulse: for pulse audio support perl: for conplay [installed] installing flac... installing opus... installing opusfile... installing sdl2_mixer... Optional dependencies for sdl2_mixer fluidsynth: MIDI software synth, replaces built-in timidity :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... Note: Deploying sdlada=2.5.20... Note: Deploying mage=0.6.1... Note: Running pre-build actions for sdlada=2.5.20... make: Entering directory '/root/.local/share/alire/builds/sdlada_2.5.20_cd53c280/f6d652da460f107c8a462d972623c5ea56d7437e3c97fb205477693e0bc1d818/build/gnat' mkdir -p gen/src/ gprbuild -p -gnat2012 -XSDL_MODE=debug -XSDL_PLATFORM=linux \ -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 '/root/.local/share/alire/builds/sdlada_2.5.20_cd53c280/f6d652da460f107c8a462d972623c5ea56d7437e3c97fb205477693e0bc1d818/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-versions.adb [Ada] sdl-ttfs-makers.adb [Ada] sdl-ttfs.adb [Ada] sdl-images-io.adb [Ada] sdl-images.adb [Ada] sdl-images-versions.adb [Ada] sdl-video-textures.adb [Ada] sdl-video-renderers-makers.adb [Ada] sdl-video-renderers.adb [Ada] sdl-video-windows-makers.adb [Ada] sdl-video-pixels.ads [Ada] sdl-video-displays.adb [Ada] sdl-video-palettes.adb [Ada] sdl-video-rectangles.adb [Ada] sdl-video-surfaces.adb [Ada] sdl-video-pixel_formats.adb [Ada] sdl-video-windows-manager.adb [Ada] sdl-video.adb [Ada] sdl-video-textures-makers.adb [Ada] sdl-video-windows.adb [Ada] sdl-video-surfaces-makers.adb [Ada] sdl-video-gl.adb [Ada] sdl-rwops.adb [Ada] sdl-rwops-streams.adb [Ada] sdl-inputs-mice.adb [Ada] sdl-inputs-keyboards.adb [Ada] sdl-inputs.ads [Ada] sdl-inputs-joysticks.adb [Ada] sdl-inputs-joysticks-game_controllers-makers.adb [Ada] sdl-inputs-joysticks-game_controllers.adb [Ada] sdl-inputs-joysticks-makers.adb [Ada] sdl-inputs-mice-cursors.adb [Ada] sdl-events-touches.ads [Ada] sdl-events-joysticks-game_controllers.adb [Ada] sdl-events-joysticks.adb [Ada] sdl-events-keyboards.adb [Ada] sdl-events-controllers.ads [Ada] sdl-events-windows.ads [Ada] sdl-events-files.ads [Ada] sdl-events-events.adb [Ada] sdl-events-mice.ads [Ada] sdl-events.ads [Ada] sdl-audio.adb [Ada] sdl-audio-devices.adb [Ada] sdl-audio-sample_formats.ads [Ada] sdl-hints.adb [Ada] sdl-versions.adb [Ada] sdl-clipboard.adb [Ada] sdl-cpus.adb [Ada] sdl-timers.ads [Ada] sdl-libraries.adb [Ada] sdl-c_pointers.ads [Ada] sdl-error.adb [Ada] sdl-power.adb [Ada] sdl.adb [Ada] sdl-log.adb [Ada] sdl-platform.adb [Ada] mage_config.ads [Ada] mage-log.adb [Ada] mage-draw.adb [Ada] mage-input.adb [Ada] mage-apps.ads [Ada] mage-model.ads [Ada] mage-event.adb [Ada] mage.adb [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 labs_solar_system=1.2.0 successfully retrieved and built. Dependencies were solved as follows: +b libsdl2 2.32.54 (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) Found declared GPR file: labs_solar_system.gpr