[Windows] add missing cgal patch

diff --git a/products/cgal.pyconf b/products/cgal.pyconf
index 8d1997ecf44d83365f632665fb26baaf97d136f9..f13d9cfe54dd617535c1dbc5935ba725414f4026 100644 (file)
--- a/products/cgal.pyconf
+++ b/products/cgal.pyconf
@@ -47,3 +47,8 @@ version_v5_6_1:
     compil_script : "cgal-v5.6.1" + $VARS.scriptExtension
     patches : ["cgal-p01.patch"]
 }
+
+version_v5_6_1_win:
+{
+    patches : ["cgal-p01.patch", "cgal-p02.patch"]
+}

diff --git a/products/patches/cgal-p02.patch b/products/patches/cgal-p02.patch
new file mode 100644 (file)
index 0000000..dc6e34b
--- /dev/null
+++ b/products/patches/cgal-p02.patch
@@ -0,0 +1,15 @@
+diff --git a/Installation/cmake/modules/CGAL_SetupCGALDependencies.cmake b/Installation/cmake/modules/CGAL_SetupCGALDependencies.cmake
+index 7329be33116..02a4a57f508 100644
+--- a/Installation/cmake/modules/CGAL_SetupCGALDependencies.cmake
++++ b/Installation/cmake/modules/CGAL_SetupCGALDependencies.cmake
+@@ -29,6 +29,10 @@ if(CGAL_SetupCGALDependencies_included)
+ endif()
+ set(CGAL_SetupCGALDependencies_included TRUE)
+ 
++if (WIN32)
++ set(CGAL_DISABLE_GMP ON)
++endif(WIN32)
++
+ #.rst:
+ # Used Modules
+ # ^^^^^^^^^^^^