2024-03-17 18:08:01 -04:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -xe
|
|
|
|
|
|
|
|
cd source
|
2024-06-01 20:42:12 -04:00
|
|
|
gnatmake -gnato -O3 -fstack-check -fno-exceptions -c main.adb
|
2024-03-17 18:08:01 -04:00
|
|
|
gnatbind main.ali
|
|
|
|
gnatlink -o xhads main.ali -lraylib
|
|
|
|
mv xhads ../xhads
|
|
|
|
cd ..
|
|
|
|
|
|
|
|
exit
|