We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7a31fca commit d7f710aCopy full SHA for d7f710a
backends/smt2/CMakeLists.txt
@@ -5,3 +5,6 @@ target_sources(yosys_backends_smt2 INTERFACE
5
)
6
7
target_link_libraries(yosys PRIVATE yosys_backends_smt2)
8
+
9
+add_share_file("share/python3" "smtio.py")
10
+add_share_file("share/python3" "ywio.py")
0 commit comments