#/bin/sh

# Mainly for debug purposes

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