diff --git a/backend/src/langs.ts b/backend/src/langs.ts index 1321971..6c4b6c0 100644 --- a/backend/src/langs.ts +++ b/backend/src/langs.ts @@ -139,6 +139,15 @@ println (* 123 234)`, main: "main.alg", run: "a68g main.alg", template: `print(("Hello, world!",new line)) +`, + }, + ante: { + aliases: ["an"], + name: "Ante", + main: "main.an", + compile: "ante main.an", + run: "./main", + template: `puts("Hello, world!".cStr) `, }, antecards: { diff --git a/scripts/docker-install-phase4.bash b/scripts/docker-install-phase4.bash index 752d6c9..18e3f9f 100755 --- a/scripts/docker-install-phase4.bash +++ b/scripts/docker-install-phase4.bash @@ -33,6 +33,10 @@ mv linux/ada_language_server /usr/local/bin/ada_language_server mv linux/*.so* /usr/lib/x86_64-linux-gnu/ rm -rf linux linux-latest.tar.gz +# Ante +wget -nv https://github.com/raxod502/riju-cdn/releases/download/ante-0.8.0-d2c43992e0c7a4c1942d5c097233f4f7638a1ee6/ante -O /usr/local/bin/ante +chmod +x /usr/local/bin/ante + # Ante (Cards) wget -nv https://github.com/michaeldv/ante/raw/master/ante.rb -O /usr/local/bin/ante-cards chmod +x /usr/local/bin/ante-cards