Created attachment 228135 [details] add devel/llvm90 RUN_DEPENDS ikos uses clang/llvm at runtime. And the resulting error message[0] doesn't help much in figuring out which version is wanted. Requesting merge-quarterly as this only fixes package metadata. QA: * portlint: OK (looks fine.) [0]: Traceback (most recent call last): File "/usr/local/bin/ikos", line 65, in <module> ikos.analyzer.main(sys.argv) File "/usr/local/lib/python3.8/site-packages/ikos/analyzer.py", line 980, in main clang(bc_path, input_path, File "/usr/local/lib/python3.8/site-packages/ikos/analyzer.py", line 684, in clang cmd = [settings.clang()] File "/usr/local/lib/python3.8/site-packages/ikos/settings/__init__.py", line 110, in clang assert is_executable(path), 'could not find clang executable' AssertionError: could not find clang executable
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=35e8de555d9359df0261bd49f563c8b6a9baa294 commit 35e8de555d9359df0261bd49f563c8b6a9baa294 Author: nimaje <nimaje+fbz@bureaucracy.de> AuthorDate: 2021-09-26 05:21:02 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2021-09-26 05:45:20 +0000 devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable PR: 258693 devel/ikos/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)
Committed, thanks!