blob: 0745d41049e7156cf087e28622cf2df4c57fee6c (
plain) (
blame)
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
|
