fix

evdenis · Sep 6, 2023 · 51b0d12 · 51b0d12
1 parent 11a19d8
commit 51b0d12
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -93,18 +93,20 @@ jobs:
         eval $(opam env)
         opam install -y coccinelle.${{ matrix.coccinelle-version }}
 
+    - name: Clone Coccinelle
+      uses: actions/checkout@v4
+      if: ${{ matrix.coccinelle-version == 'git' }}
+      with:
+        repository: 'https://github.com/coccinelle/coccinelle'
+
     - name: Install latest Coccinelle from git
       if: ${{ matrix.coccinelle-version == 'git' }}
       run: |
         eval $(opam env)
         opam remove -y coccinelle
         opam install -y num camlp4 pcre pyml menhir
-        git clone https://github.com/coccinelle/coccinelle
         cd coccinelle
-        ./autogen
-        ./configure --prefix /usr/local --libdir /usr/local/lib --enable-python --enable-ocaml --enable-pcre-syntax --enable-pcre --enable-opt --disable-bytes
-        make all.opt
-        sudo make install
+        opam install .
 
     - name: Spatch Version
       run: |