diff --git a/backend/src/langs.ts b/backend/src/langs.ts index 919b4c9..e70451e 100644 --- a/backend/src/langs.ts +++ b/backend/src/langs.ts @@ -1541,6 +1541,13 @@ binding_irb.run(IRB.conf) main: "main.sed", run: "echo 'Reading from stdin...' >&2; sed -f main.sed", template: `s/.*/Hello, world!/ +`, + }, + setl: { + name: "SETL", + main: "main.setl", + run: "setl main.setl", + template: `print("Hello, world!"); `, }, sh: { diff --git a/scripts/docker-install-phase5.bash b/scripts/docker-install-phase5.bash index be690bd..4d2c780 100755 --- a/scripts/docker-install-phase5.bash +++ b/scripts/docker-install-phase5.bash @@ -199,6 +199,10 @@ metals -version