Bug 258693 - devel/ikos: Add missing RUN_DEPENDS: devel/llvm90 (for clang)
Summary: devel/ikos: Add missing RUN_DEPENDS: devel/llvm90 (for clang)
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Many People
Assignee: Yuri Victorovich
Keywords: easy, needs-qa
Depends on:
Reported: 2021-09-23 14:11 UTC by Benjamin Takacs
Modified: 2021-09-26 05:48 UTC (History)
2 users (show)

See Also:
koobs: maintainer-feedback? (yuri)
nimaje+fbz: merge-quarterly?

add devel/llvm90 RUN_DEPENDS (707 bytes, patch)
2021-09-23 14:11 UTC, Benjamin Takacs
nimaje+fbz: maintainer-approval? (yuri)
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Benjamin Takacs 2021-09-23 14:11:53 UTC
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.

  * portlint: OK (looks fine.)

Traceback (most recent call last):
  File "/usr/local/bin/ikos", line 65, in <module>
  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
Comment 1 commit-hook freebsd_committer 2021-09-26 05:46:47 UTC
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(-)
Comment 2 Yuri Victorovich freebsd_committer 2021-09-26 05:48:50 UTC
Committed, thanks!