ligo/src/bin/dune

38 lines
729 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
2019-12-11 12:23:11 +01:00
(pps ppx_let bisect_ppx --conditional)
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
2019-09-05 15:21:01 +02:00
(pps ppx_let)
2019-05-12 20:56:22 +00:00
)
(flags (:standard -open Simple_utils))
)