Merge pull request #1408 from mezzarobba/trunk

fix detection of ntl
flintlib · Jun 29, 2023 · ab789c8 · ab789c8
2 parents a59cfff + 39d5924
commit ab789c8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/configure.ac b/configure.ac
@@ -653,8 +653,10 @@ fi
 
 if test "$with_ntl" = "yes";
 then
+    AC_LANG_PUSH([C++])
     AC_CHECK_HEADER([NTL/ZZ.h],,
                     AC_MSG_ERROR([Could not find NTL/ZZ.h!]))
+    AC_LANG_POP([C++])
 fi
 
 ################################################################################