fix(vc4c,vc4cl): fix build configuration for 32-bit Raspberry Pi OS

vc4c-git:
- Add VC4CL_STDLIB_DIR to point to installed stdlib headers
- Disable VC4CL_STDLIB_PRECOMPILE to avoid permission errors during build

vc4cl-git:
- Add ocl-icd-dev to build dependencies for ICD support
- Enable BUILD_ICD for proper OpenCL ICD loader integration
- Disable INCLUDE_COMPILER to avoid runtime crash in libVC4CC

Tested on Raspberry Pi 3B+ with 32-bit Bookworm. clinfo now works.

Author: Foadsf

vc4c-git/lure.sh

@@ -40,10 +40,13 @@ build() {
     cd build
 
     # VC4C has multiple frontends - try to enable what's available
+    # Disable stdlib precompilation during build - it tries to write to /usr/include
     cmake .. \
         -DCMAKE_INSTALL_PREFIX=/usr \
         -DCMAKE_BUILD_TYPE=Release \
-        -DBUILD_TESTING=OFF
+        -DBUILD_TESTING=OFF \
+        -DVC4CL_STDLIB_DIR=/usr/include/vc4cl-stdlib \
+        -DVC4CL_STDLIB_PRECOMPILE=OFF
 
     make -j1
 }

vc4cl-git/lure.sh

@@ -22,6 +22,7 @@ build_deps=(
     "opencl-headers"
     "ocl-icd-opencl-dev"
     "vc4c"
+    "ocl-icd-dev"
 )
 
 sources=("git+https://github.com/doe300/VC4CL.git")
@@ -46,7 +47,9 @@ build() {
     cmake .. \
         -DCMAKE_INSTALL_PREFIX=/usr \
         -DCMAKE_BUILD_TYPE=Release \
-        -DMULTI_THREADED=ON
+        -DBUILD_TESTING=OFF \
+        -DBUILD_ICD=ON \
+        -DINCLUDE_COMPILER=OFF
 
     make -j1
 }