Merge pull request #1307 from hanspolo/wxMaxima
wxMaxima: updated to 15.04.0
This commit is contained in:
commit
e50ded485d
1 changed files with 4 additions and 4 deletions
|
@ -1,6 +1,6 @@
|
|||
# Template file for 'wxMaxima'
|
||||
pkgname=wxMaxima
|
||||
version=14.12.1
|
||||
version=15.04.0
|
||||
revision=1
|
||||
wrksrc="wxmaxima-${version}"
|
||||
build_style=gnu-configure
|
||||
|
@ -12,16 +12,16 @@ maintainer="Martin Riese <grauehaare@gmx.de>"
|
|||
homepage="http://andrejv.github.io/wxmaxima/"
|
||||
license="GPL-2"
|
||||
distfiles="${SOURCEFORGE_SITE}/wxmaxima/wxmaxima-${version}.tar.gz"
|
||||
checksum=5fa01ecab2ee5a0fab9f2dad68fd78f9454da11fffe3815b17b7f0e201dc5d6a
|
||||
checksum=c178067a2f75d91dd378f88b4d0f87af6b2705ca32bea509d63e7347b2a1d21e
|
||||
|
||||
post_install() {
|
||||
# Fix .desktop file
|
||||
sed -i \
|
||||
-e 's/Utility;X-Red-Hat-Base;X-Red-Hat-Base-Only;/Science;Math;/' \
|
||||
-e 's|^Icon=wxmaxima.png|Icon=wxmaxima|' wxmaxima.desktop
|
||||
-e 's|^Icon=wxmaxima.png|Icon=wxmaxima|' data/wxMaxima.desktop
|
||||
|
||||
# Install desktop file and icon
|
||||
vinstall wxmaxima.desktop 644 usr/share/applications
|
||||
vinstall data/wxMaxima.desktop 644 usr/share/applications
|
||||
vinstall data/wxmaxima.png 644 usr/share/pixmaps
|
||||
|
||||
# remove unpackaged files
|
||||
|
|
Loading…
Reference in a new issue