Merge pull request #44 from sebastiaanspeck/add-magik

Add Magik support
casouri · Apr 8, 2024 · 8fe4300 · 8fe4300
2 parents e234234 + 6891dfe
commit 8fe4300
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/batch.sh b/batch.sh
@@ -31,6 +31,7 @@ languages=(
     'julia'
     'kotlin'
     'lua'
+    'magik'
     'make'
     'markdown'
     'org'

diff --git a/build.sh b/build.sh
@@ -73,6 +73,9 @@ case "${lang}" in
     "lua")
         org="MunifTanjim"
         ;;
+    "magik")
+        org="krn-robin"
+        ;;
     "make")
         org="alemuller"
         ;;
-Original file line number
+Diff line change
@@ Expand Up / @@ -31,6 +31,7 @@ languages=( @@
         'julia'
         'kotlin'
         'lua'
+        'magik'
         'make'
         'markdown'
         'org'
@@ Expand Down @@