bug#46329: closed ([PATCH] Add z3 OCaml bindings)

[GNU bug Tracking System]

Your message dated Thu, 28 Oct 2021 00:27:52 +0200
with message-id <20211028002752.080fbc75@tachikoma.lepiller.eu>
and subject line Re: [bug#46329] [PATCH v2] Add z3 OCaml bindings
has caused the debbugs.gnu.org bug report #46329,
regarding [PATCH] Add z3 OCaml bindings
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
46329: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46329
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Add z3 OCaml bindings Date: Fri, 5 Feb 2021 17:46:41 +0100

Hi Guix!

This patch adds the OCaml bindings for the z3 package. I install it to
a separate output (but this only saves 3MB, maybe not that important).
I'm thinking we could build other bindings too, and it would be nice to
separate them also (after all, we probably don't need all of them at
the same time :)).

One issue is that this package installs the bindings to the Z3 ocaml
package. However, in opam, they override the install directory to be
z3, so we might have issues with dependents. Do you think I should also
override the name of the directory?

0001-gnu-z3-Build-and-install-OCaml-bindings.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [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
>
>
> --- End Message ---