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