commit: b4b7bf578d6915570fc39d5ec71d692604af4d1c
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Thu Aug 22 11:01:26 2019 +0000
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Thu Aug 22 11:01:47 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4b7bf57
sci-mathematics/spass: fix missing slashes
Package-Manager: Portage-2.3.72, Repoman-2.3.17
Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org>
sci-mathematics/spass/spass-3.9.ebuild | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/sci-mathematics/spass/spass-3.9.ebuild
b/sci-mathematics/spass/spass-3.9.ebuild
index a32001e22b9..81289762c3d 100644
--- a/sci-mathematics/spass/spass-3.9.ebuild
+++ b/sci-mathematics/spass/spass-3.9.ebuild
@@ -108,7 +108,7 @@ src_install() {
[[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
cat <<- EOF >> "${S}/settings"
- SPASS_HOME="${ROOT}usr/bin"
+ SPASS_HOME="${EROOT}/usr/bin"
SPASS_VERSION="${PV}"
EOF
insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
@@ -118,10 +118,10 @@ src_install() {
pkg_postinst() {
if use isabelle; then
- if [ -f "${ROOT}etc/isabelle/components" ]; then
- if egrep "contrib/${PN}-[0-9.]*"
"${ROOT}etc/isabelle/components"; then
+ if [ -f "${EROOT}/etc/isabelle/components" ]; then
+ if egrep "contrib/${PN}-[0-9.]*"
"${EROOT}/etc/isabelle/components"; then
sed -e "/contrib\/${PN}-[0-9.]*/d" \
- -i "${ROOT}etc/isabelle/components"
+ -i "${EROOT}/etc/isabelle/components"
fi
cat <<- EOF >> "${ROOT}etc/isabelle/components"
contrib/${PN}-${PV}
@@ -132,13 +132,13 @@ pkg_postinst() {
pkg_postrm() {
if use isabelle; then
- if [ ! -f "${ROOT}usr/bin/SPASS" ]; then
- if [ -f "${ROOT}etc/isabelle/components" ]; then
+ if [ ! -f "${EROOT}/usr/bin/SPASS" ]; then
+ if [ -f "${EROOT}/etc/isabelle/components" ]; then
# Note: this sed should only match the version
of this ebuild
# Which is what we want as we do not want to
remove the line
# of a new spass being installed during an
upgrade.
sed -e "/contrib\/${PN}-${PV}/d" \
- -i "${ROOT}etc/isabelle/components"
+ -i "${EROOT}/etc/isabelle/components"
fi
fi
fi
