[#24] New language: Ante (the systems language)
This commit is contained in:
parent
16b62fe340
commit
dc33328746
|
@ -139,6 +139,15 @@ println (* 123 234)`,
|
||||||
main: "main.alg",
|
main: "main.alg",
|
||||||
run: "a68g main.alg",
|
run: "a68g main.alg",
|
||||||
template: `print(("Hello, world!",new line))
|
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: {
|
antecards: {
|
||||||
|
|
|
@ -33,6 +33,10 @@ mv linux/ada_language_server /usr/local/bin/ada_language_server
|
||||||
mv linux/*.so* /usr/lib/x86_64-linux-gnu/
|
mv linux/*.so* /usr/lib/x86_64-linux-gnu/
|
||||||
rm -rf linux linux-latest.tar.gz
|
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)
|
# Ante (Cards)
|
||||||
wget -nv https://github.com/michaeldv/ante/raw/master/ante.rb -O /usr/local/bin/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
|
chmod +x /usr/local/bin/ante-cards
|
||||||
|
|
Loading…
Reference in New Issue