CGAL_VERSION 4.14.3

This commit is contained in:
Thomas Krijnen
2020-07-29 12:04:43 +02:00
committed by GitHub
parent 9ba2266d0c
commit d4a5b33b8f
+1 -1
View File
@@ -440,7 +440,7 @@ IF NOT %ERRORLEVEL%==0 GOTO :Error
:cgal
set DEPENDENCY_NAME=cgal
set DEPENDENCY_DIR=%DEPS_DIR%\cgal
call :GitCloneAndCheckoutRevision https://github.com/CGAL/cgal.git "%DEPENDENCY_DIR%" releases/CGAL-4.13.1
call :GitCloneAndCheckoutRevision https://github.com/CGAL/cgal.git "%DEPENDENCY_DIR%" releases/CGAL-4.13.3
IF NOT %ERRORLEVEL%==0 GOTO :Error
cd "%DEPENDENCY_DIR%"
git reset --hard