Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: ikos 3.0-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/ikos.git (read-only, click to copy)
Package Base:	ikos
Description:	Static analyzer for C and C++ developed by NASA
Upstream URL:	https://github.com/nasa-sw-vnv/ikos
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)

Dependencies (12)

apron (apron, apron-svn, apron-git)
boost-libs (boost171, boost-libs-git)
clang (clang8, llvm-minimal-git, llvm-git, clang-git)
gmp (gmp-hg)
intel-tbb (tbb)
llvm (llvm8, llvm-minimal-git, llvm-git)
llvm-libs (llvm-libs-minimal-git, llvm-libs-git)
python (python38, python37, nogil-python, python39, python36, python32, python311)
python-pygments
sqlite (sqlite-replication, sqlite-minimal-git, sqlite-fts3-parenthesis, sqlite-fossil)
boost (boost-git) (make)
cmake (cmake-git) (make)

Required by (0)

Sources (1)

https://github.com/nasa-sw-vnv/ikos/releases/download/v3.0/ikos-3.0.tar.gz

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

/usr/include/tbb/tbb_stddef.h
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.