mirror of
https://github.com/archlinux/aur.git
synced 2026-01-27 20:28:31 +01:00
991c695eb4
- use check() again, after hot fix - Updated decencies - Fixed build with OCaml 5.4 https://github.com/binsec/binsec/pull/59 - Tested in clean chroot
35 lines
1.4 KiB
Text
35 lines
1.4 KiB
Text
pkgbase = binsec
|
|
pkgdesc = Open-source toolset to help improve software security at the binary level
|
|
pkgver = 0.11.0
|
|
pkgrel = 1
|
|
url = https://binsec.github.io
|
|
arch = x86_64
|
|
license = LGPL-2.1-or-later
|
|
checkdepends = ocaml-ounit
|
|
checkdepends = ocaml-qcheck>=0.90
|
|
checkdepends = ocaml-ppx_inline_test
|
|
makedepends = dune>=3.0
|
|
makedepends = ocaml-menhir>=20181113
|
|
makedepends = ocaml-unisim_archisec
|
|
depends = bitwuzla
|
|
depends = glibc
|
|
depends = gmp
|
|
depends = ocaml-curses
|
|
depends = ocaml-grain_dypgen
|
|
depends = ocaml-ocamlformat
|
|
depends = ocaml-ocamlgraph>=1.8.5
|
|
depends = ocaml-toml>=6
|
|
depends = ocaml-unionfind
|
|
depends = ocaml-zarith>=1.13
|
|
depends = ocaml>=4.14
|
|
optdepends = bash: make_coredump.sh
|
|
optdepends = boolector: Boolector SMT solver
|
|
optdepends = z3: Z3 SMT solver
|
|
optdepends = cvc4: CVC4 SMT solver
|
|
optdepends = yices: Yices 2 SMT Solver
|
|
source = binsec-0.11.0.tar.gz::https://github.com/binsec/binsec/archive/refs/tags/0.11.0.tar.gz
|
|
source = 0000-fix-ocaml54-build.patch::https://github.com/binsec/binsec/commit/04eb163540abd8cf48da279e3945d5d7f22151a4.patch
|
|
b2sums = c86fe5b772662ce2ed6b891f11b907367f54bb8a7e6fa65ab37e7e30c7ad6831b02b130dd7180c74abd727435daf37f9519cf2bad7f1cb3c03d8f4c4f06b82b0
|
|
b2sums = 9bf6433880473ca9a74914f8720a4b2b14e8a7da563a2a3cd4f225901419ae3ecc49f33647eee7b8eb6694ee920c45e9c627c5917cbae4f7eec10c431329d9e9
|
|
|
|
pkgname = binsec
|