Cache pluto

.github/workflows/build.yml

@@ -36,6 +36,13 @@ jobs:
       id: getversion
       run: echo "::set-output name=version::$(cat src/.git/modules/llvm-project/HEAD)"
 
+    - name: Cache Pluto
+      id: cache-pluto
+      uses: actions/cache@v3
+      with:
+        path: pluto-build
+        key: ${{ matrix.build }}-${{ matrix.os }}-pluto-${{ steps.getversion.outputs.version }}
+
     - name: Cache MLIR
       id: cache-mlir
       uses: actions/cache@v3
@@ -46,6 +53,15 @@ jobs:
     - name: add dependencies
       run: sudo apt-get install -y ninja-build libbison-dev libtool libgmp-dev #libflex-dev cmake binutils-gold binutils binutils-dev ${{ matrix.compiler }} ${{ matrix.linker-pkg }}
 
+    - name: Pluto build
+      if: steps.cache-pluto.outputs.cache-hit != 'true'
+      run: |
+        mkdir pluto-build
+        src/tools/polymer/build_pluto.sh $(pwd)/pluto-build
+        src/tools/polymer/build_openscop.sh $(pwd)/pluto-build
+        src/tools/polymer/build_cloog.sh $(pwd)/pluto-build
+        sleep 1s
+
     - name: MLIR build
       if: steps.cache-mlir.outputs.cache-hit != 'true'
       run: |
@@ -62,7 +78,7 @@ jobs:
       run: |
         cd build
         ls ../mlir-build/lib/cmake/clang
-        cmake ../src/ -GNinja -DPOLYGEIST_ENABLE_POLYMER -DMLIR_DIR=`pwd`/../mlir-build/lib/cmake/mlir -DLLVM_EXTERNAL_LIT=`pwd`/../mlir-build/bin/llvm-lit -DClang_DIR=`pwd`/../mlir-build/lib/cmake/clang -DCMAKE_BUILD_TYPE=${{ matrix.build }} -DCMAKE_C_COMPILER=${{matrix.compiler}} -DCMAKE_CXX_COMPILER=${{matrix.cxxcompiler}}
+        cmake ../src/ -GNinja -DMLIR_DIR=`pwd`/../mlir-build/lib/cmake/mlir -DLLVM_EXTERNAL_LIT=`pwd`/../mlir-build/bin/llvm-lit -DClang_DIR=`pwd`/../mlir-build/lib/cmake/clang -DCMAKE_BUILD_TYPE=${{ matrix.build }} -DCMAKE_C_COMPILER=${{matrix.compiler}} -DCMAKE_CXX_COMPILER=${{matrix.cxxcompiler}} -DPOLYGEIST_ENABLE_POLYMER=1 -DPOLYGEIST_PLUTO_DIR=$(pwd)/../pluto-build/
     - name: test cgeist
       run: |
         cd build