26 lines
762 B
Bash
Executable file
26 lines
762 B
Bash
Executable file
#! /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
|