ligo/src/bin/dune

39 lines
820 B
Plaintext
Raw Normal View History

2019-11-21 14:06:34 -06:00
(library
2019-05-12 20:56:22 +00:00
(name cli)
2019-11-21 14:06:34 -06:00
(libraries
simple-utils
cmdliner
ligo
)
2019-12-07 08:11:33 -06:00
(modules cli cli_helpers version)
2019-11-21 14:06:34 -06:00
(preprocess
2020-01-08 10:54:21 +00:00
(pps ppx_let ppx_blob bisect_ppx --conditional)
2019-11-21 14:06:34 -06:00
)
2020-01-08 10:54:21 +00:00
(preprocessor_deps (file ../../CHANGELOG.md))
2019-11-21 14:06:34 -06:00
(flags (:standard -open Simple_utils))
)
2019-12-07 08:11:33 -06: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-21 14:06:34 -06:00
(executable
(name runligo)
2019-05-12 20:56:22 +00:00
(public_name ligo)
(libraries
simple-utils
cmdliner
ligo
2019-11-21 14:06:34 -06:00
cli
2019-05-12 20:56:22 +00:00
)
(modules runligo)
2019-05-12 20:56:22 +00:00
(package ligo)
(preprocess
2020-01-08 10:54:21 +00:00
(pps ppx_let ppx_blob bisect_ppx --conditional)
2019-05-12 20:56:22 +00:00
)
(flags (:standard -open Simple_utils))
)