From 4aff3f02d25bd88e6380306097ea358cf1168eec Mon Sep 17 00:00:00 2001
From: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com>
Date: Sun, 7 Jul 2024 20:13:40 -0700
Subject: [PATCH] Add BUILD_LINUX flag to CI

---
 .github/workflows/dkml.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/dkml.yml b/.github/workflows/dkml.yml
index d7aa02c..42efb2f 100644
--- a/.github/workflows/dkml.yml
+++ b/.github/workflows/dkml.yml
@@ -40,6 +40,10 @@ on:
       DKML_COMPILER:
         description: The tag for https://github.com/diskuv/dkml-compiler.git. Use "main" to get the latest diskuv repository
         type: string
+      BUILD_LINUX:
+        default: true
+        description: Build Linux compiler
+        type: boolean
 
 env:
   DISKUV_OPAM_REPOSITORY: ${{ github.event.inputs.DISKUV_OPAM_REPOSITORY }}
@@ -49,6 +53,8 @@ jobs:
   build:
     strategy:
       matrix:
+        build_linux:
+          - ${{github.event.inputs.BUILD_LINUX}}
         include: # 
           - gh_os: windows-2019
             abi_pattern: win32-windows_x86
@@ -70,6 +76,12 @@ jobs:
             abi_pattern: macos-darwin_all-intel
             dkml_host_abi: darwin_x86_64
             bits: "64"
+        exclude:
+          - dkml_host_abi: linux_x86
+            build_linux: false
+          - dkml_host_abi: linux_x86_64
+            build_linux: false
+
 
     runs-on: ${{ matrix.gh_os }}
     name: build / ${{ matrix.abi_pattern }}