- The Debian package uses `-DCGAL_ENABLE_PRECONFIG=OFF` and `WITH_GMPXX=ON`. In that setup, GMPXX must in the "essential" 3rd party libraries. - The CGAL_Core library must be linked with its dependencies (compilation error with `-zdefs`).
- The Debian package uses `-DCGAL_ENABLE_PRECONFIG=OFF` and `WITH_GMPXX=ON`. In that setup, GMPXX must in the "essential" 3rd party libraries. - The CGAL_Core library must be linked with its dependencies (compilation error with `-zdefs`).