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
|
|
|
|
)
|
|
|
|
(modules cli cli_helpers)
|
|
|
|
(preprocess
|
|
|
|
(pps ppx_let)
|
|
|
|
)
|
|
|
|
(flags (:standard -open Simple_utils))
|
|
|
|
)
|
|
|
|
|
|
|
|
(executable
|
|
|
|
(name ligo)
|
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
|
|
|
)
|
2019-11-21 14:06:34 -06:00
|
|
|
(modules ligo)
|
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))
|
|
|
|
)
|