Finish work of #204 with all other makefile targets switched in CI

MLanguage · Dec 8, 2022 · 7897484 · 7897484
1 parent 9c7fc6a
commit 7897484
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/binary-releases.yml b/.github/workflows/binary-releases.yml
@@ -49,7 +49,7 @@ jobs:
        run: |
             brew install gmp mpfr
             opam update
-            make deps-without-ocaml
+            make init-without-switch
 
      - name: Make mlang binary
        run: |
@@ -107,7 +107,7 @@ jobs:
           ( cd mpfr-4.1.0; CC=musl-gcc ./configure --prefix /tmp/gmp-prefix -with-gmp=/tmp/gmp-prefix && make && make install )
           eval $(opam env)
           opam update
-          MPFR_PREFIX=/tmp/gmp-prefix GMP_PREFIX=/tmp/gmp-prefix make deps-without-ocaml
+          MPFR_PREFIX=/tmp/gmp-prefix GMP_PREFIX=/tmp/gmp-prefix make init-without-switch
 
       - name: Make mlang binary
         run: |

diff --git a/.github/workflows/publish_doc.yml b/.github/workflows/publish_doc.yml
@@ -34,7 +34,7 @@ jobs:
         run: |
           sudo apt install m4 perl python3 clang git build-essential lzip libgmp-dev libmpfr-dev
           opam update
-          make deps-without-ocaml
+          make init-without-switch
 
       - name: Build
         run: |