PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# Maintainer: Yarema aka Knedlyk <yupadmin@gmail.com>
pkgname=run-reduce-deb
pkgver=3.1
pkgrel=2
pkgdesc="A Java GUI frontend for REDUCE"
arch=('any')
url="https://github.com/fjwright/Run-REDUCE"
license=('GPL3')
makedepends=('java-environment>=16' 'tar')
#conflicts=('')
provides=('run-reduce')
depends=('java-environment>=16')
source=("https://github.com/fjwright/Run-REDUCE/releases/download/v3.1/run-reduce_${pkgver}-1_amd64.deb"
	"run-reduce.desktop")
sha256sums=('a25c70f68b054469bf95aa80537a0b9746a983dc21e1a388ce903169fcb72804'
            '4657b457709b6f9dff282d789e073b44a79a9e04a341e01331d91c11d391ebed')

package() {
    cd "${pkgdir}"
    # this extracts all into the pkgdir
    tar xf "${srcdir}/data.tar.xz"
    mkdir -p "${pkgdir}/usr/bin/"
    ln -s /opt/run-reduce/bin/Run-REDUCE "${pkgdir}/usr/bin/run-reduce"
    mkdir -p ${pkgdir}/usr/share/applications
    install -D -m644 "${srcdir}/run-reduce.desktop" "${pkgdir}/usr/share/applications"
}