configure.ac: update comment

homalg-project · Nov 1, 2022 · 35f039c · 35f039c
1 parent c3c2dbf
commit 35f039c
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/configure.ac b/configure.ac
@@ -33,9 +33,10 @@ AC_ARG_WITH([cddlib],
     [], [with_cddlib=yes])
 AS_IF([test "x$with_cddlib" = "xno"], [AC_MSG_ERROR([cddlib is required and cannot be disabled])])
 AS_IF([test "x$with_cddlib" != "xyes"],[
-  # Debian and Ubuntu put the headers into PREFIX/include/cdd, while on other
-  # systems, the headers are directly in PREFIX/include/ -- so we just add
-  # both to the CPPFLAGS
+  # Debian and Ubuntu put the headers into PREFIX/include/cdd, while on
+  # e.g. homebrew the headers are in PREFIX/include/cddlib. Finally in
+  # some cases, the headers are directly in PREFIX/include/ -- so we
+  # just add all three to the CPPFLAGS
   AS_IF([test -d "$with_cddlib"],[],[AC_MSG_ERROR([the cddlib path is not a directory])])
   CDD_CPPFLAGS="-I$with_cddlib/include/cdd -I$with_cddlib/include/cddlib -I$with_cddlib/include"
   CDD_LDFLAGS="-L$with_cddlib/lib -lcddgmp -lgmp"