2019-11-22 00:06:34 +04:00
|
|
|
(library
|
2019-05-13 00:56:22 +04:00
|
|
|
(name cli)
|
2019-11-22 00:06:34 +04:00
|
|
|
(libraries
|
|
|
|
simple-utils
|
|
|
|
cmdliner
|
|
|
|
ligo
|
|
|
|
)
|
2019-12-07 18:11:33 +04:00
|
|
|
(modules cli cli_helpers version)
|
2019-11-22 00:06:34 +04:00
|
|
|
(preprocess
|
2019-12-11 15:23:11 +04:00
|
|
|
(pps ppx_let bisect_ppx --conditional)
|
2019-11-22 00:06:34 +04:00
|
|
|
)
|
|
|
|
(flags (:standard -open Simple_utils))
|
|
|
|
)
|
|
|
|
|
2019-12-07 18:11:33 +04:00
|
|
|
(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}\""))))
|
|
|
|
|
2019-11-22 00:06:34 +04:00
|
|
|
(executable
|
2019-11-29 23:22:13 +04:00
|
|
|
(name runligo)
|
2019-05-13 00:56:22 +04:00
|
|
|
(public_name ligo)
|
|
|
|
(libraries
|
|
|
|
simple-utils
|
|
|
|
cmdliner
|
|
|
|
ligo
|
2019-11-22 00:06:34 +04:00
|
|
|
cli
|
2019-05-13 00:56:22 +04:00
|
|
|
)
|
2019-11-29 23:22:13 +04:00
|
|
|
(modules runligo)
|
2019-05-13 00:56:22 +04:00
|
|
|
(package ligo)
|
|
|
|
(preprocess
|
2019-12-11 22:07:52 +04:00
|
|
|
(pps ppx_let bisect_ppx --conditional)
|
2019-05-13 00:56:22 +04:00
|
|
|
)
|
|
|
|
(flags (:standard -open Simple_utils))
|
|
|
|
)
|