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] 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