diff --git a/backend/src/langs.ts b/backend/src/langs.ts index be61c50..a684572 100644 --- a/backend/src/langs.ts +++ b/backend/src/langs.ts @@ -312,6 +312,15 @@ void main() { template: `void main() { print('Hello, world!'); } +`, + }, + dhall: { + name: "Dhall", + monacoLang: "plaintext", + main: "main.dhall", + compile: "cat main.dhall | dhall-to-json > main.json", + run: "cat main.json | jq .", + template: `{ output = "Hello, world!" } `, }, elixir: { diff --git a/scripts/docker-install-phase3a.bash b/scripts/docker-install-phase3a.bash index 97044f3..a0575c3 100755 --- a/scripts/docker-install-phase3a.bash +++ b/scripts/docker-install-phase3a.bash @@ -55,6 +55,9 @@ crystal # Dart dart +# Dhall +dhall + " export DEBIAN_FRONTEND=noninteractive diff --git a/scripts/docker-install-phase5.bash b/scripts/docker-install-phase5.bash index 329d5c6..0e7df14 100755 --- a/scripts/docker-install-phase5.bash +++ b/scripts/docker-install-phase5.bash @@ -31,6 +31,13 @@ wget -nv http://downloads.dlang.org/releases/2.x/2.092.0/dmd_2.092.0-0_amd64.deb dpkg -i dmd_*.deb rm dmd_*.deb +# Dhall +wget -nv https://github.com/dhall-lang/dhall-haskell/releases/download/1.33.1/dhall-json-1.7.0-x86_64-linux.tar.bz2 +mkdir dhall-json +tar -xf dhall-json-*-x86_64-linux.tar.bz2 -C dhall-json +mv dhall-json/bin/dhall-to-json dhall-json/bin/json-to-dhall /usr/bin/ +rm dhall-json dhall-json-*-x86_64-linux.tar.bz2 + # Elixir wget -nv https://github.com/elixir-lsp/elixir-ls/releases/download/v0.5.0/elixir-ls.zip unzip -d /opt/elixir-ls elixir-ls.zip