From: Michał Górny <mgorny@gentoo.org>
Date: Thu, 13 Dec 2018 20:50:27 +0000 (+0100)
Subject: sci-mathematics/z3: Run tests
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=a7f6efd5ca806e141c760fccb31e3b5a9b0aeeac;p=gentoo.git

sci-mathematics/z3: Run tests

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

diff --git a/sci-mathematics/z3/z3-4.8.3.ebuild b/sci-mathematics/z3/z3-4.8.3.ebuild
index ea65ed84b8ac..7c82aaa652f3 100644
--- a/sci-mathematics/z3/z3-4.8.3.ebuild
+++ b/sci-mathematics/z3/z3-4.8.3.ebuild
@@ -53,6 +53,13 @@ src_configure() {
 	cmake-utils_src_configure
 }
 
+src_test() {
+	cmake-utils_src_make test-z3
+	set -- "${BUILD_DIR}"/test-z3 /a
+	echo "${@}" >&2
+	"${@}" || die
+}
+
 src_install() {
 	local DOCS=( "README.md" "RELEASE_NOTES" )
 	cmake-utils_src_install