Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.bugs.dist > #1233900

Bug#1098281: Missing cmake files

Show all headers | View raw

Package: libz3-dev
Version: 4.13.3-1
Severity: normal

The current package doesn't ship the z3 cmake modules, which are
required when building cmake projects that depend on z3.

When building 4.13.4 from source it correctly installs
$prefix/lib/cmake/z3/Z3Config.cmake and related files.

Thanks

-- System Information:
Debian Release: trixie/sid
  APT prefers unstable
  APT policy: (900, 'unstable'), (800, 'experimental'), (500, 'unstable-debug')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 6.12.13-amd64 (SMP w/16 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=en_DK.UTF-8, LC_CTYPE=en_DK.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages libz3-dev:amd64 depends on:
ii  libz3-4  4.13.3-1

libz3-dev:amd64 recommends no packages.

libz3-dev:amd64 suggests no packages.

Back to linux.debian.bugs.dist | Previous | Next | Find similar | Unroll thread

Thread

Bug#1098281: Missing cmake files Yuri D'Elia <wavexx@thregr.org> - 2025-02-18 19:30 +0100

csiph-web