# use this script to create the binary executables
# on your system for "ipuller3" and "ibox3":
# type "ccc.sh ipuller3" and "ccc.sh ibox3"
#
# ...these are the stand-alone sokoban solvers.


export GROOT=/opt/gcc-11.2.0/bin
export SDKROOT=$(xcrun --show-sdk-path)


$GROOT/gnatmake $1 \
-O3 -gnat12  \
-D obj \
-I$PWD/src \
-I$PWD/src/adautils

mv ./$1 ./$1_osx

