projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b888987) | patch
sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.
authorMark Wright <gienah@gentoo.org>
Sat, 28 Jan 2017 08:48:44 +0000 (19:48 +1100)
committerMark Wright <gienah@gentoo.org>
Sat, 28 Jan 2017 08:49:17 +0000 (19:49 +1100)
commit7cea2dfa7e45f8d6fb0a0fbd5b3ff808ca25a585
treebbad5a6b2d649d86ea216db131cdb9ef4862209atree | snapshot
parentb888987452a8d0e992021b83db7ce26244034e6ecommit | diff
sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.

Create shared library soname symlinks.  Add examples USE flag.  Add || die
on cat of files, except in pkg_postinst() where we want it to ignore any
errors.

Gentoo-Bug: 605892

Package-Manager: portage-2.3.3
sci-mathematics/z3/z3-4.4.1.ebuild diff | blob | history
sci-mathematics/z3/z3-4.5.0.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.