diff options
-rw-r--r-- | configure.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh index fc02cd9..0182b89 100644 --- a/configure.sh +++ b/configure.sh @@ -164,9 +164,11 @@ fi ################################################################################ # Set options -if [ "${BLAS_DIR}" != '/usr/lib' -a "${BLAS_DIR}" != '/usr/local/lib' ]; then - BLAS_INC_DIRS= - BLAS_LIB_DIRS="${BLAS_DIR}" +if [ "${BLAS_DIR}" != '/usr/lib' -a "${BLAS_DIR}" != '/usr/local/lib' -a \ + "${BLAS_DIR}" != 'NO_BUILD' ] +then + : ${BLAS_INC_DIRS=} + : ${BLAS_LIB_DIRS="${BLAS_DIR}"} fi : ${BLAS_LIBS='blas'} |