fix ci config

hhugo · hhugo · commit 7ecb271177cf · 2025-09-09T11:35:29.000+02:00
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -47,24 +47,6 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     steps:
-      - name: set ppx-related variables
-        id: configppx
-        shell: bash
-        run: |
-          case ${{ matrix.ocaml-compiler }} in
-            "4.08"|"4.09"|"4.10"|"4.11"|"4.12"|"4.13"|"4.14"|"5.0")
-              echo "letppx=false"
-              echo "letppx=false" >> "$GITHUB_OUTPUT"
-              ;;
-            "5.1"|"5.2"|"5.3")
-              echo "letppx=true"
-              echo "letppx=true" >> "$GITHUB_OUTPUT"
-              ;;
-            *)
-              printf "unrecognised version %s\n" "${{ matrix.ocaml-compiler }}";
-              exit 1
-              ;;
-          esac
 
       - name: Checkout tree
         uses: actions/checkout@v5
@@ -74,6 +56,13 @@ jobs:
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
+      - name: set ppx-related variables
+        id: configppx
+        shell: bash
+        run: |
+          opam exec -- dune exec src/util/letppx.exe
+          opam exec -- dune exec src/util/letppx.exe >> "$GITHUB_OUTPUT"
+
       - run: opam install conf-libev
         if: ${{ matrix.libev == true }}
 
diff --git a/src/util/dune b/src/util/dune
@@ -0,0 +1,2 @@
+(executable
+ (name letppx))
diff --git a/src/util/letppx.ml b/src/util/letppx.ml
@@ -0,0 +1,7 @@
+let () =
+  match String.split_on_char '.' Sys.ocaml_version with
+  | "4" :: _ | "5" :: "0" :: _ -> print_endline "letppx=false"
+  | "5" :: _ -> print_endline "letppx=true"
+  | _ ->
+      print_endline ("unrecognised version " ^ Sys.ocaml_version);
+      exit 1
