main.sh

Go to the documentation of this file.

#!/usr/bin/env zsh
script=${0##*/}
 
# ------------------------------------------------------------------------------------------
#
#                         Example script to test completeness of include files.
#
# ------------------------------------------------------------------------------------------
 
if [ -z $JPP_DIR ]; then
    echo "Variable JPP_DIR undefined."
    exit
fi
 
source $JPP_DIR/setenv.sh $JPP_DIR
 
if do_usage $*; then
    usage "$script (include file)+"
fi
 
if (( $# == 0 )); then
    INCLUDE_FILES=($JPP_DIR/software/*/*.hh)
else
    INCLUDE_FILES=($*)
fi
 
for INCLUDE_FILE in $INCLUDE_FILES[*]; do
 
    echo  ${INCLUDE_FILE##*software/}
 
    pushd ${INCLUDE_FILE:h}
    
    cat>abc.cc<<EOF
#include "${INCLUDE_FILE##*software/}"
 
int main()
{
}
EOF
    if   [[ -f Makefile ]]; then
        make -f Makefile abc.o
    elif [[ -f Makefile.DAQ ]]; then
        make -f Makefile.DAQ abc.o
    else
        make -f $JPP_DIR/make/JMakefile abc.o
    fi
 
    if (( $? != 0 )); then
        exit 1
    fi
 
    rm -f abc* >& /dev/null
 
    popd
done