ci: install slang to prefix location

pulp-platform · Aug 8, 2023 · 88cff05 · 88cff05
1 parent 83d7602
commit 88cff05
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -61,8 +61,8 @@ jobs:
  sudo mkdir -p /tools && sudo chmod 777 /tools
  cd /tools && git clone https://github.com/MikePopoloski/slang.git && cd slang && git checkout v2.0
  echo $PWD
- cmake -B build && cmake --build build -j$(nproc)
- cmake --install build --strip
+ cmake -B build && make -C build && cmake --install build --prefix /tools/install
+ echo "PATH=$PATH:/tools/install/bin" >> ${GITHUB_ENV}
  if: matrix.os == 'ubuntu-latest'
  - name: Build
  run: cargo build --verbose