fix

diku-dk · Dec 9, 2024 · 3f5e32a · 3f5e32a
1 parent bbc3153
commit 3f5e32a
Showing 1 changed file with 12 additions and 14 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -37,37 +37,35 @@ jobs:
           sudo apt-get install -y mlton
           mlton
 
-      - name: Install MLton and gmp (macos)
+      - name: Install MLkit (linux)
+        if: ${{ env.OS == 'linux' && matrix.mlcomp == 'mlkit' }}
+        run: |
+          wget https://github.com/melsman/mlkit/releases/download/v4.7.14/mlkit-bin-dist-${{env.OS}}.tgz
+          tar xzf mlkit-bin-dist-${{env.OS}}.tgz
+          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
+
+      - name: Install MLton and MLKit (macos)
         if: ${{ env.OS == 'darwin' }}
         run: |
-          arch -x86_64 brew install gmp
+          brew install mlkit
           brew install mlton
           mlton
 
-      - name: Install MLKit and smlpkg
+      - name: Install smlpkg
         working-directory: ${{ env.RUNHOME }}
         run: |
           echo "[OS: $OS, HOME: $RUNHOME]"
           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
-          wget https://github.com/melsman/mlkit/releases/download/v4.7.14/mlkit-bin-dist-${{env.OS}}.tgz
-          tar xzf mlkit-bin-dist-${{env.OS}}.tgz
-          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
 
       - name: Check
         run: |
           mlkit --version
           smlpkg --version
 
-      - name: Install MLton (macos)
-        if: ${{ env.OS == 'darwin' && matrix.mlcomp == 'mlton' }}
-        run: |
-          brew install mlton
-          mlton
-
       - name: Build
         run: MLCOMP=${{ matrix.mlcomp }} make clean all