#!/bin/sh

PROGNAME="FreeDoko"

if [ -e $PROGNAME ]; then
 rm $PROGNAME
fi

# for debugging code
#export CXXFLAGS="-Wall -Werror -O3 -ftemplate-depth-20 -g"

echo
echo "**** compile $PROGNAME ****"
echo
make $PROGNAME || exit

echo
echo "****** $PROGNAME ******"
#cd ../data && ../src/$PROGNAME
#time ./$PROGNAME "$@" || exit 1
#./${PROGNAME} --ui=none -F
# ./$PROGNAME --ui=text "$@"
#./$PROGNAME -b  ../Bugreports/FreeDoko.BugReport.47374_2 "$@"
./$PROGNAME -b  ../Bugreports/_incoming/FreeDoko.BugReport.29042_1 "$@"
#./$PROGNAME -b  ../Bugreports/_incoming/Borg.2005-06-20/FreeDoko.BugReport.144302_1 "$@"
#./$PROGNAME -b  ../Bugreports/asserts/FreeDoko.BugReport.241538 "$@"

#./$PROGNAME -b /home/dknof/Desktop/FreeDoko.BugReports/FreeDoko.BugReport.47374 "$@"
#./$PROGNAME --ui=none -b /home/dknof/Desktop/FreeDoko.BugReports/FreeDoko.BugReport.12 "$@"
echo
#   rm ./$PROGNAME
