Commit 6cb43d23 authored by Jens Korinth's avatar Jens Korinth
Browse files

Improve libmpfr seeking

parent 8a660e3d
if which locate > /dev/null 2>&1; then if which locate > /dev/null 2>&1; then
LIBMPFR=`locate -l1 libmpfr` LIBMPFR=`locate libmpfr | grep '\.so\.' | sort -nr | head -1`
else else
LIBMPFR=`find /usr -name 'libmpfr*so*' 2>/dev/null | head -1` LIBMPFR=`find /usr -name 'libmpfr*so*' 2>/dev/null | sort -nr | head -1`
fi fi
if [ -n "$BASH_VERSION" ]; then if [ -n "$BASH_VERSION" ]; then
......
Supports Markdown
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