build full llvm

seahorn · Dec 6, 2024 · 0b4a778 · 0b4a778
1 parent ec502f1
commit 0b4a778
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/build-seaurchin-llvm-assert-bin.yml b/.github/workflows/build-seaurchin-llvm-assert-bin.yml
@@ -58,12 +58,14 @@ jobs:
         key: sccache-${{ runner.os }}-release
         variant: sccache
 
-    - name: Build seaurchin-llvm Clang
+    - name: Build/test seaurchin-llvm
       run: |
         sudo chown $USER:$USER /mnt/
         cmake -G Ninja -C clang/cmake/caches/Release.cmake -DLLVM_ENABLE_ASSERTIONS=ON -DCMAKE_C_COMPILER_LAUNCHER=sccache -DCMAKE_CXX_COMPILER_LAUNCHER=sccache -DLLVM_TARGETS_TO_BUILD="X86" -DLLVM_FORCE_ENABLE_STATS=ON -S llvm -B /mnt/build
+        ninja -v -C /mnt/build 
         ninja -v -C /mnt/build check-llvm
 
+
     # We need to create an archive of the build directory, because it has too
     # many files to upload.
     - name: Package Build and Source Directories