Search Criteria
Package Details: ikos-git 3.0.r409.72c70c7-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 |
| Licenses: | |
| Provides: | |
| Submitter: | arthaud |
| Maintainer: | arthaud |
| Last Packager: | arthaud |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-06-12 17:21 |
| Last Updated: | 2019-12-17 02:17 |
Dependencies (12)
- apron (apron-svn, apron-git)
- boost-libs (boost171, boost-libs-git)
- clang (clang-pypy-stm, clang39, clang38, clang8, clang-rc, llvm-git, llvm-minimal-git)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- intel-tbb (intel-tbb-gcc6, tbb)
- llvm (llvm-pypy-stm, llvm39, llvm38, llvm11, llvm11-libs, llvm11-ocaml, llvm8, llvm-rc, llvm-minimal-git)
- llvm-libs (llvm-libs-pypy-stm, llvm39-libs, llvm-libs38, llvm11, llvm11-libs, llvm11-ocaml, llvm-libs-rc, llvm-libs-git, llvm-libs-minimal-git)
- python (python-dbg)
- python-pygments
- sqlite (sqlite-replication, sqlite-minimal-git, sqlite-fts3-parenthesis, sqlite-fossil)
- boost (boost-git) (make)
- cmake (cmake-git) (make)
Latest Comments
fenuks commented on 2021-01-23 00:55
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?