diff options
author | Mark Wright <gienah@gentoo.org> | 2017-01-28 21:34:37 +1100 |
---|---|---|
committer | Mark Wright <gienah@gentoo.org> | 2017-01-28 21:34:37 +1100 |
commit | 07ebca957c5d2f5816e382aba63f05951ddd6b03 (patch) | |
tree | 8250d65bb174b4cf70b8faeaf38089cd8337d940 /sci-mathematics | |
parent | dev-libs/libclc: Newest snapshot requires LLVM 4.0 (diff) | |
download | gentoo-07ebca957c5d2f5816e382aba63f05951ddd6b03.tar.gz gentoo-07ebca957c5d2f5816e382aba63f05951ddd6b03.tar.bz2 gentoo-07ebca957c5d2f5816e382aba63f05951ddd6b03.zip |
sci-mathematics/z3: Fix examples install directory.
Package-Manager: portage-2.3.3
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/z3/z3-4.4.1.ebuild | 2 | ||||
-rw-r--r-- | sci-mathematics/z3/z3-4.5.0.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/z3/z3-4.4.1.ebuild b/sci-mathematics/z3/z3-4.4.1.ebuild index b5e329e1a49e..34d920a650d5 100644 --- a/sci-mathematics/z3/z3-4.4.1.ebuild +++ b/sci-mathematics/z3/z3-4.4.1.ebuild @@ -113,7 +113,7 @@ src_install() { dobin build/z3 if use examples; then - insinto /usr/share/${PN}/examples + insinto /usr/share/${PN} doins -r examples fi diff --git a/sci-mathematics/z3/z3-4.5.0.ebuild b/sci-mathematics/z3/z3-4.5.0.ebuild index fce9a7270f89..30eea151404e 100644 --- a/sci-mathematics/z3/z3-4.5.0.ebuild +++ b/sci-mathematics/z3/z3-4.5.0.ebuild @@ -115,7 +115,7 @@ src_install() { || die "Could not create libz3.so soname symlink" if use examples; then - insinto /usr/share/${PN}/examples + insinto /usr/share/${PN} doins -r examples fi |