xx

bancaditalia · Jun 12, 2023 · 1d1a92c · 1d1a92c
1 parent f9d1f95
commit 1d1a92c
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/.github/workflows/static-analyzer.yml b/.github/workflows/static-analyzer.yml
@@ -10,7 +10,7 @@ on:
   workflow_dispatch:
 
 jobs:
-  # source for using fedora:
+  # source for using Fedora via a container in the runner:
   # https://github.com/avocado-framework/avocado/actions/runs/2730087531/workflow#L15-L32
   # and
   # https://github.com/actions/runner-images/issues/2307#issuecomment-1576493700
@@ -35,5 +35,13 @@ jobs:
         # and
         #    https://github.com/actions/runner/pull/2517
         run: |
-          echo ${GITHUB_WORKSPACE}
-          ls -l ${GITHUB_WORKSPACE}
+          cd ${GITHUB_WORKSPACE}
+          ./autogen.sh
+          ./configure \
+              SECP_CFLAGS="-fanalyzer -fanalyzer-transitivity" \
+              --disable-tests \
+              --disable-exhaustive-tests \
+              --disable-benchmark \
+              --enable-experimental \
+              --enable-module-frost
+          make