fixup array_ref

Author: makslevental

projects/eudsl-py/pyproject.toml

@@ -1,11 +1,19 @@
 [build-system]
-requires = ["scikit-build-core>=0.10.7", "nanobind>=2.2.0", "typing_extensions>=4.12.2"]
+requires = [
+    "scikit-build-core==0.10.7",
+    "nanobind==2.2.0",
+    "typing_extensions==4.12.2",
+    "numpy==2.0.2"
+]
 build-backend = "scikit_build_core.build"
 
 [project]
 name = "eudsl-py"
 version = "0.0.1"
 requires-python = ">=3.9"
+dependencies = [
+    "numpy==2.0.2"
+]
 
 [project.urls]
 Homepage = "https://github.com/llvm/eudsl"

projects/eudsl-py/src/CMakeLists.txt

@@ -49,7 +49,8 @@ nanobind_add_module(eudsl_ext NB_STATIC STABLE_ABI
   arith.cpp
   cf.cpp
   scf.cpp
-  affine.cpp)
+  affine.cpp
+)
 target_link_libraries(eudsl_ext PRIVATE
   MLIRIR
   LLVMSupport
@@ -61,6 +62,7 @@ target_link_libraries(eudsl_ext PRIVATE
 )
 target_compile_options(eudsl_ext
   PRIVATE
+  -Wno-cast-qual
   $<$<PLATFORM_ID:Linux>:-fexceptions -frtti>
   $<$<PLATFORM_ID:Darwin>:-fexceptions -frtti>
   $<$<PLATFORM_ID:Windows>:/EHsc /GR>)