diff options
| author | dzwdz | 2022-08-28 23:54:47 +0200 |
|---|---|---|
| committer | dzwdz | 2022-08-28 23:54:47 +0200 |
| commit | edb7fc07bf93e4a1883cccf45ad7a4b2cbf390d9 (patch) | |
| tree | 1df1e95e52d54d538d345cbf455bed096d9a1bb0 /ports | |
| parent | f2eb3a78c7b69c4b8e118d91327cc5c1016481fc (diff) | |
user/lua: prepare libc headers
Diffstat (limited to 'ports')
| -rw-r--r-- | ports/lua | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/ports/lua b/ports/lua new file mode 100644 index 0000000..fc8e8a7 --- /dev/null +++ b/ports/lua @@ -0,0 +1,20 @@ +set -eu +camellia_path_check + +VERSION=lua-5.4.4 + +fetch() { + wget http://www.lua.org/ftp/${VERSION}.tar.gz + tar xf ${VERSION}.tar.gz +} + +prep() { + [ -d ${VERSION} ] || (fetch) + cd ${VERSION} +} + +case $1 in + install) (prep; make generic "CC=cc" "MYCFLAGS=-Werror") ;; + clean) (prep; make clean) ;; + *) echo "usage: $0 install|clean"; false ;; +esac
\ No newline at end of file |