From 991c695eb49db136ab645618708c1b93ebcbf2eb Mon Sep 17 00:00:00 2001
From: Manuel Wiesinger <m@mmap.at>
Date: Sun, 18 Jan 2026 19:53:43 +0100
Subject: [PATCH] 0.10.1 -> 0.11.0

- 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
---
 .SRCINFO | 21 +++++++++++++--------
 PKGBUILD | 37 ++++++++++++++++++++++++-------------
 2 files changed, 37 insertions(+), 21 deletions(-)

diff --git a/.SRCINFO b/.SRCINFO
index d952294b8df3..e5f8e7d97c9b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,30 +1,35 @@
 pkgbase = binsec
 	pkgdesc = Open-source toolset to help improve software security at the binary level
-	pkgver = 0.10.1
+	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
+	checkdepends = ocaml-qcheck>=0.90
+	checkdepends = ocaml-ppx_inline_test
 	makedepends = dune>=3.0
-	makedepends = ocaml-menhir
+	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
-	depends = ocaml-zarith>=1.4
-	depends = ocaml>=4.11
+	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.10.1.tar.gz::https://github.com/binsec/binsec/archive/refs/tags/0.10.1.tar.gz
-	b2sums = b47bcca6b5677d71a5e8416bc4fecabb2cf74ce0aded2c91d6d511fa1824aaacfa42e888c74cf8919f28f9c74a574d286ed1f423097ef3bd96089ca07868e86d
+	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
diff --git a/PKGBUILD b/PKGBUILD
index 5d875cf7697c..e5426d4de7aa 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Manuel Wiesinger <m {you know what belongs here} mmap {and here} at>
 
 pkgname=binsec
-pkgver=0.10.1
+pkgver=0.11.0
 pkgrel=1
 pkgdesc='Open-source toolset to help improve software security at the binary level'
 arch=('x86_64')
@@ -9,12 +9,13 @@ url='https://binsec.github.io'
 license=('LGPL-2.1-or-later')
 makedepends=(
     'dune>=3.0'
-    'ocaml-menhir'
+    'ocaml-menhir>=20181113'
     'ocaml-unisim_archisec'
 )
 checkdepends=(
     'ocaml-ounit'
-    'ocaml-qcheck'
+    'ocaml-qcheck>=0.90'
+    'ocaml-ppx_inline_test'
 )
 depends=(
     'bitwuzla'
@@ -22,10 +23,12 @@ depends=(
     'gmp'
     'ocaml-curses'
     'ocaml-grain_dypgen'
+    'ocaml-ocamlformat'
     'ocaml-ocamlgraph>=1.8.5'
-    'ocaml-toml'
-    'ocaml-zarith>=1.4'
-    'ocaml>=4.11'
+    'ocaml-toml>=6'
+    'ocaml-unionfind'
+    'ocaml-zarith>=1.13'
+    'ocaml>=4.14'
 )
 optdepends=(
     'bash: make_coredump.sh'
@@ -34,8 +37,17 @@ optdepends=(
     'cvc4: CVC4 SMT solver'
     'yices: Yices 2 SMT Solver'
 )
-source=("$pkgname-$pkgver.tar.gz::https://github.com/binsec/binsec/archive/refs/tags/${pkgver}.tar.gz")
-b2sums=('b47bcca6b5677d71a5e8416bc4fecabb2cf74ce0aded2c91d6d511fa1824aaacfa42e888c74cf8919f28f9c74a574d286ed1f423097ef3bd96089ca07868e86d')
+source=(
+    "$pkgname-$pkgver.tar.gz::https://github.com/binsec/binsec/archive/refs/tags/${pkgver}.tar.gz"
+    "0000-fix-ocaml54-build.patch::https://github.com/binsec/binsec/commit/04eb163540abd8cf48da279e3945d5d7f22151a4.patch"
+)
+b2sums=('c86fe5b772662ce2ed6b891f11b907367f54bb8a7e6fa65ab37e7e30c7ad6831b02b130dd7180c74abd727435daf37f9519cf2bad7f1cb3c03d8f4c4f06b82b0'
+        '9bf6433880473ca9a74914f8720a4b2b14e8a7da563a2a3cd4f225901419ae3ecc49f33647eee7b8eb6694ee920c45e9c627c5917cbae4f7eec10c431329d9e9')
+
+prepare() {
+    cd "${srcdir}/${pkgname}-${pkgver}"
+    patch --forward --strip=1 --input=../0000-fix-ocaml54-build.patch
+}
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"
@@ -45,11 +57,10 @@ build() {
     find _build -type f -exec chmod 644 {} \;
 }
 
-# HOTFIX: Dependencies require dune>=3.19
-# check() {
-#     cd "${srcdir}/${pkgname}-${pkgver}"
-#     dune runtest --release --verbose
-# }
+check() {
+    cd "${srcdir}/${pkgname}-${pkgver}"
+    dune runtest --release --verbose
+}
 
 package() {
     cd "${srcdir}/${pkgname}-${pkgver}"