summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 4d1447680f753971043cbb0097133eef3c27fdd0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
# Maintainer:  Dimitris Kiziridis <ragouel at outlook dot com>

pkgname=tuprolog
pkgver=4.0.3
pkgrel=1
pkgdesc='A light-weight Prolog system for distributed applications and infrastructures'
arch=('any')
url='http://apice.unibo.it/xwiki/bin/view/Tuprolog'
license=('LGPL')
depends=('java-runtime' 'bash')
makedepends=('gendesk')
source=("${pkgname}-${pkgver}.jar::https://gitlab.com/pika-lab/tuprolog/2p/wikis/uploads/87b96d15ce4a1c42ac9825883fd3cfdd/2p-${pkgver}.jar")
noextract=("${pkgname}-${pkgver}.tar.gz")
sha256sums=('c7694d724f70c06544e4c360cc4bdacad0717974b8f721ae0e2c2cddcc477f2c')

package() {
  echo "#!/bin/sh
exec /usr/bin/java -jar '/usr/share/java/tuprolog/2p.jar' \"\$@\"" > "2p"
  gendesk -f -n --pkgname "${pkgname}" --pkgdesc "${pkgdesc}" --exec=2p \
   --categories=Education\;Science\;Java --icon "${_pkgname}"
  install -Dm755 ${pkgname}-${pkgver}.jar "${pkgdir}/usr/share/java/tuprolog/2p.jar"
  install -Dm755 2p "$pkgdir/usr/bin/2p"
  install -Dm644 tuprolog.desktop "$pkgdir/usr/share/applications/2p.desktop"
}