From b8546200a484e7654114907e29dd47a80369969d Mon Sep 17 00:00:00 2001
From: Ohad Livne <libohad-dev@proton.me>
Date: Tue, 10 Feb 2026 18:55:07 +0200
Subject: [PATCH] Install TLAPS for stronger verification of TLA+ models

---
 .local/share/github-versions/tlapm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 .local/share/github-versions/tlapm

diff --git a/.local/share/github-versions/tlapm b/.local/share/github-versions/tlapm
new file mode 100755
index 0000000..2da3899
--- /dev/null
+++ b/.local/share/github-versions/tlapm
@@ -0,0 +1,25 @@
+#! /usr/bin/bash
+
+set -euo pipefail
+IFS=$'\n\t'
+
+package=tlapm
+repo=tlaplus/tlapm
+
+tlapm_resource() {
+    echo "tlapm-$1-x86_64-linux-gnu.tar.gz"
+}
+
+INSTALL_DIR="$(systemd-path user-state-private)"/tlapm
+
+install_tlapm() {
+    tempdir="$(mktemp --directory)" && \
+        tar xz --directory="${tempdir}" && \
+        chmod --recursive o-rwx "${tempdir}" && \
+        rm --force --recursive "${INSTALL_DIR}" && \
+        mv "${tempdir}"/tlapm "$(dirname "${INSTALL_DIR}")" && \
+        rm --force --recursive "${tempdir}" && \
+        ln --symbolic "${INSTALL_DIR}"/bin/tlapm "$(systemd-path user-binaries)"/tlapm
+}
+
+github_update "${package}" "${repo}" tlapm_resource install_tlapm 1.6.0-pre