diff options
Diffstat (limited to 'dev-util/weka')
| -rw-r--r-- | dev-util/weka/weka-3.8.0.ebuild | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-util/weka/weka-3.8.0.ebuild b/dev-util/weka/weka-3.8.0.ebuild index 739f112ae718..e88105306ce5 100644 --- a/dev-util/weka/weka-3.8.0.ebuild +++ b/dev-util/weka/weka-3.8.0.ebuild @@ -64,3 +64,12 @@ src_install() { insinto /usr/share/${PN}/data/ doins data/* } + +pkg_postinst() { + elog "If you are upgrading from weka 3.7 to later" + elog "and your package manager does not start please delete" + elog "file installedPackageCache.ser from packages folder" + elog "in wekafiles located in your user home." + elog + elog "rm \${HOME}/wekafiles/packages/installedPackageCache.ser" +} |