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")