docs: add onnx demo notebook (#2796)

Note that this is missing the interpreter part, since the bug is still
there with the ABI calling convention not being respected when calling
from the interpreter object directly.

.github/workflows/ci-mlir.yml

@@ -112,6 +112,13 @@ jobs:
         export PATH=$PATH:${GITHUB_WORKSPACE}/llvm-project/build/bin/
         pytest --nbval docs/mlir_interoperation.ipynb --maxfail 1 -vv
 
+    - name: Test MLIR dependent marimo notebooks
+      run: |
+        cd xdsl
+        # Add mlir-opt to the path
+        export PATH=$PATH:${GITHUB_WORKSPACE}/llvm-project/build/bin/
+        make tests-marimo-mlir
+
     - name: Combine coverage data
       run: |
         cd xdsl

Makefile

@@ -14,7 +14,7 @@ TESTS_COVERAGE_FILE = ${COVERAGE_FILE}.tests
 .ONESHELL:
 
 # these targets don't produce files:
-.PHONY: ${VENV_DIR}/ venv clean filecheck pytest pytest-nb tests-toy tests rerun-notebooks precommit-install precommit black pyright tests-marimo
+.PHONY: ${VENV_DIR}/ venv clean filecheck pytest pytest-nb tests-toy tests rerun-notebooks precommit-install precommit black pyright tests-marimo tests-marimo-mlir
 .PHONY: coverage coverage-tests coverage-filecheck-tests coverage-report-html coverage-report-md
 
 # set up the venv with all dependencies for development
@@ -58,8 +58,15 @@ tests-marimo:
 	done
 	@echo "All marimo tests passed successfully."
 
+tests-marimo-mlir:
+	@for file in docs/marimo/mlir/*.py; do \
+		echo "Running $$file"; \
+		python3 "$$file" || exit 1; \
+	done
+	@echo "All marimo mlir tests passed successfully."
+
 # run all tests
-tests: pytest tests-toy filecheck pytest-nb tests-marimo pyright
+tests: pytest tests-toy filecheck pytest-nb tests-marimo tests-marimo-mlir pyright
 	@echo All tests done.
 
 # re-generate the output from all jupyter notebooks in the docs directory

docs/marimo/mlir/README.md

@@ -0,0 +1,4 @@
+# Marimo notebooks that depend on mlir-opt
+
+For these notebooks to run as intended, `mlir-opt` needs to be in the path.
+Please see the [MLIR Interoperation](../../mlir_interoperation.md) document for more information.