Until the following TODO gets fixed for all checkdepends build with --nocheck or add BUILDENV+=('!check') to PKGBUILD/makepkg.conf
https://archlinux.org/todo/rebuild-packages-against-gcc-131-to-circumvent-issues-with-lto/
Search Criteria
Package Details: binsec 0.9.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/binsec.git (read-only, click to copy) |
|---|---|
| Package Base: | binsec |
| Description: | Open-source toolset to help improve software security at the binary level |
| Upstream URL: | https://binsec.github.io |
| Licenses: | LGPL-2.1-or-later |
| Submitter: | meadow |
| Maintainer: | meadow |
| Last Packager: | meadow |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2024-03-18 16:41 (UTC) |
| Last Updated: | 2024-05-04 22:03 (UTC) |
Dependencies (19)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-eacAUR)
- gmp (gmp-hgAUR)
- ocaml
- ocaml-cursesAUR
- ocaml-grain_dypgenAUR
- ocaml-ocamlgraphAUR (ocaml-ocamlgraph-gitAUR, ocaml-ocamlgraphAUR)
- ocaml-tomlAUR
- ocaml-zarith
- dune (make)
- ocaml (make)
- ocaml-menhirAUR (make)
- ocaml-ounitAUR (check)
- ocaml-qcheckAUR (check)
- bash (bash-devel-static-gitAUR, bash-gitAUR, bash-devel-gitAUR, busybox-coreutilsAUR) (optional) – make_coredump.sh
- bitwuzlaAUR (bitwuzla-gitAUR) (optional) – Bitwuzla SMT solver
- boolectorAUR (boolector-gitAUR) (optional) – Boolector SMT solver
- cvc4 (cvc4-gitAUR) (optional) – CVC4 SMT solver
- yices (optional) – Yices 2 SMT Solver
- z3 (z3-javaAUR, z3-gitAUR) (optional) – Z3 SMT solver
Pinned Comments
meadow commented on 2024-05-04 22:08 (UTC)
Until the following TODO gets fixed for all checkdepends build with
--nocheckor addBUILDENV+=('!check')toPKGBUILD/makepkg.confhttps://archlinux.org/todo/rebuild-packages-against-gcc-131-to-circumvent-issues-with-lto/