devel/ikos/files/patch-analyzer_script_ikos.py.in


1
2
3
4
5
6
7
8
9
10
11
12

--- analyzer/script/ikos.py.in.orig	2025-01-09 06:36:15 UTC
+++ analyzer/script/ikos.py.in
@@ -43,6 +43,9 @@ import sys
 import os.path
 import sys
 
+# add local python module to sys.path
+sys.path.append('%%PREFIX%%/share/ikos/python')
+
 if __name__ == '__main__':
     try:
         import ikos.analyzer