2023-10-08 15:11:04 -04:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -xe
|
|
|
|
|
|
2023-10-15 13:35:03 -04:00
|
|
|
rm -rf *.o *.ali
|
|
|
|
|
|
2023-10-15 09:08:31 -04:00
|
|
|
gnatmake -o xabina main.adb
|
2023-10-08 15:11:04 -04:00
|
|
|
|
2023-10-15 13:35:03 -04:00
|
|
|
stty raw -echo && valgrind --show-leak-kinds=all --leak-check=full --log-file=log.txt ./xabina && stty sane
|
|
|
|
|
|
2023-10-08 15:11:04 -04:00
|
|
|
exit
|
