make building plugins optional

DFHack · Apr 13, 2024 · bfecf17 · bfecf17
1 parent 60fbd5d
commit bfecf17
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
@@ -23,6 +23,9 @@ on:
       platform-files:
         type: boolean
         default: true
+      plugins:
+        type: boolean
+        default: true
       common-files:
         type: boolean
         default: true
@@ -126,7 +129,7 @@ jobs:
             ${{ inputs.platform-files && '-DCMAKE_C_COMPILER_LAUNCHER=ccache' || '' }} \
             ${{ inputs.platform-files && '-DCMAKE_CXX_COMPILER_LAUNCHER=ccache' || '' }} \
             -DBUILD_LIBRARY:BOOL=${{ inputs.platform-files }} \
-            -DBUILD_PLUGINS:BOOL=${{ inputs.platform-files }} \
+            -DBUILD_PLUGINS:BOOL=${{ inputs.platform-files && inputs.plugins }} \
             -DBUILD_STONESENSE:BOOL=${{ inputs.stonesense }} \
             -DBUILD_DFLAUNCH:BOOL=${{ inputs.launchdf }} \
             -DBUILD_DEV_PLUGINS:BOOL=${{ inputs.extras }} \