blob: d2d0a8aa3277b920ab5370c02b926322047aedea (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
# Developer: Uppaal Team <uppaal@cs.aau.dk>
# Maintainer: Falke Carlsen "falkecarlsen" <falkeboc@cs.aau.dk>
pkgname=uppaal-beta
pkgver=5.1.0_beta5
_pkgver_base=$(echo ${pkgver} | cut -d'_' -f1)
_pkgver_dash=$(echo ${pkgver} | sed 's/_/-/g')
pkgrel=2
pkgdesc="Verify timed automata models and learn strategies. Beta release channel."
arch=('any')
options=(debug !strip)
url="https://uppaal.org/"
license=('custom')
depends=('jre17-openjdk' 'xdg-utils')
makedepends=('unzip')
provides=("${pkgname}-${pkgver_dash}")
_relname="uppaal-${_pkgver_dash}-linux64"
_zipname="${_relname}.zip"
source=("https://download.uppaal.org/uppaal-5.1/uppaal-${_pkgver_base}/uppaal-${_pkgver_dash}-linux64.zip")
noextract=("${_zipname}")
sha512sums=('7699aedaf05829649cbf90ae690e71d4fc0b727a97babcaa2b1b3e29d641d62ae16b91fce33b82a46ee21a0514d824151b5c367b6c31151de27ad5d8e428ec03')
build() {
# determine x11 or wayland (upstreamed, remove once next beta is released)
if [ "$XDG_SESSION_TYPE" = "wayland" ]; then
# add env vars for wayland fixes
prefix="env _JAVA_AWT_WM_NONREPARENTING=1 "
else
prefix=""
fi
cat << EOD > "${pkgname}.desktop"
[Desktop Entry]
Encoding=UTF-8
Version=1.0
Type=Application
GenericName=Model Checker ${_pkgver_dash}
Name=UPPAAL ${_pkgver_dash}
Comment=Verify timed automata models and learn strategies. Beta release channel.
Exec=${prefix}/usr/bin/${pkgname} %u
Icon=${pkgname}-icon
Categories=Application;Science;Math;Education;Development;IDE
Terminal=false
StartupNotify=true
MimeType=application/uppaal-xml;application/uppaal-xta;application/vnd.uppaal-xml;application/vnd.uppaal-xta;application/x-uppaal-xml;application/x-uppaal-xta
EOD
}
package() {
# get newest available stable semver
latest=$(curl -s https://versioncheck.uppaal.org/version-beta.txt | grep -o '"version": "[^"]*' | grep -o '[^"]*$')
# check if latest is newer than $pkgver
if [[ "$(echo -e "$latest\n$_pkgver_dash" | sort -V | tail -n 1)" == "$latest" ]]; then
echo "Packaging newest beta release: uppaal-$latest"
else
echo "Newer beta release available but not yet packaged ($latest > $pkgver). Visit uppaal.org for manual installation instructions if urgent."
fi
install -dm755 "${pkgdir}"/opt/
install -dm755 "${pkgdir}"/usr/bin/
install -dm755 "${pkgdir}"/usr/share/icons/hicolor/
pkgloc="${pkgdir}/opt/${pkgname}"
# unpack and move out of release top-level dir (_relname)
unzip -qd "${pkgdir}/opt/" "${srcdir}/${_zipname}"
mv "${pkgdir}/opt/${_relname}" "${pkgloc}"
# install built desktop entry
launcher_path="${pkgdir}/usr/share/applications/${pkgname}.desktop"
install -Dm644 "${pkgname}.desktop" ${launcher_path}
# install icons
for s in 16 24 32 48 64 96 128 ; do
install -dm755 "${pkgdir}/usr/share/icons/hicolor/"$s"x"$s""
install -Dm644 "${pkgloc}/res/icon-"$s"x"$s".png" "${pkgdir}/usr/share/icons/hicolor/"$s"x"$s"/apps/${pkgname}-icon.png"
done
# install mime type definitions
mimetype_dir="${pkgdir}"/usr/share/mime/packages
install -dm755 $mimetype_dir
for xml_mimetype_file in "${pkgloc}"/res/*-mimetype.xml; do
if [ -f "$xml_mimetype_file" ]; then
install -Dm644 "$xml_mimetype_file" "$mimetype_dir/$(basename "$xml_mimetype_file" | sed "s/uppaal/${pkgname}/")"
fi
done
# symlink startup script to bin
ln -s "/opt/${pkgname}/uppaal" "${pkgdir}/usr/bin/${pkgname}"
}
|