Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#57101 - [z3] build with cmake support
Attached to Project:
Community Packages
Opened by Kirill Bobyrev (omtcvxyz) - Monday, 15 January 2018, 09:05 GMT
Last edited by Levente Polyak (anthraxx) - Thursday, 10 May 2018, 20:40 GMT
Opened by Kirill Bobyrev (omtcvxyz) - Monday, 15 January 2018, 09:05 GMT
Last edited by Levente Polyak (anthraxx) - Thursday, 10 May 2018, 20:40 GMT
|
DetailsCurrently, the package does not provide CMake files and hence Z3 cannot be imported from any C++ project using CMake as its build system. I would be very happy if I could use CMake bindings of Z3. The build process wouldn't be much harder, the only difference would be that instead of invoking Python build script mk_make.py one would execute CMake generator before running make install.
The following variables have to be set TRUE for Python bindings generation: * BUILD_PYTHON_BINDINGS * INSTALL_PYTHON_BINDINGS Guide for CMake Z3 build: https://github.com/Z3Prover/z3/blob/master/README-CMake.md |
This task depends upon
Closed by Levente Polyak (anthraxx)
Thursday, 10 May 2018, 20:40 GMT
Reason for closing: Implemented
Additional comments about closing: 4.6.0-2
Thursday, 10 May 2018, 20:40 GMT
Reason for closing: Implemented
Additional comments about closing: 4.6.0-2
It even looks like they actually do generate a pkg-config file on Windows, for some Mono thing.