fix(CI): add option for generate.sh

InternLM · Nov 29, 2023 · 66fab2e · 66fab2e
1 parent 96c513c
commit 66fab2e
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 4 deletions.
diff --git a/.github/workflows/linux-x64-gpu.yml b/.github/workflows/linux-x64-gpu.yml
@@ -51,7 +51,6 @@ jobs:
             cd /work
             source /opt/conda/bin/activate
             conda activate py38
-            apt install -y ninja-build lld
             mkdir build && cd build
-            bash ../generate.sh
-            ninja -j$(nproc) && ninja install
+            bash ../generate.sh make
+            make -j$(nproc) && make install
diff --git a/generate.sh b/generate.sh
@@ -1,6 +1,12 @@
 #!/bin/sh
 
-cmake -G Ninja .. \
+builder="-G Ninja"
+
+if [ "$1" == "make" ]; then
+    builder=""
+fi
+
+cmake ${builder} .. \
     -DCMAKE_BUILD_TYPE=RelWithDebInfo \
     -DCMAKE_EXPORT_COMPILE_COMMANDS=1 \
     -DCMAKE_INSTALL_PREFIX=./install \