This commit is contained in:
Simon Cruanes 2026-03-06 12:02:01 -05:00
parent 068baca4c9
commit 6faf23899f
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 6 additions and 3 deletions

View file

@ -2,7 +2,8 @@
(target version.ml) (target version.ml)
(deps (universe) gen_version.sh) (deps (universe) gen_version.sh)
(action (action
(with-stdout-to version.ml (with-stdout-to
version.ml
(run sh gen_version.sh)))) (run sh gen_version.sh))))
(library (library

View file

@ -1,5 +1,7 @@
val version : string val version : string
(** Version of the library, e.g. ["0.12"]. ["dev"] if not built from a release tag. *) (** Version of the library, e.g. ["0.12"]. ["dev"] if not built from a release
tag. *)
val git_hash : string val git_hash : string
(** Full git commit hash at build time, e.g. ["b92159c1..."]. ["unknown"] if git was unavailable. *) (** Full git commit hash at build time, e.g. ["b92159c1..."]. ["unknown"] if git
was unavailable. *)