From 0584587f9a5eaff3c915969fb00b891982581092 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 16 Jun 2026 10:07:45 +0200
Subject: [PATCH] Make compilation like by abc scripts

---
 cmake/YosysAbc.cmake | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/cmake/YosysAbc.cmake b/cmake/YosysAbc.cmake
index 1c59308d3..6e3736712 100644
--- a/cmake/YosysAbc.cmake
+++ b/cmake/YosysAbc.cmake
@@ -42,7 +42,9 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME)
 	list(TRANSFORM all_sources PREPEND abc/)
 
 	# Required to get `-DABC_NAMESPACE` below to work consistently.
-	set_source_files_properties(${all_sources} PROPERTIES LANGUAGE CXX)
+	if(NOT MSVC)
+		set_source_files_properties(${all_sources} PROPERTIES LANGUAGE CXX)
+	endif()
 
 	set(main_source abc/src/base/main/main.c)
 	list(REMOVE_ITEM all_sources ${main_source})
@@ -55,7 +57,7 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME)
 	target_include_directories(${arg_LIBNAME} PRIVATE abc/src)
 	target_compile_definitions(${arg_LIBNAME} PUBLIC
 		WIN32_NO_DLL
-		ABC_NAMESPACE=abc
+		$<$<NOT:$<CXX_COMPILER_ID:MSVC>>:ABC_NAMESPACE=abc>		
 		ABC_USE_STDINT_H=1
 		ABC_USE_CUDD=1
 		ABC_NO_DYNAMIC_LINKING