Commit d675e2be authored by Jens Korinth's avatar Jens Korinth
Browse files

setup.sh: use locate instead of find

parent 944b8844
Pipeline #84 failed with stage
in 3 minutes and 40 seconds
......@@ -19,12 +19,14 @@ fi
echo "TAPASCO_HOME=$TAPASCO_HOME"
export PATH=$TAPASCO_HOME/bin:$PATH
export MANPATH=$MANPATH:$TAPASCO_HOME/man
if uname -a | grep -i ubuntu > /dev/null 2>&1; then
if find /usr/lib -name libmpfr.so > /dev/null 2>&1; then
export LD_PRELOAD=`find /usr/lib -name libmpfr.so 2>/dev/null`
#if uname -a | grep -i ubuntu > /dev/null 2>&1; then
LIB=`locate -l 1 libmpfr`
if [[ $? -eq 0 ]]; then
export LD_PRELOAD=$LIB
echo "LD_PRELOAD=$LIB"
else
echo "WARNING: awk in Ubuntu Linux is incompatible with Vivado's old libmpfr.so" >&2
echo "This can be fixed by pre-loading a new libmpfr.so, but none was found in /usr/lib." >&2
echo "If you run into problems (awk: symbols not found), please install libmpfr."
fi
fi
#fi
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