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
Task Type Feature Request
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Levente Polyak (anthraxx)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Currently, 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
Comment by Eli Schwartz (eschwartz) - Monday, 15 January 2018, 14:38 GMT
  • Field changed: Summary ([z3] PLEASE ENTER SUMMARY → [z3] build with cmake support)
  • Field changed: Status (Unconfirmed → Assigned)
  • Task assigned to Felix Yan (felixonmars)
Would also be nice if they provided pkg-config files, as pkg-config is far more usable than CMake files (since any build system, including CMake, can use them).

It even looks like they actually do generate a pkg-config file on Windows, for some Mono thing.

Loading...