[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#46329] [PATCH v2] Add z3 OCaml bindings
|
From: |
Julien Lepiller |
|
Subject: |
[bug#46329] [PATCH v2] Add z3 OCaml bindings |
|
Date: |
Fri, 8 Oct 2021 13:26:18 +0200 |
Hi!
I finally managed to build a separate package out of z3. It wasn't
easy, because the build system wants to rebuild a z3 and doesn't let
you install only the bindings. I managed to make it do just that: build
the bindings and install them, and link to the existing z3 package.
0001-gnu-Add-ocaml-z3.patch
Description: Text Data
- [bug#46329] [PATCH v2] Add z3 OCaml bindings,
Julien Lepiller <=