Add --version via dune rule
This commit is contained in:
parent
32d53cf9e6
commit
e914833600
@ -2,11 +2,18 @@ open Cmdliner
|
|||||||
open Trace
|
open Trace
|
||||||
open Cli_helpers
|
open Cli_helpers
|
||||||
|
|
||||||
|
let version =
|
||||||
|
Format.asprintf
|
||||||
|
"Rolling release\nHash: %s\nDate: %s\nCI job id: %s"
|
||||||
|
Version.hash
|
||||||
|
Version.commit_date
|
||||||
|
Version.job_id
|
||||||
|
|
||||||
let main =
|
let main =
|
||||||
let man =
|
let man =
|
||||||
[ `S "MORE HELP";
|
[ `S "MORE HELP";
|
||||||
`P "Use `$(mname) $(i,COMMAND) --help' for help on a single command." ] in
|
`P "Use `$(mname) $(i,COMMAND) --help' for help on a single command." ] in
|
||||||
(Term.(ret (const (`Help (`Auto, None)))), Term.info "ligo" ~man)
|
(Term.(ret (const (`Help (`Auto, None)))), Term.info "ligo" ~version ~man)
|
||||||
|
|
||||||
let source_file n =
|
let source_file n =
|
||||||
let open Arg in
|
let open Arg in
|
||||||
|
@ -5,13 +5,20 @@
|
|||||||
cmdliner
|
cmdliner
|
||||||
ligo
|
ligo
|
||||||
)
|
)
|
||||||
(modules cli cli_helpers)
|
(modules cli cli_helpers version)
|
||||||
(preprocess
|
(preprocess
|
||||||
(pps ppx_let)
|
(pps ppx_let)
|
||||||
)
|
)
|
||||||
(flags (:standard -open Simple_utils))
|
(flags (:standard -open Simple_utils))
|
||||||
)
|
)
|
||||||
|
|
||||||
|
(rule
|
||||||
|
(targets version.ml)
|
||||||
|
(action (with-stdout-to
|
||||||
|
version.ml
|
||||||
|
(run "sh" "-c"
|
||||||
|
"printf 'let hash = \"%s\"\nlet commit_date = \"%s\"\nlet job_id = \"%s\"\n' \"$(git rev-parse HEAD)\" \"$(git show --no-patch --format=%ci)\" \"${CI_JOB_ID}\""))))
|
||||||
|
|
||||||
(executable
|
(executable
|
||||||
(name runligo)
|
(name runligo)
|
||||||
(public_name ligo)
|
(public_name ligo)
|
||||||
|
Loading…
Reference in New Issue
Block a user