Changeset 9c31e9 in git for m4/ntl-check.m4

Timestamp:

Jul 30, 2018, 9:22:38 PM (5 years ago)

Author:

Timo Kaufmann <timokau@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

bc738210c79399a9d692a374048434a9a4f8df9d

Parents:

cadc8982276b61186daf2b1af182e715450e71df

Message:

Fail hard when ntl is missing although it was specified

File:

• m4/ntl-check.m4 (modified) (2 diffs)

m4/ntl-check.m4

@@ -30 +30 @@
               elif test "$withval" != no ; then
                         NTL_HOME_PATH="$withval"
+                        NTL_SHOULD_BE_PRESENT="yes"
              fi],
              [NTL_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
@@ -116 +117 @@
         ifelse([$3], , :, [$3])
 elif test   "x$ntl_found" = "xno";  then
+        if test "x$NTL_SHOULD_BE_PRESENT" = "xyes"; then
+                AC_MSG_ERROR([NTL support was requested but NTL could not be detected])
+        fi
         AC_MSG_RESULT(not found)
         ifelse([$3], , :, [$3])