2017-11-27 06:13:12 +01:00
|
|
|
(library
|
2018-07-25 21:06:02 +02:00
|
|
|
(name tezos_base)
|
|
|
|
(public_name tezos-base)
|
|
|
|
(flags (:standard -w -30
|
|
|
|
-open Tezos_stdlib
|
|
|
|
-open Tezos_crypto
|
|
|
|
-open Tezos_data_encoding
|
|
|
|
-open Tezos_error_monad
|
|
|
|
-open Tezos_rpc
|
|
|
|
-open Tezos_clic
|
|
|
|
-open Tezos_micheline
|
|
|
|
-safe-string))
|
|
|
|
(libraries tezos-stdlib
|
|
|
|
tezos-crypto
|
|
|
|
tezos-data-encoding
|
|
|
|
tezos-error-monad
|
|
|
|
tezos-rpc
|
|
|
|
tezos-clic
|
|
|
|
tezos-micheline
|
|
|
|
re.str
|
|
|
|
calendar
|
|
|
|
ezjsonm
|
|
|
|
lwt.unix
|
|
|
|
mtime.clock.os
|
|
|
|
ipaddr.unix))
|
2017-11-27 06:13:12 +01:00
|
|
|
|
|
|
|
(alias
|
2018-07-25 21:06:02 +02:00
|
|
|
(name runtest_indent)
|
|
|
|
(deps (glob_files *.ml{,i}))
|
|
|
|
(action (run bash %{libexec:tezos-stdlib:test-ocp-indent.sh} %{deps})))
|