Installing AdaSDL to a Debian system

[LaeMing Ai <laeming@exemail.com.au>]

Hi,

I have GNAT+GPS installed on my Debian/Testing system via apt.

I have AdaSDL sources downloaded to a directory in my user space.

AdaSDL seems to have compiled fine following the included instructions - I have a .../build/gnat/gen/static.release/lib/ folder full of .ali files.

How do I get these into the GNAT build chain?

# sudo make SDL_PLATFORM=linux SDL_BUILD=static SDL_MODE=release DESTDIT=/usr/lib/gcc/x86_64-linux-gnu/6/ install

doesn't appear to work. Nothing shows up in the expected place.

I manually copied the .ali files and libsdlada.a across to 

  /usr/lib/gcc/x86_64-linux-gnu/6/adalib/

and the source .adb and .ads files across to

  /usr/lib/gcc/x86_64-linux-gnu/6/adainclude/


....

--  Test code:


with SDL;
with SDL.Error;
with SDL.Events.Events;
with SDL.Events.Keyboards;
with SDL.Events.Joysticks;
with SDL.Inputs.Joysticks.Makers;
with SDL.Inputs.Joysticks.Game_Controllers;
with SDL.Events.Mice;
with SDL.Log;
with SDL.Video.Windows;
with SDL.Video.Windows.Makers;
with SDL.Video.Windows.Manager;
with SDL.Versions;
with System;



procedure Main is

begin
   --  Insert code here.
   null;
end Main;


....


results in:

