lint/scripts/install-lua.sh
Gustl22 c4c1ebb101
fix: Move commands to correct place (#4579)
* Allow dispatch workflow

* Disable LUA

* Move R installation and cleanup

* Revert "Disable LUA"

This reverts commit d347897d77.

* Move cleaning step
2023-08-25 18:25:04 +00:00

28 lines
783 B
Bash
Executable file

#!/usr/bin/env bash
set -euo pipefail
curl --retry 5 --retry-delay 5 -s https://www.lua.org/ftp/lua-5.3.5.tar.gz | tar -xz
cd lua-5.3.5
make linux
make install
cd .. && rm -r lua-5.3.5/
url=$(curl -s \
-H "Accept: application/vnd.github+json" \
-H "Authorization: Bearer $(cat /run/secrets/GITHUB_TOKEN)" \
https://api.github.com/repos/cvega/luarocks/releases/latest | jq -r '.tarball_url')
curl --retry 5 --retry-delay 5 -sL \
-H "Accept: application/vnd.github+json" \
-H "Authorization: Bearer $(cat /run/secrets/GITHUB_TOKEN)" \
"${url}" | tar -xz
cd cvega-luarocks-6b1aee6
./configure --with-lua-include=/usr/local/include
make
make -b install
cd ..
rm -r cvega-luarocks-6b1aee6
luarocks install luacheck
luarocks install argparse
luarocks install luafilesystem