Restrict rewriter OCaml version on ARM

Fixes mit-plv/rewriter#97
coq · Sep 22, 2023 · 53d1113 · 53d1113
1 parent 13c865f
commit 53d1113
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extra-dev/packages/coq-rewriter/coq-rewriter.dev/opam b/extra-dev/packages/coq-rewriter/coq-rewriter.dev/opam
@@ -12,7 +12,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "ocaml" {build}
+  "ocaml" {>= "4.14.0" | (arch != "arm64" & arch != "aarch64")}
   "coq" {>= "8.15~"}
 ]
 dev-repo: "git+https://github.com/mit-plv/rewriter.git"