Search Criteria
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)
Latest Comments
andreip commented on 2022-04-21 07:19 (UTC)
With extra/tbb installed:
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.