[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: |
Thu, 28 Oct 2021 00:27:52 +0200 |
Le Fri, 8 Oct 2021 13:26:18 +0200,
Julien Lepiller <julien@lepiller.eu> a écrit :
> 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.
After more than two weeks of silence, pushed to master as
a8c69e22ee2f9e7b487ffe0b567297f28863128d