diff options
Diffstat (limited to 'build-aux/ocaml_version.m4')
| -rw-r--r-- | build-aux/ocaml_version.m4 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build-aux/ocaml_version.m4 b/build-aux/ocaml_version.m4 index fc33d15b94..7c5df90beb 100644 --- a/build-aux/ocaml_version.m4 +++ b/build-aux/ocaml_version.m4 @@ -83,3 +83,8 @@ m4_define([OCAML__VERSION_NUMBER], OCAML__VERSION_MAJOR, OCAML__VERSION_MINOR, OCAML__VERSION_PATCHLEVEL)]) + +m4_define([OCAML__RELEASE_EXTRA], + m4_if(OCAML__VERSION_EXTRA,[],[None], + ['Some (]m4_if(OCAML__VERSION_EXTRA_PREFIX,+,[Plus], + [Tilde])[, "]OCAML__VERSION_EXTRA[")']))])) |