#/bin/sh

################################################################################
# If you set the CC environment variable to this script, then 'make kernel'    #
# will do mostly the right thing.                                              #
################################################################################

TESLA_ARGS="-Xclang -load -Xclang TeslaInstrumenter.so -Xclang -add-plugin -Xclang tesla -Xclang -plugin-arg-tesla -Xclang instrumentation.spec -no-integrated-as"
#TESLA_ARGS="-cc1 -ast-print"
#TESLA_ARGS="-cc1 -load TeslaInstrumenter.so -add-plugin tesla -plugin-arg-tesla instrumentation.spec -ast-print"
 
ARGS="$TESLA_ARGS $*"

LD_LIBRARY_PATH=$(dirname $0)/../build/lib
export LD_LIBRARY_PATH
$(dirname $0)/../build/bin/clang $ARGS || exit 1