From a7f6efd5ca806e141c760fccb31e3b5a9b0aeeac Mon Sep 17 00:00:00 2001 From: Michał Górny Date: Thu, 13 Dec 2018 21:50:27 +0100 Subject: sci-mathematics/z3: Run tests MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michał Górny --- sci-mathematics/z3/z3-4.8.3.ebuild | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'sci-mathematics') 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 -- cgit v1.2.3-65-gdbad