gprbuild -d -P/home/laeming/adasdltest/test.gpr
gnatgcc -c main.adb
gprbind main.bexch
gnatbind main.ali
gnatgcc -c b__main.adb
gnatgcc main.o -o main
b__main.o: In function `ada_main__finalize_library':
b__main.adb:(.text+0x7): undefined reference to `sdl__inputs__joysticks__game_controllers_E'
b__main.adb:(.text+0x11): undefined reference to `sdl__inputs__joysticks__game_controllers_E'
b__main.adb:(.text+0x16): undefined reference to `sdl__inputs__joysticks__game_controllers__finalize_spec'
b__main.adb:(.text+0x1d): undefined reference to `sdl__inputs__joysticks_E'
b__main.adb:(.text+0x27): undefined reference to `sdl__inputs__joysticks_E'
b__main.adb:(.text+0x2c): undefined reference to `sdl__inputs__joysticks__finalize_spec'
b__main.adb:(.text+0x33): undefined reference to `sdl__video__windows_E'
b__main.adb:(.text+0x3d): undefined reference to `sdl__video__windows_E'
b__main.adb:(.text+0x42): undefined reference to `sdl__video__windows__finalize_spec'
b__main.adb:(.text+0x49): undefined reference to `sdl__video__surfaces_E'
b__main.adb:(.text+0x53): undefined reference to `sdl__video__surfaces_E'
b__main.adb:(.text+0x58): undefined reference to `sdl__video__surfaces__finalize_spec'
b__main.adb:(.text+0x5f): undefined reference to `sdl__video__palettes_E'
b__main.adb:(.text+0x69): undefined reference to `sdl__video__palettes_E'
b__main.adb:(.text+0x6e): undefined reference to `sdl__video__palettes__finalize_body'
b__main.adb:(.text+0x73): undefined reference to `sdl__video__palettes__finalize_spec'
b__main.adb:(.text+0x7a): undefined reference to `sdl__log_E'
b__main.adb:(.text+0x84): undefined reference to `sdl__log_E'
b__main.adb:(.text+0x89): undefined reference to `sdl__log__finalize_spec'
b__main.o: In function `adainit':
b__main.adb:(.text+0x3eb): undefined reference to `sdl_E'
b__main.adb:(.text+0x3f5): undefined reference to `sdl_E'
b__main.adb:(.text+0x3fc): undefined reference to `sdl__error_E'
b__main.adb:(.text+0x406): undefined reference to `sdl__error_E'
b__main.adb:(.text+0x40b): undefined reference to `sdl__log___elabs'
b__main.adb:(.text+0x412): undefined reference to `sdl__log_E'
b__main.adb:(.text+0x41c): undefined reference to `sdl__log_E'
b__main.adb:(.text+0x421): undefined reference to `sdl__versions___elabs'
b__main.adb:(.text+0x428): undefined reference to `sdl__versions_E'
b__main.adb:(.text+0x432): undefined reference to `sdl__versions_E'
b__main.adb:(.text+0x437): undefined reference to `sdl__video___elabs'
b__main.adb:(.text+0x43e): undefined reference to `sdl__video_E'
b__main.adb:(.text+0x448): undefined reference to `sdl__video_E'
b__main.adb:(.text+0x44d): undefined reference to `sdl__video__palettes___elabs'
b__main.adb:(.text+0x452): undefined reference to `sdl__video__palettes___elabb'
b__main.adb:(.text+0x459): undefined reference to `sdl__video__palettes_E'
b__main.adb:(.text+0x463): undefined reference to `sdl__video__palettes_E'
b__main.adb:(.text+0x468): undefined reference to `sdl__video__pixel_formats___elabs'
b__main.adb:(.text+0x46f): undefined reference to `sdl__video__pixel_formats_E'
b__main.adb:(.text+0x479): undefined reference to `sdl__video__pixel_formats_E'
b__main.adb:(.text+0x47e): undefined reference to `sdl__video__rectangles___elabs'
b__main.adb:(.text+0x485): undefined reference to `sdl__video__rectangles_E'
b__main.adb:(.text+0x48f): undefined reference to `sdl__video__rectangles_E'
b__main.adb:(.text+0x496): undefined reference to `sdl__video__displays_E'
b__main.adb:(.text+0x4a0): undefined reference to `sdl__video__displays_E'
b__main.adb:(.text+0x4a5): undefined reference to `sdl__video__surfaces___elabs'
b__main.adb:(.text+0x4ac): undefined reference to `sdl__video__surfaces_E'
b__main.adb:(.text+0x4b6): undefined reference to `sdl__video__surfaces_E'
b__main.adb:(.text+0x4bb): undefined reference to `sdl__video__windows___elabs'
b__main.adb:(.text+0x4c2): undefined reference to `sdl__video__windows_E'
b__main.adb:(.text+0x4cc): undefined reference to `sdl__video__windows_E'
b__main.adb:(.text+0x4d3): undefined reference to `sdl__events__joysticks_E'
b__main.adb:(.text+0x4dd): undefined reference to `sdl__events__joysticks_E'
b__main.adb:(.text+0x4e4): undefined reference to `sdl__events__joysticks__game_controllers_E'
b__main.adb:(.text+0x4ee): undefined reference to `sdl__events__joysticks__game_controllers_E'
b__main.adb:(.text+0x4f5): undefined reference to `sdl__events__keyboards_E'
b__main.adb:(.text+0x4ff): undefined reference to `sdl__events__keyboards_E'
b__main.adb:(.text+0x506): undefined reference to `sdl__events__events_E'
b__main.adb:(.text+0x510): undefined reference to `sdl__events__events_E'
b__main.adb:(.text+0x515): undefined reference to `sdl__inputs__joysticks___elabs'
b__main.adb:(.text+0x51c): undefined reference to `sdl__inputs__joysticks_E'
b__main.adb:(.text+0x526): undefined reference to `sdl__inputs__joysticks_E'
b__main.adb:(.text+0x52b): undefined reference to `sdl__inputs__joysticks__game_controllers___elabs'
b__main.adb:(.text+0x532): undefined reference to `sdl__inputs__joysticks__game_controllers_E'
b__main.adb:(.text+0x53c): undefined reference to `sdl__inputs__joysticks__game_controllers_E'
b__main.adb:(.text+0x543): undefined reference to `sdl__inputs__joysticks__makers_E'
b__main.adb:(.text+0x54d): undefined reference to `sdl__inputs__joysticks__makers_E'
b__main.adb:(.text+0x554): undefined reference to `sdl__video__windows__makers_E'
b__main.adb:(.text+0x55e): undefined reference to `sdl__video__windows__makers_E'
b__main.adb:(.text+0x565): undefined reference to `sdl__video__windows__manager_E'
b__main.adb:(.text+0x56f): undefined reference to `sdl__video__windows__manager_E'
collect2: error: ld returned 1 exit status
gprbuild: link of main.adb failed
[2017-03-27 17:14:00] process exited with status 4, elapsed time: 00.62s


Obviously I have missed something, likely because I ended up trying to do a manual install. Any help appreciated!