(jbuild_version 1)

(executable
 ((name main)
  (libraries (tezos-base
              tezos-test-helpers
              tezos-micheline
              tezos_proto_alpha_isolate_helpers
              tezos_proto_alpha_isolate_michelson_parser))
  (flags (:standard -w -9-32 -safe-string
                    -open Tezos_base__TzPervasives
                    -open Tezos_test_helpers
                    -open Tezos_micheline
                    -open Tezos_proto_alpha_isolate_michelson_parser))))

(alias
 ((name buildtest)
  (package tezos-protocol-alpha)
  (deps (main.exe))))

(alias
 ((name runtest_proto_alpha)
  (package tezos-protocol-alpha)
  (deps (sandbox.json (glob_files contracts/*.tz)))
  (action (chdir ${ROOT} (run ${exe:main.exe} ${path-no-dep:contracts})))))

(alias
 ((name runtest)
  (package tezos-protocol-alpha)
  (deps ((alias runtest_proto_alpha)))))

(alias
 ((name runtest_indent)
  (deps ((glob_files *.ml*)))
  (action (run bash ${libexec:tezos-stdlib:test-ocp-indent.sh} ${^}))))