In about a week, I will update the z3 package to version 4.13, which
bumps the soname for the z3 library. No packages in Fedora consume
z3-libs, other than some built from the z3 source RPM, so no other
builds are necessary.
--
Jerry James
http://www.jamezone.org/
--
On Mon, Jan 16, 2023 at 3:31 PM Lukas Zaoral wrote:
> Hi,
> there is no need to wait for klee. Unfortunately, the package cannot be
> build
> in Rawhide at the moment since the project cannot be built with LLVM 15 and
> the llvm14 compatibility package cannot be used with clang 15 (and clang14
>
Lukas Zaoral wrote:
> there is no need to wait for klee. Unfortunately, the package cannot be
> build in Rawhide at the moment since the project cannot be built with LLVM
> 15 and the llvm14 compatibility package cannot be used with clang 15 (and
> clang14 is a library only package).
Looks like
Hi,
there is no need to wait for klee. Unfortunately, the package cannot be build
in Rawhide at the moment since the project cannot be built with LLVM 15 and
the llvm14 compatibility package cannot be used with clang 15 (and clang14 is
a library only package).
Unfortunately, I do not have the
Version 4.12.0 of z3 has been released, and bumps the library soname.
In a week, I will build the new version for z3 and will rebuild its
sole consumer, klee, unless the klee maintainers (BCCed) prefer to do
so themselves.
--
Jerry James
http://www.jamezone.org/
Next week, I will update the z3 package to version 4.10.2, which
entails an soname bump. I will rebuild opam, which is the only
package that depends on the library. Packages that use z3 via the
command line should not be affected adversely.
--
Jerry James
http://www.jamezone.org/
Thanks Jerry for providing all the details about the z3 soname bump.
FYI: cppcheck has been rebuilt now [1]
Wolfgang
[1] https://koji.fedoraproject.org/koji/taskinfo?taskID=48648878
___
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe
On Mon, Jul 27, 2020 at 1:29 PM Jeff Law wrote:
> Whatever you committed in the last couple days seems to have fixed the issue.
> I
> just got a clean build of z3 on x86_64.
Hmmm. That's mysterious. All I did was switch us from building with
the old python script method to building with
On Fri, 2020-07-24 at 13:39 -0600, Jerry James wrote:
> On Fri, Jul 24, 2020 at 1:35 PM Jeff Law wrote:
> > Just a note on z3.
> >
> > I've been trying to track down what I think is an uninstantiated template
> > issue
> > that's exposed by LTO. I've been chasing it on/off over the last day or
On Fri, Jul 24, 2020 at 1:35 PM Jeff Law wrote:
> Just a note on z3.
>
> I've been trying to track down what I think is an uninstantiated template
> issue
> that's exposed by LTO. I've been chasing it on/off over the last day or two
> without success. So if you get a build failure that looks
On Fri, 2020-07-24 at 13:15 -0600, Jerry James wrote:
> I will soon push a change to the z3 package, in Rawhide only, which
> will result in an soname bump. The actual contents of libz3 will not
> change, however. The only Fedora consumer outside of the z3 package
> itself is cppcheck, which
I will soon push a change to the z3 package, in Rawhide only, which
will result in an soname bump. The actual contents of libz3 will not
change, however. The only Fedora consumer outside of the z3 package
itself is cppcheck, which currently fails to build due to the recent
cmake change. If the
12 matches
Mail list logo
