From 54a61650d0f2500c6e4b2e6803d7b6e5fd163bdb Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 8 Jun 2026 17:30:31 +0200
Subject: [PATCH] Install DLL

---
 cmake/YosysAbc.cmake | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cmake/YosysAbc.cmake b/cmake/YosysAbc.cmake
index 3337a13f4..1c59308d3 100644
--- a/cmake/YosysAbc.cmake
+++ b/cmake/YosysAbc.cmake
@@ -91,6 +91,9 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME)
 	set_target_properties(${arg_LIBNAME} PROPERTIES
 		YOSYS_IS_ABC ON
 	)
+	if(MSVC)
+    	install(FILES "${CMAKE_SOURCE_DIR}/abc/lib/x64/pthreadVC2.dll" DESTINATION bin)
+	endif()
 
 	yosys_cxx_executable(${arg_EXENAME}
 		OUTPUT_NAME ${arg_EXENAME}