mirror of
https://git.freebsd.org/ports.git
synced 2025-05-14 08:11:50 -04:00
12 lines
308 B
Python
12 lines
308 B
Python
--- 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
|