#! /usr/bin/bash

set -euo pipefail
IFS=$'\n\t'

package=fstar
repo=FStarLang/FStar

fstar_resource() {
    version="$(printf '%s' "$1" | cut --delimiter ' ' --field 2)"
    echo "fstar-${version}-Linux-x86_64.tar.gz"
}

INSTALL_DIR="$(systemd-path user-state-private)"/fstar

install_fstar() {
    tempdir="$(mktemp --directory)" && \
        tar xz --directory="${tempdir}" && \
        chmod --recursive o-rwx "${tempdir}" && \
        rm --force --recursive "${INSTALL_DIR}" && \
        mv "${tempdir}"/fstar "$(dirname "${INSTALL_DIR}")" && \
        rm --force --recursive "${tempdir}" && \
        ln --symbolic "${INSTALL_DIR}"/bin/fstar.exe "$(systemd-path user-binaries)"/fstar.exe
}

github_update "${package}" "${repo}" fstar_resource install_fstar