mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-09 15:13:31 -04:00
dev-lang/clipsjni: fix desktop entries
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@riseup.net>
This commit is contained in:
@@ -52,18 +52,21 @@ src_compile() {
|
||||
}
|
||||
|
||||
src_install() {
|
||||
java-pkg_doso library-src/libCLIPSJNI.so
|
||||
java-pkg_doso ./library-src/libCLIPSJNI.so
|
||||
java-pkg_dojar CLIPSIDE.jar CLIPSJNI.jar
|
||||
|
||||
doicon ./java-src/net/sf/clipsrules/jni/examples/ide/resources/CLIPS.png
|
||||
|
||||
local e
|
||||
for e in clipside clipsjni ; do
|
||||
java-pkg_dolauncher ${e} --jar ${e^^}.jar
|
||||
make_desktop_entry \
|
||||
${e} ${e^^} CLIPS "Development;ComputerScience;" "Terminal=true"
|
||||
done
|
||||
|
||||
doicon ./java-src/net/sf/clipsrules/jni/examples/ide/resources/CLIPS.png
|
||||
|
||||
make_desktop_entry \
|
||||
clipside CLIPSIDE CLIPS "Development;IDE"
|
||||
make_desktop_entry \
|
||||
clipsjni CLIPSJNI CLIPS "Development;ConsoleOnly;" "Terminal=true"
|
||||
|
||||
if use examples ; then
|
||||
insinto /usr/share/clipsjni/examples
|
||||
doins ./*Demo.jar
|
||||
|
||||
Reference in New Issue
Block a user