build(cgal): use CGAL_DISABLE_GMP, drop the GMP dependency#356

krystophny merged 1 commit into

mainitpplasma/SIMPLE:mainfrom

build/cgal-disable-gmpitpplasma/SIMPLE:build/cgal-disable-gmpCopy head branch name to clipboard