Make Metal non-optional on macOS and test it on an M1 GPU

lukstafi · lukstafi · commit e752ddbc7f85 · 2025-05-09T18:03:49.000+02:00
Signed-off-by: Lukasz Stafiniak &lt;lukstafi@gmail.com&gt;
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -35,3 +35,24 @@ jobs:
     - run: opam install . -y --deps-only --with-test --with-doc
     - run: opam exec -- dune build
     - run: opam exec -- dune runtest
+
+  test-metal:
+    name: Test Metal Backend
+    runs-on: macos-13-xlarge
+    steps:
+    - name: Set git to use LF
+      run: |
+        git config --global core.autocrlf false
+        git config --global core.eol lf
+        git config --global core.ignorecase false
+    - uses: actions/checkout@v4
+    - uses: ocaml/setup-ocaml@v3
+      with:
+        ocaml-compiler: 5.3.x
+        dune-cache: true
+        allow-prerelease-opam: true
+    - run: opam pin -n .
+    - run: opam install . -y --deps-only --with-test
+    - run: opam exec -- dune build
+    - name: Run tests with Metal backend
+      run: OCANNL_BACKEND=metal opam exec -- dune runtest
diff --git a/arrayjit.opam b/arrayjit.opam
@@ -33,12 +33,12 @@ depends: [
   "ppx_variants_conv"
   "ppx_expect"
   "ppx_minidebug" {>= "2.2.0"}
+  "metal" {os = "macos"}
   "odoc" {with-doc}
 ]
 depopts: [
   "cudajit" {>= "0.7.0"}
   "gccjit" {>= "0.3.2"}
-  "metal"
 ]
 conflicts: [
   "cudajit" {< "0.7.0"}
diff --git a/dune-project b/dune-project
@@ -61,13 +61,14 @@
   ppx_variants_conv
   ppx_expect
   (ppx_minidebug
-   (>= 2.2.0)))
+   (>= 2.2.0))
+  (metal
+   (= :os macos)))
  (depopts
   (cudajit
    (>= 0.7.0))
   (gccjit
-   (>= 0.3.2))
-  metal)
+   (>= 0.3.2)))
  (conflicts
   (cudajit
    (< 0.7.0))

Original file line number	Diff line number	Diff line change
`@@ -33,12 +33,12 @@ depends: [`
`33`	`33`	`"ppx_variants_conv"`
`34`	`34`	`"ppx_expect"`
`35`	`35`	`"ppx_minidebug" {>= "2.2.0"}`
	`36`	`+ "metal" {os = "macos"}`
`36`	`37`	`"odoc" {with-doc}`
`37`	`38`	`]`
`38`	`39`	`depopts: [`
`39`	`40`	`"cudajit" {>= "0.7.0"}`
`40`	`41`	`"gccjit" {>= "0.3.2"}`
`41`		`- "metal"`
`42`	`42`	`]`
`43`	`43`	`conflicts: [`
`44`	`44`	`"cudajit" {< "0.7.0"}`