From ca2e520e2c9cab9109123aa9bf2e100ded09a0a8 Mon Sep 17 00:00:00 2001
From: "Ankur Sinha (Ankur Sinha Gmail)" <sanjay.ankur@gmail.com>
Date: Sun, 13 Oct 2019 13:42:51 +0100
Subject: [PATCH 1/3] Use header only CGAL library
---
configure.ac | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/configure.ac b/configure.ac
index be20296a..8766ef8d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -181,8 +181,15 @@ dnl GNU MP library (needed by CGAL)
AC_CHECK_LIB(gmp, __gmpz_init, ,
[AC_MSG_ERROR([GNU MP not found (CGAL dependency), see https://gmplib.org/])])
dnl CGAL
-AX_LIB_CGAL_CORE([], AC_MSG_ERROR([CGAL library not found.]))
+CGAL_CPPFLAGS="-DCGAL_HEADER_ONLY"
+CGAL_LDFLAGS=""
+HAVE_CGAL="yes"
+AC_DEFINE(HAVE_CGAL,[1],[Indicates presence of CGAL library])
+AC_SUBST(CGAL_CPPFLAGS)
+AC_SUBST(CGAL_LDFLAGS)
+
[CGAL_FLAGS="-frounding-math"]
+
AC_MSG_CHECKING(whether to enable debbuging with valgrind)
AC_ARG_ENABLE([valgrind], [AS_HELP_STRING([--enable-valgrind],[enable valgrind debugging [default=disabled] ])],
if test $enableval = yes; then
--
2.23.0