diff --git a/etc/buildsys/cgal.mk b/etc/buildsys/cgal.mk
index 2b6211868..ea723fc09 100644
--- a/etc/buildsys/cgal.mk
+++ b/etc/buildsys/cgal.mk
@@ -33,12 +33,12 @@ ifeq ($(CGAL_HAVE_BOOST_LIBS),1)
ifneq ($(wildcard $(SYSROOT)/usr/include/gmp.h $(SYSROOT)/usr/local/include/gmp.h $(SYSROOT)/usr/include/$(ARCH)-linux-gnu/gmp.h),)
ifneq ($(wildcard $(SYSROOT)/usr/include/mpfr.h $(SYSROOT)/usr/local/include/mpfr.h),)
HAVE_CGAL:=1
- CFLAGS_CGAL:= -DHAVE_CGAL $(call boost-libs-cflags,$(CGAL_REQ_BOOST_LIBS)) -Wno-deprecated-register
+ CFLAGS_CGAL:= -DHAVE_CGAL -DCGAL_HEADER_ONLY $(call boost-libs-cflags,$(CGAL_REQ_BOOST_LIBS)) -Wno-deprecated-register
# Disable this runtime check since it fails when using valgrind
CFLAGS_CGAL += -DCGAL_DISABLE_ROUNDING_MATH_CHECK
- LDFLAGS_CGAL:=-lCGAL -lCGAL_Core -lgmp -lmpfr -lm \
+ LDFLAGS_CGAL:=-lgmp -lmpfr -lm \
$(call boost-libs-ldflags,$(REQ_BOOST_LIBS))
ifeq ($(CC),clang)