#!/bin/bash

set -xe

# Find your own file path for this, I rely on GCC and GNAT:
# $ gcc -print-libgcc-file-name
# Run the command above to get the following output:
# /usr/lib/gcc/x86_64-linux-gnu/8/libgcc.a
# Then, add 'adainclude' and file name to the file path.
# Sorry, I don't know a better way to do this...

cp raylib.ads /usr/lib/gcc/x86_64-linux-gnu/8/adainclude/raylib.ads

exit