hiro/arb
1
0
Fork 0
mirror of https://github.com/vale981/arb synced 2025-03-04 17:01:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

configure fix

Browse source
This commit is contained in:
Fredrik Johansson 2014-08-18 23:18:46 +02:00
parent a4019154e7
commit a01420152c
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
configure vendored
View file

@ -244,6 +244,11 @@ else
echo "Invalid FLINT directory"
exit 1
fi
if [ -d "${FLINT_INCLUDE_DIR}/flint" ]; then
FLINT_INCLUDE_DIR="${FLINT_INCLUDE_DIR}/flint"
fi
LIB_DIRS="${LIB_DIRS} ${FLINT_LIB_DIR}"
INC_DIRS="${INC_DIRS} ${FLINT_INC_DIR}"
LIBS="${LIBS} flint"