From 817839ba24190a8f4416b7cf52445ee5ed6a43df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Recoules?= <frederic.recoules@cea.fr>
Date: Mon, 4 Nov 2024 19:21:28 +0100
Subject: [PATCH] [new release] bitwuzla-cxx (0.6.0)

CHANGES:

Update [Bitwuzla](https://github.com/bitwuzla/bitwuzla/releases/tag/0.6.0) sources.

Fix a segmentation fault that occurs during the garbage collection of node managers.

Vendor submodules:
- [Bitwuzla](https://github.com/bitwuzla/bitwuzla) tag:0.6.0
---
 packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam | 50 +++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam

diff --git a/packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam b/packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam
new file mode 100644
index 00000000000..26ee4ce416f
--- /dev/null
+++ b/packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam
@@ -0,0 +1,50 @@
+opam-version: "2.0"
+synopsis: "SMT solver for AUFBVFP (C++ API)"
+description: """
+
+OCaml binding for the SMT solver Bitwuzla C++ API.
+
+Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”."""
+maintainer: ["Frédéric Recoules <frederic.recoules@cea.fr>"]
+authors: ["Frédéric Recoules"]
+license: "MIT"
+tags: ["SMT solver" "AUFBVFP"]
+homepage: "https://bitwuzla.github.io"
+doc: "https://bitwuzla.github.io/docs/ocaml/"
+bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"
+depends: [
+  "dune" {>= "3.7"}
+  "ocaml" {>= "4.12"}
+  "conf-git" {build}
+  "conf-gcc" {build}
+  "conf-g++" {build}
+  "zarith"
+  "ppx_inline_test" {with-test & >= "v0.13"}
+  "ppx_expect" {with-test & >= "v0.13"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"
+available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew" ]
+url {
+  src:
+    "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.6.0/bitwuzla-cxx-0.6.0.tbz"
+  checksum: [
+    "sha256=c54cc9f6a597dccb64ff51b6de0170d472a9a355791048f6afc4edbf1a155138"
+    "sha512=74f2daac557c788ea517eb9431329917a0a23bb75b19e661c6cebb34bfcc30982457ce9c749d6995013a970198890b0e2463134ae2e6b5aa4592c79d85ab39e2"
+  ]
+}
+x-commit-hash: "7e027f4ada75fbf60eb90148c3dbf779236cc68d"
\ No newline at end of file