Commit d2f237c5 authored by Jens Korinth's avatar Jens Korinth

Allow sourcing of setup.sh from other directories

* only works for Bash shell; warning for others
parent c0611535
export TAPASCO_HOME=$PWD
if [[ "-bash" == $0 ]]; then
export TAPASCO_HOME=`dirname ${BASH_SOURCE[0]} | xargs realpath`
else
echo "WARNING: non-bash shell; need source setup.sh from the TaPaSCo root dir!"
export TAPASCO_HOME=$PWD
fi
echo "TAPASCO_HOME=$TAPASCO_HOME"
export PATH=$TAPASCO_HOME/bin:$PATH
export MANPATH=$MANPATH:$TAPASCO_HOME/man
# source ~/vivado_15.sh
sbt assembly
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment