4fury-c3440d8
37 lines
996 B
Python
37 lines
996 B
Python
#!/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 shelltools
|
|
from pisi.actionsapi import cmaketools
|
|
from pisi.actionsapi import pisitools
|
|
from pisi.actionsapi import get
|
|
|
|
j = "-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 \
|
|
"
|
|
|
|
shelltools.export("PYTHON", "/usr/bin/python3")
|
|
|
|
def setup():
|
|
shelltools.makedirs("build")
|
|
shelltools.cd("build")
|
|
cmaketools.configure("%s -G 'Ninja'" % j, sourceDir = '..')
|
|
|
|
def build():
|
|
shelltools.system("ninja -C build")
|
|
|
|
def install():
|
|
shelltools.system("DESTDIR=%s ninja -C build install" % get.installDIR())
|
|
|
|
pisitools.dodoc("LICENSE.txt", "README*", "RELEASE_NOTES")
|
|
|