From cd45df53d63174ad77f05d93d34472f4cdbd639a Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Tue, 12 Sep 2023 14:02:11 +0300
Subject: [PATCH] Add opam post-message about OCaml 5 benchmarking

---
 goblint.opam          | 3 +++
 goblint.opam.locked   | 3 +++
 goblint.opam.template | 3 +++
 3 files changed, 9 insertions(+)

diff --git a/goblint.opam b/goblint.opam
index a20df919d0..59f8a59c09 100644
--- a/goblint.opam
+++ b/goblint.opam
@@ -81,3 +81,6 @@ pin-depends: [
   # TODO: add back after release, only pinned for CI stability
   [ "apron.v0.9.13" "git+https://github.com/antoinemine/apron.git#1a8e91062c0d7d1e80333d19d5a432332bbbaec8"]
 ]
+post-messages: [
+  "Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}
+]
diff --git a/goblint.opam.locked b/goblint.opam.locked
index acb49a7b14..fe5bb65a00 100644
--- a/goblint.opam.locked
+++ b/goblint.opam.locked
@@ -140,3 +140,6 @@ pin-depends: [
     "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6"
   ]
 ]
+post-messages: [
+  "Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}
+]
diff --git a/goblint.opam.template b/goblint.opam.template
index b7f5a7abff..5c13293196 100644
--- a/goblint.opam.template
+++ b/goblint.opam.template
@@ -8,3 +8,6 @@ pin-depends: [
   # TODO: add back after release, only pinned for CI stability
   [ "apron.v0.9.13" "git+https://github.com/antoinemine/apron.git#1a8e91062c0d7d1e80333d19d5a432332bbbaec8"]
 ]
+post-messages: [
+  "Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}
+]