#!
#dnf install gcc-gnat
#sudo dnf install libgnat-static glibc-static
rm -f calc calc.o calc.ali
#gnatmake -f calc.adb -cargs -Os -ffunction-sections -fdata-sections -largs -static -static-libgcc -s -Wl,--gc-sections
gnatmake -f calc.adb -cargs -Os -ffunction-sections -fdata-sections -largs -s -Wl,--gc-sections
strip -s --strip-all calc