From 1d2b1dcbc82e55acfe30d71b768e297b4ca88099 Mon Sep 17 00:00:00 2001
From: Andrej730 <azhilenkov@gmail.com>
Date: Tue, 19 Aug 2025 13:18:27 +0500
Subject: [PATCH] build-deps - avoid redownloading Eigen

---
 win/build-deps.cmd | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/win/build-deps.cmd b/win/build-deps.cmd
index 5152a2c5a3..888a94533e 100644
--- a/win/build-deps.cmd
+++ b/win/build-deps.cmd
@@ -581,6 +581,11 @@ IF NOT %ERRORLEVEL%==0 GOTO :Error
 :Eigen
 set DEPENDENCY_NAME=Eigen
 set DEPENDENCY_DIR=%INSTALL_DIR%\%DEPENDENCY_NAME%
+
+IF EXIST "%INSTALL_DIR%\%DEPENDENCY_NAME%" (
+    echo Found existing "%INSTALL_DIR%\%DEPENDENCY_NAME%", skipping
+    goto :Successful
+)
 call :GitCloneAndCheckoutRevision https://gitlab.com/libeigen/eigen.git "%DEPENDENCY_DIR%" 3.3.9
 
 :: :tbb