Merge pull request #85 from ocaml-community/ocaml-prerelease-test

test suite: add OCaml prerelease
ocaml-community · May 25, 2023 · d90d2a9 · d90d2a9
2 parents 79d6f0e + c83c06f
commit d90d2a9
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/test/dune b/test/dune
@@ -70,7 +70,7 @@
  (action
   (with-stdout-to
    %{targets}
-   (run %{bin:cppo} -V X:123.05.2-alpha.1+foo-2.1 -V COQ:8.13+beta1 %{<}))))
+   (run %{bin:cppo} -V X:123.05.2-alpha.1+foo-2.1 -V COQ:8.13+beta1 -V OCAML:4.12.0~alpha1 %{<}))))
 
 (rule
  (targets test.out)

diff --git a/test/version.cppo b/test/version.cppo
@@ -30,3 +30,5 @@ patch: X_PATCH
 #endif
 
 Coq: COQ_VERSION
+
+OCaml pre-release:  OCAML_PRERELEASE
diff --git a/test/version.ref b/test/version.ref
@@ -35,3 +35,8 @@ patch:
 Coq: 
 # 32 "version.cppo"
       (8, 13, 0) 
+
+# 34 "version.cppo"
+OCaml pre-release:  
+# 34 "version.cppo"
+                     alpha1