added paths to isl

Tiramisu-Compiler · Mar 7, 2024 · 1fbb2dd · 1fbb2dd
1 parent 57240e4
commit 1fbb2dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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