Statically link alpine binaries: -ccopt -static

mit-plv · Nov 13, 2023 · 4a67334 · 4a67334
1 parent f64af12
commit 4a67334
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -53,7 +53,7 @@ jobs:
       run: make TIMED=1 TIMING=1 -j2 deps
     - name: all-except-generated
       shell: alpine.sh {0}
-      run: make TIMED=1 TIMING=1 -j2 all-except-generated
+      run: make TIMED=1 TIMING=1 -j2 CAMLEXTRAFLAGS="-ccopt -static" all-except-generated
     - name: generated-files
       shell: alpine.sh {0}
       run: make TIMED=1 TIMING=1 -j2 generated-files
@@ -134,10 +134,10 @@ jobs:
           file $prog
           echo "::endgroup::"
           echo "::group::ldd $prog"
-          ldd $prog
+          ldd $prog || true
           echo "::endgroup::"
           echo "::group::$prog"
-          ./$prog -h || echo "::error::$prog does not run on host" # does not work yet
+          ./$prog -h
           echo "::endgroup::"
         done
     - uses: jirutka/setup-alpine@v1