From dc33328746bc213916a50e70d8d1e6fa51d22cd5 Mon Sep 17 00:00:00 2001 From: Radon Rosborough Date: Sun, 27 Sep 2020 14:40:02 -0700 Subject: [PATCH] [#24] New language: Ante (the systems language) --- backend/src/langs.ts | 9 +++++++++ scripts/docker-install-phase4.bash | 4 ++++ 2 files changed, 13 insertions(+) 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