From d7f710abe030096e33a7efe24ee8e5d200ae16ef Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Thu, 13 Feb 2025 16:21:17 +0100 Subject: [PATCH] CMake: added python3 shared files --- backends/smt2/CMakeLists.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/backends/smt2/CMakeLists.txt b/backends/smt2/CMakeLists.txt index a035b12c4..061479290 100644 --- a/backends/smt2/CMakeLists.txt +++ b/backends/smt2/CMakeLists.txt @@ -5,3 +5,6 @@ target_sources(yosys_backends_smt2 INTERFACE ) target_link_libraries(yosys PRIVATE yosys_backends_smt2) + +add_share_file("share/python3" "smtio.py") +add_share_file("share/python3" "ywio.py")