From 73984bb93284be2346ace9f74bfa7a7c86bf075b Mon Sep 17 00:00:00 2001
From: thxCode <thxcode0824@gmail.com>
Date: Tue, 21 Jan 2025 16:41:10 +0800
Subject: [PATCH] ci: build without openmp

Signed-off-by: thxCode <thxcode0824@gmail.com>
---
 .github/workflows/ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 45515d0..5ac7aa7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -201,6 +201,11 @@ jobs:
           echo "===== SCRIPT ====="
           cat <<EOF > /tmp/entrypoint.sh
           #!/bin/bash
+          # NB(thxCode): workaround to avoid using OpenMP.
+          rm -rf /opt/rh/devtoolset-9/root/usr/lib/gcc/\$(uname -m)-redhat-linux/9/libgomp* || true
+          rm -rf /opt/rh/gcc-toolset-11/root/usr/lib/gcc/\$(uname -m)-redhat-linux/11/libgomp* || true
+          rm -rf /usr/lib/gcc/\$(uname -m)-linux-gnu/11/libgomp* || true
+          rm -rf /opt/openEuler/gcc-toolset-10/root/usr/lib/gcc/\$(uname -m)-linux-gnu/10/libgomp* || true
           git config --system --add safe.directory '*'
           mkdir -p ${{ github.workspace }}/.cache
           echo "===== BUILD ====="