CGAL: Upgraded to 4.10

2025-12-08 06:57:43 +00:00 · 2017-07-28 08:25:14 +01:00
parent 0fe4588598
commit 0152de468d
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -352,7 +352,7 @@ echo Build CGAL
 if [ -n "$CGAL_ARCH_PATH" ]
 then
 (
-    if [ -r $CGAL_ARCH_PATH/lib/libCGAL.so ]
+    if [ -r $CGAL_ARCH_PATH/lib$WM_COMPILER_LIB_ARCH/libCGAL.so ]
    then
        echo "    CGAL headers in $CGAL_ARCH_PATH/include"
        echo "    CGAL libs    in $CGAL_ARCH_PATH/lib"