4 TEMP=`getopt -o rn --long rebuild,no-gen,enable-profile: \
7 if [ $? != 0 ] ; then echo "Terminating..." >&2 ; exit 1 ; fi
9 # Note the quotes around `$TEMP': they are essential!
18 -r|--rebuild) opt_rebuild=true ; shift ;;
19 -n|--no-gen) opt_generate=false ; shift ;;
20 --enable-profile) enable_profile=$2 ; shift ;;
26 if [ false == $opt_rebuild -o ! -d "build" ] ; then
33 if [ $opt_generate == true -o $opt_rebuild == false ] ; then
34 (cd src/$1; ../../scripts/tcheadgen.sh tct-$1-core.h)
35 if [ $? -ne 0 ]; then echo "Aborting..."; exit 1; fi
37 (cd build ; cmake .. -DMODULE=$1 -DENABLE_PROFILE=$enable_profile; make -j7 )
44 for mod in `ls -1 src/ | grep -v CMakeList `
46 if [ $mod != 'common' ] && [ $mod != 'manual' ]; then
49 if [ $? -ne 0 ]; then echo "Build failed" ; exit 1; fi