3 TEMP=`getopt -o rn --long rebuild,no-gen \
6 if [ $? != 0 ] ; then echo "Terminating..." >&2 ; exit 1 ; fi
8 # Note the quotes around `$TEMP': they are essential!
16 -r|--rebuild) opt_rebuild=true ; shift ;;
17 -n|--no-gen) opt_generate=false ; shift ;;
23 if [ false == $opt_rebuild -o ! -d "build" ] ; then
30 if [ $opt_generate == true -o $opt_rebuild == false ] ; then
31 (cd src/$1; ../../scripts/tcheadgen.sh tct-$1-core.h)
32 if [ $? -ne 0 ]; then echo "Aborting..."; exit 1; fi
34 (cd build ; cmake .. -DMODULE=$1 ; make -j7 )
41 for mod in `ls -1 src/ | grep -v CMakeList `
43 if [ $mod != 'common' ] && [ $mod != 'manual' ]; then