From 38c77901236fbdf97bddb722e54537c33baa84bb Mon Sep 17 00:00:00 2001
From: Martin Elsman <martin.elsman@gmail.com>
Date: Tue, 10 Dec 2024 00:59:56 +0100
Subject: [PATCH] fix

---
 .github/workflows/main.yml | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 40fded2..c69d454 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -45,11 +45,17 @@ jobs:
           echo "$HOME/mlkit-bin-dist-${{env.OS}}/bin" >> $GITHUB_PATH
           mkdir -p .mlkit
           echo "SML_LIB $HOME/mlkit-bin-dist-${{env.OS}}/lib/mlkit" > .mlkit/mlb-path-map
+          $HOME/mlkit-bin-dist-${{env.OS}}/bin/mlkit --version
 
-      - name: Install MLton and MLKit (macos)
-        if: ${{ env.OS == 'darwin' }}
+      - name: Install MLKit (macos)
+        if: ${{ env.OS == 'darwin' && matrix.mlcomp == 'mlkit' }}
         run: |
           brew install mlkit
+          mlkit --version
+
+      - name: Install MLton (macos)
+        if: ${{ env.OS == 'darwin' && matrix.mlcomp == 'mlton' }}
+        run: |
           brew install mlton
           mlton
 
@@ -60,11 +66,7 @@ jobs:
           wget https://github.com/diku-dk/smlpkg/releases/download/v0.1.5/smlpkg-bin-dist-${{env.OS}}.tgz
           tar xzf smlpkg-bin-dist-${{env.OS}}.tgz
           echo "$HOME/smlpkg-bin-dist-${{env.OS}}/bin" >> $GITHUB_PATH
-
-      - name: Check
-        run: |
-          mlkit --version
-          smlpkg --version
+          $HOME/smlpkg-bin-dist-${{env.OS}}/bin/smlpkg --version
 
       - name: Build
         run: MLCOMP=${{ matrix.mlcomp }} make clean all