From 69723f203ab4b4baabdebae2470d5fa724e0bfe2 Mon Sep 17 00:00:00 2001 From: Radon Rosborough Date: Sun, 27 Sep 2020 19:33:00 -0700 Subject: [PATCH] Fixes for Ante Turns out it's quite poorly designed. --- backend/src/langs.ts | 3 ++- scripts/docker-install-phase4.bash | 6 ++++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/backend/src/langs.ts b/backend/src/langs.ts index 9081b2a..4afa77b 100644 --- a/backend/src/langs.ts +++ b/backend/src/langs.ts @@ -144,9 +144,10 @@ println (* 123 234)`, ante: { aliases: ["an"], name: "Ante", + repl: "ante", main: "main.an", compile: "ante main.an", - run: "./main", + run: "./main; ante", template: `puts("Hello, world!".cStr) `, }, diff --git a/scripts/docker-install-phase4.bash b/scripts/docker-install-phase4.bash index 18e3f9f..75e6352 100755 --- a/scripts/docker-install-phase4.bash +++ b/scripts/docker-install-phase4.bash @@ -34,8 +34,10 @@ 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 +wget -nv https://github.com/raxod502/riju-cdn/releases/download/ante-0.8.0-d2c43992e0c7a4c1942d5c097233f4f7638a1ee6/ante -O /opt/ante/ante +chmod +x /opt/ante/ante +wget -nv https://github.com/raxod502/riju-cdn/releases/download/ante-0.8.0-d2c43992e0c7a4c1942d5c097233f4f7638a1ee6/libantecommon.so -O /opt/ante/libantecommon.so +ln -s /opt/ante/ante /usr/local/bin/ # Ante (Cards) wget -nv https://github.com/michaeldv/ante/raw/master/ante.rb -O /usr/local/bin/ante-cards