#1098281 Missing cmake files

Package:
libz3-dev
Source:
libz3-dev
Description:
theorem prover from Microsoft Research - development files
Submitter:
Yuri D'Elia
Date:
2025-02-18 18:21:02 UTC
Severity:
normal
#1098281#5
Date:
2025-02-18 17:58:48 UTC
From:
To:
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