wxMaxima: update to 19.01.0.
This commit is contained in:
parent
a9d0e4fd65
commit
29d2fb2a2c
|
@ -1,6 +1,6 @@
|
|||
# Template file for 'wxMaxima'
|
||||
pkgname=wxMaxima
|
||||
version=18.11.4
|
||||
version=19.01.0
|
||||
revision=1
|
||||
wrksrc="wxmaxima-Version-${version}"
|
||||
build_style=cmake
|
||||
|
@ -12,19 +12,10 @@ maintainer="Martin Riese <grauehaare@gmx.de>"
|
|||
license="GPL-2.0-or-later"
|
||||
homepage="https://wxmaxima-developers.github.io/wxmaxima/"
|
||||
distfiles="https://github.com/wxMaxima-developers/wxmaxima/archive/Version-${version}.tar.gz"
|
||||
checksum=6a2931a14b9491fb0900cf6127943c6f596ed97bb560f1e84c95303909a1fa71
|
||||
checksum=f28dfc9a717e4a91446cddba0e010c4383a3e973a11889948bd65ea311df28fc
|
||||
nocross="clisp is nocross"
|
||||
|
||||
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|' data/wxMaxima.desktop
|
||||
|
||||
# Install desktop file and icon
|
||||
vinstall data/wxMaxima.desktop 644 usr/share/applications
|
||||
vinstall data/wxmaxima.png 644 usr/share/pixmaps
|
||||
|
||||
# remove unpackaged files
|
||||
rm -f ${DESTDIR}/usr/share/wxMaxima/{COPYING,README}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue