ci: Add missing 'static' build target for releases

kind2-mc · Jan 15, 2025 · a4950e0 · a4950e0
1 parent aeea0c9
commit a4950e0
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.github/actions/build-kind2/action.yml b/.github/actions/build-kind2/action.yml
@@ -6,6 +6,10 @@ inputs:
   flambda:
     default: false
     type: boolean
+  build-target:
+    description: The build target for the make command
+    required: false
+    default: ""
 
 runs:
   using: composite
@@ -35,4 +39,4 @@ runs:
 
   - name: Build Kind2
     shell: bash
-    run: opam exec make
+    run: opam exec make ${{ inputs.build-target }}
diff --git a/.github/workflows/kind2-release.yml b/.github/workflows/kind2-release.yml
@@ -102,6 +102,7 @@ jobs:
       with:
         ocaml-version: ${{ matrix.ocaml-version }}
         flambda: true
+        build-target: static
 
     - name: Strip Kind 2 macOS binary
       if: runner.os == 'macOS'