# 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.



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

mv $1 $1_gnu

