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

fix hardcoded path

Browse source
This commit is contained in:
Fredrik Johansson 2012-09-16 01:51:40 +02:00
parent afda52a25f
commit d841d288d0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
configure vendored
View file

@ -95,8 +95,8 @@ elif [ -d "${FLINT_DIR}/.libs" ]; then
FLINT_LIB_DIR="${FLINT_DIR}/.libs" FLINT_LIB_DIR="${FLINT_DIR}/.libs"
FLINT_INCLUDE_DIR="${FLINT_DIR}" FLINT_INCLUDE_DIR="${FLINT_DIR}"
elif [ -e "${FLINT_DIR}/flint.h" ]; then elif [ -e "${FLINT_DIR}/flint.h" ]; then
FLINT_LIB_DIR="/scratch/fjohanss/flint2" FLINT_LIB_DIR="${FLINT_DIR}"
FLINT_INCLUDE_DIR="/scratch/fjohanss/flint2" FLINT_INCLUDE_DIR="${FLINT_DIR}"
else else
echo "${FLINT_DIR}" echo "${FLINT_DIR}"
echo "Invalid FLINT directory?" echo "Invalid FLINT directory?"