Install graph-easy manually in CI because nothing works

goblint · Feb 13, 2024 · ae5b2cf · ae5b2cf
1 parent 4b58d45
commit ae5b2cf
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 16 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -35,11 +35,13 @@ jobs:
           # otherwise setup-ocaml pins non-locked dependencies
           # https://github.com/ocaml/setup-ocaml/issues/166
           OPAMLOCKED: locked
-          OPAMWITHTEST: true
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-depext-flags: --with-test
+          opam-depext-flags: --with-test # doesn't work
+
+      - name: Install graph-easy
+        run: sudo apt install -y libgraph-easy-perl
 
       - name: Install dependencies
         run: opam install . --deps-only --locked --with-test

diff --git a/.github/workflows/locked.yml b/.github/workflows/locked.yml
@@ -37,13 +37,13 @@ jobs:
           # otherwise setup-ocaml pins non-locked dependencies
           # https://github.com/ocaml/setup-ocaml/issues/166
           OPAMLOCKED: locked
-          OPAMWITHTEST: true
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-depext-flags: --with-test
+          opam-depext-flags: --with-test # doesn't work
 
-      - run: opam install . --dry-run --deps-only -ty | awk '/-> installed/{print $3}' | xargs opam depext -iy
+      - name: Install graph-easy
+        run: sudo apt install -y libgraph-easy-perl
 
       - name: Install dependencies
         run: opam install . --deps-only --locked --with-test
@@ -115,11 +115,13 @@ jobs:
           # otherwise setup-ocaml pins non-locked dependencies
           # https://github.com/ocaml/setup-ocaml/issues/166
           OPAMLOCKED: locked
-          OPAMWITHTEST: true
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-depext-flags: --with-test
+          opam-depext-flags: --with-test # doesn't work
+
+      - name: Install graph-easy
+        run: sudo apt install -y libgraph-easy-perl
 
       - name: Install spin
         run: sudo apt-get -y install spin

diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -49,12 +49,13 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Set up OCaml ${{ matrix.ocaml-compiler }}
-        env:
-          OPAMWITHTEST: true
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-depext-flags: --with-test
+          opam-depext-flags: --with-test # doesn't work
+
+      - name: Install graph-easy
+        run: sudo apt install -y libgraph-easy-perl
 
       - name: Install dependencies
         run: opam install . --deps-only --with-test
@@ -142,12 +143,13 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Set up OCaml ${{ matrix.ocaml-compiler }}
-        env:
-          OPAMWITHTEST: true
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-depext-flags: --with-test
+          opam-depext-flags: --with-test # doesn't work
+
+      - name: Install graph-easy
+        run: sudo apt install -y libgraph-easy-perl
 
       - name: Install dependencies
         run: opam install . --deps-only --with-test
@@ -261,12 +263,13 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Set up OCaml ${{ matrix.ocaml-compiler }}
-        env:
-          OPAMWITHTEST: true
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-depext-flags: --with-test
+          opam-depext-flags: --with-test # doesn't work
+
+      - name: Install graph-easy
+        run: sudo apt install -y libgraph-easy-perl
 
       - name: Install Goblint with test
         run: opam install goblint --with-test