Package Details: ikos-git 3.2.r481.1185cc8-1

Git Clone URL: https://aur.archlinux.org/ikos-git.git (read-only, click to copy)
Package Base: ikos-git
Description: Static analyzer for C and C++ developed by NASA
Upstream URL: https://github.com/nasa-sw-vnv/ikos
Keywords: analyzer c c++ nasa static
Licenses: custom:NOSA 1.3
Provides: ikos
Submitter: arthaud
Maintainer: None
Last Packager: Mr.Smith1974
Votes: 2
Popularity: 0.000024
First Submitted: 2019-06-12 17:21 (UTC)
Last Updated: 2024-01-21 06:48 (UTC)

Required by (0)

Sources (1)

Latest Comments

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

Build fails with error:

[ 17%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/semantic/context_impl.cpp.o
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[2]: *** Waiting for unfinished jobs....
[ 19%] 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[1]: *** Waiting for unfinished jobs....
make[1]: *** [CMakeFiles/Makefile2:1497: ar/CMakeFiles/ikos-ar.dir/all] Error 2

fenuks commented on 2021-01-23 00:55 (UTC)

It doesn't compile, since ikos in at the moment only compatible with LLVM=9. PKGBUILD should reflect that, could you pin dependency to right version?