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