Try fix idris build

.github/workflows/main.yml

@@ -319,8 +319,10 @@ jobs:
           chmod +x src/rsc.exe
 
       # from https://github.com/marketplace/actions/setup-idris
-      - name: Setup Idris
-        uses: sergeyshpadyrev/setup-idris@v1.2
+      # Install idris through homebrew
+      - uses: tecolicom/actions-use-homebrew-tools@v1
+        with:
+          tools: idris2
 
       - name: Run tests
         run: |

src/host/idr/compile

@@ -1,13 +1,10 @@
 #!/bin/sh
 
-echo "idris2 version : " $(idris2 --version)
-ehco "idris version : " $(idris --version)
-
 in="$2"
 out="$1"
 
 out_dir=$(dirname "$out")
 out_file=$(basename "$out")
 in_file="$in"
 
-idris --output-dir "$out_dir" -o "$out_file" "$in_file"
+idris2 --output-dir "$out_dir" -o "$out_file" "$in_file"