diff options
-rw-r--r-- | configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 3bdcf46..b586a9f 100644 --- a/configure.sh +++ b/configure.sh @@ -164,7 +164,9 @@ fi ################################################################################ # Set options -if [ "${LAPACK_DIR}" != '/usr/lib' -a "${LAPACK_DIR}" != '/usr/local/lib' ]; then +if [ "${LAPACK_DIR}" != '/usr/lib' -a "${LAPACK_DIR}" != '/usr/local/lib' -a \ + "${LAPACK_DIR}" != 'NO_BUILD' ] +then : ${LAPACK_INC_DIRS=} : ${LAPACK_LIB_DIRS="${LAPACK_DIR}"} fi |