Install prefix

runtimeverification · Mar 12, 2024 · 3bf7162 · 3bf7162
1 parent e6ca2d1
commit 3bf7162
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -72,7 +72,7 @@ jobs:
 
       - name: 'Run backend tests'
         run: |
-          docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'mkdir build && cd build && cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=On -DBUILD_TESTS=On .. && make install'
+          docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'mkdir build && cd build && cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=On -DBUILD_TESTS=On -DCMAKE_INSTALL_PREFIX=install .. && make -j$(nproc) install'
           docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'cd matching && mvn package'
           docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'PATH=./build/install:$PATH lit -av test'