From 88cff0504782c48319387150de409d3a6e798156 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jannis=20Sch=C3=B6nleber?= <joennlae@gmail.com>
Date: Fri, 17 Feb 2023 14:01:46 +0100
Subject: [PATCH] ci: install `slang` to prefix location

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6eb3686..9bbbcde 100644
--- 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