From 1fbb2dd0b479aa304524448cedbfaf05028446c9 Mon Sep 17 00:00:00 2001 From: Smail KOURTA Date: Thu, 7 Mar 2024 12:13:00 +0400 Subject: [PATCH] added paths to isl --- .github/workflows/cmake-single-platform.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/cmake-single-platform.yml b/.github/workflows/cmake-single-platform.yml index fb6345394..6d8a52a78 100644 --- a/.github/workflows/cmake-single-platform.yml +++ b/.github/workflows/cmake-single-platform.yml @@ -27,7 +27,7 @@ jobs: - name: Configure CMake # Configure CMake in a 'build' subdirectory. `CMAKE_BUILD_TYPE` is only required if you are using a single-configuration generator such as make. # See https://cmake.org/cmake/help/latest/variable/CMAKE_BUILD_TYPE.html?highlight=cmake_build_type - run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} + run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DISL_LIB_DIRECTORY=/tiramisu/tiramisu/3rdParty/isl/build/lib/ -DISL_INCLUDE_DIRECTORY=/tiramisu/tiramisu/3rdParty/isl/include - name: Build # Build your program with the given configuration