gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-24 18:58:08 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/z3: Fix examples install directory.

Browse Source 
Package-Manager: portage-2.3.3
This commit is contained in:
Mark Wright
2017-01-28 21:34:37 +11:00
parent 0d9f029f2f
commit 07ebca957c
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/z3/z3-4.4.1.ebuild
View File

@@ -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

2
sci-mathematics/z3/z3-4.5.0.ebuild
View File

@@ -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