tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 zarith,
6}:
7
8let
9 version = "0.8.2";
10in
11
12buildDunePackage {
13 pname = "bitwuzla-cxx";
14 inherit version;
15
16 minimalOCamlVersion = "4.12";
17
18 src = fetchurl {
19 url = "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/${version}/bitwuzla-cxx-${version}.tbz";
20 hash = "sha256-cfYQBY/Nwf9XyK5clRPxf6ejqNRn/GugVFMKBm3BEME=";
21 };
22
23 propagatedBuildInputs = [ zarith ];
24
25 meta = {
26 description = "OCaml binding for the SMT solver Bitwuzla C++ API";
27 homepage = "https://bitwuzla.github.io/";
28 changelog = "https://raw.githubusercontent.com/bitwuzla/ocaml-bitwuzla/refs/tags/${version}/CHANGES.md";
29 license = lib.licenses.mit;
30 maintainers = [ lib.maintainers.vbgl ];
31 };
32}