|
id: "setl"
|
|
name: "SETL"
|
|
|
|
install:
|
|
manual: |
|
|
install -d "${pkg}/usr/local/bin"
|
|
|
|
wget https://setl.org/setl/bin/Linux-x86-64bit/setlbin.tgz
|
|
tar -xf setlbin.tgz -C "${pkg}/usr/local/bin"
|
|
|
|
main: "main.setl"
|
|
template: |
|
|
print("Hello, world!");
|
|
|
|
run: |
|
|
setl main.setl
|