cppcheck: version bump, add z3.

2020-10-09 03:43:53 +03:00
parent 49ca3bba62
commit 226159bd5b
7 changed files with 275 additions and 22 deletions
@@ -0,0 +1,36 @@
+#!/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")
+
@@ -0,0 +1,74 @@
+<?xml version="1.0" ?>
+<!DOCTYPE PISI SYSTEM "https://pisilinux.org/projeler/pisi/pisi-spec.dtd">
+<PISI>
+	<Source>
+		<Name>z3</Name>
+		<Homepage>https://github.com/Z3Prover/z3</Homepage>
+		<Packager>
+			<Name>fury</Name>
+			<Email>wascheme@tuta.io</Email>
+		</Packager>
+		<License>MIT</License>
+		<IsA>library</IsA>
+		<PartOf>programming.library</PartOf>
+		<Summary>The Z3 Theorem Prover.</Summary>
+		<Description>Z3 is a theorem prover from Microsoft Research.</Description>
+		<Archive sha1sum="6586ddd6388ddaa73a387b9d13f299169c11674e" type="targz">
+			https://github.com/Z3Prover/z3/archive/z3-4.8.9.tar.gz
+		</Archive>
+		<BuildDependencies>
+			<Dependency>cmake</Dependency>
+			<Dependency>ninja</Dependency>
+			<Dependency>python3</Dependency>
+			<Dependency>gmp-devel</Dependency>
+			<Dependency>python3-setuptools</Dependency>
+		</BuildDependencies>
+	</Source>
+
+	<Package>
+		<Name>z3</Name>
+		<RuntimeDependencies>
+			<Dependency>gmp</Dependency>
+			<Dependency>libgcc</Dependency>
+			<Dependency>python3</Dependency>
+		</RuntimeDependencies>
+		<Files>
+			<Path fileType="executable">/usr/bin</Path>
+			<Path fileType="library">/usr/lib</Path>
+			<Path fileType="doc">/usr/share/doc</Path>
+		</Files>
+	</Package>
+
+	<Package>
+		<Name>python3-z3</Name>
+		<PartOf>programming.language.python3</PartOf>
+		<RuntimeDependencies>
+			<Dependency release="current">z3</Dependency>
+			<Dependency>python3</Dependency>
+		</RuntimeDependencies>
+		<Files>
+			<Path fileType="library">/usr/lib/python*</Path>
+		</Files>
+	</Package>
+
+	<Package>
+		<Name>z3-devel</Name>
+		<RuntimeDependencies>
+			<Dependency release="current">z3</Dependency>
+		</RuntimeDependencies>
+		<Files>
+			<Path fileType="header">/usr/include</Path>
+		</Files>
+	</Package>
+
+	<History>
+		<Update release="1">
+			<Date>2020-10-08</Date>
+			<Version>4.8.9</Version>
+			<Comment>First build.</Comment>
+			<Name>fury</Name>
+			<Email>wascheme@tuta.io</Email>
+		</Update>
+	</History>
+</PISI>
+