| 1234567891011121314151617181920212223242526272829303132 |
- #!/usr/bin/python
- # -*- coding: utf-8 -*-
- #
- # Licensed under the GNU General Public License, version 3.
- # See the file https://www.gnu.org/licenses/gpl-3.0.txt
- from pisi.actionsapi import cmaketools, mesontools, pisitools
- j = ''.join([
- ' -DCMAKE_INSTALL_PREFIX=/usr',
- ' -DCMAKE_INSTALL_LIBDIR=lib',
- ' -DPYTHON_EXECUTABLE=/usr/bin/python3',
- ' -DZ3_USE_LIB_GMP=True',
- ' -DZ3_LINK_TIME_OPTIMIZATION=True',
- ' -DZ3_BUILD_LIBZ3_SHARED=True',
- ' -DZ3_BUILD_PYTHON_BINDINGS=True',
- ' -DZ3_INSTALL_PYTHON_BINDINGS=True',
- ' PYTHON=/usr/bin/python3',
- ' -B_build -G Ninja -L '
- ])
- def setup():
- cmaketools.configure(j)
- def build():
- mesontools.build("-C _build")
- def install():
- mesontools.install("-C _build")
- pisitools.dodoc("RELEASE_NOTES.md")
|
