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