Package Details: ikos 3.0-1

Git Clone URL: (read-only, click to copy)
Package Base: ikos
Description: Static analyzer for C and C++ developed by NASA
Upstream URL:
Licenses: custom:NOSA 1.3
Submitter: arthaud
Maintainer: arthaud
Last Packager: arthaud
Votes: 6
Popularity: 0.000000
First Submitted: 2016-05-27 06:44 (UTC)
Last Updated: 2019-12-17 02:10 (UTC)

Latest Comments

andreip commented on 2022-04-21 07:19 (UTC)

With extra/tbb installed:

CMake Error at cmake/FindTBB.cmake:186 (file):
file failed to open for reading (No such file or directory):

Call Stack (most recent call first):
core/CMakeLists.txt:94 (find_package)

CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:230 (message):
Could NOT find TBB.  Please provide -DTBB_ROOT=/path/to/tbb: Found
unsuitable version "", but required is at least "2" (found /usr/include, )
Call Stack (most recent call first):
/usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:592 (_FPHSA_FAILURE_MESSAGE)
cmake/FindTBB.cmake:264 (find_package_handle_standard_args)
core/CMakeLists.txt:94 (find_package)

GuardedAirplane commented on 2021-06-03 23:57 (UTC) (edited on 2021-06-04 00:06 (UTC) by GuardedAirplane)

Package will not build as configured as CMake requests llvm-9 be installed. The current llvm package in the dependency list will install llvm-11 at the time of writing this comment.

EDIT: llvm9 exists in the AUR, so switching to that should allow it to build.