Package Details: ikos 3.2-1

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
Keywords: analyzer c c++ nasa staticanalyzer
Licenses: custom:NOSA 1.3
Submitter: arthaud
Maintainer: None
Last Packager: Mr.Smith1974
Votes: 8
Popularity: 0.000055
First Submitted: 2016-05-27 06:44 (UTC)
Last Updated: 2024-01-21 06:46 (UTC)

Required by (0)

Sources (1)

Latest Comments

Mr.Smith1974 commented on 2023-07-10 17:50 (UTC)

Build fails with error:

make[2]: *** [ar/CMakeFiles/ikos-ar.dir/build.make:188: ar/CMakeFiles/ikos-ar.dir/src/pass/simplify_upcast_comparison.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:1497: ar/CMakeFiles/ikos-ar.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
[ 16%] Linking CXX executable ikos-pp
/usr/bin/ld: cannot find -lLLVMAggressiveInstCombine: No such file or directory
/usr/bin/ld: cannot find -lLLVMAnalysis: No such file or directory
/usr/bin/ld: cannot find -lLLVMAsmParser: No such file or directory
/usr/bin/ld: cannot find -lLLVMBitReader: No such file or directory
/usr/bin/ld: cannot find -lLLVMBitWriter: No such file or directory
/usr/bin/ld: cannot find -lLLVMCodeGen: No such file or directory
/usr/bin/ld: cannot find -lLLVMCore: No such file or directory
/usr/bin/ld: cannot find -lLLVMCoroutines: No such file or directory
/usr/bin/ld: cannot find -lLLVMInstCombine: No such file or directory
/usr/bin/ld: cannot find -lLLVMInstrumentation: No such file or directory
/usr/bin/ld: cannot find -lLLVMipo: No such file or directory
/usr/bin/ld: cannot find -lLLVMIRReader: No such file or directory
/usr/bin/ld: cannot find -lLLVMMC: No such file or directory
/usr/bin/ld: cannot find -lLLVMObjCARCOpts: No such file or directory
/usr/bin/ld: cannot find -lLLVMScalarOpts: No such file or directory
/usr/bin/ld: cannot find -lLLVMTarget: No such file or directory
/usr/bin/ld: cannot find -lLLVMTransformUtils: No such file or directory
/usr/bin/ld: cannot find -lLLVMVectorize: No such file or directory
collect2: error: ld returned 1 exit status
make[2]: *** [frontend/llvm/CMakeFiles/ikos-pp.dir/build.make:105: frontend/llvm/ikos-pp] Error 1
make[1]: *** [CMakeFiles/Makefile2:1627: frontend/llvm/CMakeFiles/ikos-pp.dir/all] Error 2
make: *** [Makefile:146: all] Error 2
==> ERROR: A failure occurred in build().

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.