init

2 files changed, 116 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..0b1ee52c518e
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+pkgbase = uppaal-beta
+	pkgdesc = Verify timed automata models and learn strategies. Beta release channel.
+	pkgver = 5.1.0_beta5
+	pkgrel = 1
+	url = https://uppaal.org/
+	arch = any
+	license = custom
+	makedepends = unzip
+	depends = jre17-openjdk
+	depends = xdg-utils
+	provides = uppaal-beta-
+	noextract = uppaal-5.1.0-beta5-linux64.zip
+	options = debug
+	options = !strip
+	source = https://download.uppaal.org/uppaal-5.1/uppaal-5.1.0/uppaal-5.1.0-beta5-linux64.zip
+	sha512sums = 7699aedaf05829649cbf90ae690e71d4fc0b727a97babcaa2b1b3e29d641d62ae16b91fce33b82a46ee21a0514d824151b5c367b6c31151de27ad5d8e428ec03
+
+pkgname = uppaal-beta
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..a984dbfe5dd0
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,98 @@
+# 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=1
+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")
+# https://download.uppaal.org/uppaal-5.0/uppaal-5.0.0/uppaal-5.0.0-linux64.zip
+# https://download.uppaal.org/uppaal-5.1/uppaal-5.1.0/uppaal-5.1.0-beta5-linux64.zip
+noextract=("${_zipname}")
+sha512sums=('7699aedaf05829649cbf90ae690e71d4fc0b727a97babcaa2b1b3e29d641d62ae16b91fce33b82a46ee21a0514d824151b5c367b6c31151de27ad5d8e428ec03')
+
+build() {
+  # determine x11 or wayland
+  if [ "$XDG_SESSION_TYPE" = "wayland" ]; then
+    # add env vars for wayland fixes
+    prefix="env _JAVA_AWT_WM_NONREPARENTING=1 _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true' "
+  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
+    msg2 "Packaging newest beta release: uppaal-$latest"
+  else
+    warning "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
+
+  # assoc uppaal mime types with launcher
+  xdg-mime default "${launcher_path}" "application/uppaal-xml"
+  xdg-mime default "${launcher_path}" "application/uppaal-xta"
+  xdg-mime default "${launcher_path}" "application/uppaal-ta" 
+
+  # symlink startup script to bin 
+  ln -s "/opt/${pkgname}/uppaal" "${pkgdir}/usr/bin/${pkgname}"
+}