Install non-ez-conf-lib mlgmpidl in unlocked CI

goblint · Feb 20, 2024 · 976c8aa · 976c8aa
1 parent c04c765
commit 976c8aa
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -60,7 +60,7 @@ jobs:
         if: ${{ matrix.apron }}
         run: |
           opam depext apron
-          opam install apron
+          opam install apron mlgmpidl.1.2.15
 
       - name: Install Z3 dependencies
         if: ${{ matrix.z3 }}
@@ -149,7 +149,7 @@ jobs:
       - name: Install Apron dependencies
         run: |
           opam depext apron
-          opam install apron
+          opam install apron mlgmpidl.1.2.15
 
       - name: Build
         if: ${{ false }}
@@ -265,7 +265,7 @@ jobs:
       - name: Install Apron dependencies
         run: |
           opam depext apron
-          opam install apron
+          opam install apron mlgmpidl.1.2.15
 
       - name: Symlink installed goblint to repository # because tests want to use locally built one
         run: ln -s $(opam exec -- which goblint) goblint