configure

#!/bin/sh

cpt=no # enforces competition settings if set to yes
memdbg=no
picosat=no

rm -f makefile

if [ ! x"$cpt" = xyes ]
then
cov=no;dbg=no;log=no;chk=no;stc=no;sts=no;m32=no
while [ $# -gt 0 ]
do
  case $1 in
    -h) 
echo "usage: configure [-h|-g|-O|-l|-c|-m32|-static|--check|--stats]"
echo "-h                   print this command line option summary"
echo "-g                   compiling with debugging information"
echo "-l                   enable logging"
echo "-c                   enable coverage"
echo "-m32                 enforce 32 bit binary even on 64 bit machine"
echo "-s|-static|--static  static compilation"
echo "--check              enable expensive assertion checking"
echo "--stats              enable slightly more expensive statistics"
echo "--mem-debug          print (de)allocations for memory debugging"
echo "--competition        enforce competition settings"
exit 0
;;
    -g) dbg=yes;sts=yes;;
    -O) dbg=no;sts=no;;
    -l) log=yes;;
    -c) cov=yes;;
    -m32) m32=yes;;
    -s|-static|--static) stc=yes;;
    --check) chk=yes;;
    --stats) sts=yes;;
    --mem-debug) memdbg=yes;;
    --picosat) picosat=yes;;
    --competition) cpt=yes;;
    *) echo "*** configure: invalid option" 1>&2; exit 1;;
  esac
  shift
done
else
cov=no;dbg=no;log=no;m32=yes;chk=no;stc=yes;sts=no
fi

LIBS=""
DEPS=""

[ $cov = yes ] && dbg=yes
[ x"$CXX" = x ] && CXX=g++
[ $dbg = yes ] && CXXFLAGS="-g"
[ $dbg = no ] && CXXFLAGS="-O3"
[ $m32 = yes ] && CXXFLAGS="$CXXFLAGS -m32"
[ $stc = yes ] && CXXFLAGS="$CXXFLAGS -static"
CXXFLAGS="$CXXFLAGS -Wall -Wextra -Wno-unused-but-set-variable -Wno-unused-function"
[ $dbg = no -a $chk = no ] && CXXFLAGS="$CXXFLAGS -DNDEBUG"
[ $log = no ] && CXXFLAGS="$CXXFLAGS -DNLOGPRECO"
[ $sts = no ] && CXXFLAGS="$CXXFLAGS -DNSTATSPRECO"
[ $memdbg = yes ] && CXXFLAGS="$CXXFLAGS -DMEMDBGPRECO"
if [ $picosat = yes ]
then
  LIBS="-L../picosat -lpicosat"
  DEPS="../picosat/libpicosat.a"
  CXXFLAGS="$CXXFLAGS -DCHECKWITHPICOSAT"
fi
if [ $cpt = yes ]
then
  CXXFLAGS="$CXXFLAGS -march=core2"
  TARGETS="feedback"
  CXX=/usr/bin/g++
  for CNF in /data/cnf/sc2009/applications/simon-s03-fifo8-300.cnf \
	     /data/cnf/cmu/longmult12.dimacs \
	     log/prime65537.in \
	     none
  do
    [ -f $CNF ] && break;
  done
else
  TARGETS="targets"
fi
echo "$CXX $CXXFLAGS"

sed \
   -e "s,@CXX@,$CXX," \
   -e "s,@CXXFLAGS@,$CXXFLAGS,g" \
   -e "s,@LIBS@,$LIBS,g" \
   -e "s,@TARGETS@,$TARGETS,g" \
   -e "s,@DEPS@,$DEPS,g" \
   -e "s,@CNF@,$CNF,g" \
   makefile.in > makefile