From 4763e14852ad7f666d107ecf7b29553fb4a8ed02 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 8 Jun 2026 16:23:18 +0200
Subject: [PATCH 1/3] Update ABC for MSVC compile

---
 abc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/abc b/abc
index 3df13d9aa..1e85fff18 160000
--- a/abc
+++ b/abc
@@ -1 +1 @@
-Subproject commit 3df13d9aad89374854c55a27e8db10141397c973
+Subproject commit 1e85fff18db313b29584dc1ff7c2074d2275a381

From da50b0d2ddac2f5ddb901184a22ac9daefe2a94e Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 8 Jun 2026 16:55:11 +0200
Subject: [PATCH 2/3] Try enablind ABC build for MSVC

---
 .github/workflows/extra-builds.yml | 1 -
 cmake/YosysAbc.cmake               | 9 +++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/extra-builds.yml b/.github/workflows/extra-builds.yml
index cdf0c7fd5..260f676d5 100644
--- a/.github/workflows/extra-builds.yml
+++ b/.github/workflows/extra-builds.yml
@@ -59,7 +59,6 @@ jobs:
           cmake -S . -B build
           -A x64
           -DCMAKE_BUILD_TYPE=Release
-          -DYOSYS_WITHOUT_ABC=ON
 
       - name: Build
         run: >
diff --git a/cmake/YosysAbc.cmake b/cmake/YosysAbc.cmake
index 3b2267504..3337a13f4 100644
--- a/cmake/YosysAbc.cmake
+++ b/cmake/YosysAbc.cmake
@@ -61,8 +61,16 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME)
 		ABC_NO_DYNAMIC_LINKING
 		$<${YOSYS_ENABLE_THREADS}:ABC_USE_PTHREADS>
 		$<${YOSYS_ENABLE_READLINE}:ABC_USE_READLINE>
+		$<$<CXX_COMPILER_ID:MSVC>:ABC_USE_PTHREADS>
+		$<$<CXX_COMPILER_ID:MSVC>:_WINSOCKAPI_>
+		$<$<CXX_COMPILER_ID:MSVC>:HAVE_STRUCT_TIMESPEC>
 		ABC_NO_RLIMIT
 	)
+	target_compile_options(${arg_LIBNAME} PRIVATE 
+		$<$<CXX_COMPILER_ID:MSVC>:/wd4576>
+		$<$<CXX_COMPILER_ID:MSVC>:/Zc:strictStrings->
+	)
+	
 	target_safe_compile_options(${arg_LIBNAME} PRIVATE
 		-fpermissive
 		-fno-exceptions
@@ -78,6 +86,7 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME)
 		$<${YOSYS_ENABLE_THREADS}:Threads::Threads>
 		$<${YOSYS_ENABLE_READLINE}:PkgConfig::readline>
 		$<$<BOOL:${WIN32}>:-lshlwapi>
+		$<$<CXX_COMPILER_ID:MSVC>:${CMAKE_SOURCE_DIR}/abc/lib/x64/pthreadVC2.lib>
 	)
 	set_target_properties(${arg_LIBNAME} PROPERTIES
 		YOSYS_IS_ABC ON

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 3/3] 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}