; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(executables
 (names
  test_michelson_v1_macros
  test_client_proto_contracts
  test_client_proto_context
  test_proxy)
 (libraries
  tezos-base
  tezos-micheline
  tezos-client-011-PtHangz2
  tezos-protocol-011-PtHangz2
  tezos-base-test-helpers
  tezos-test-helpers
  alcotest-lwt
  qcheck-alcotest)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base.TzPervasives.Error_monad.Legacy_monad_globals
  -open Tezos_micheline
  -open Tezos_client_011_PtHangz2
  -open Tezos_protocol_011_PtHangz2
  -open Tezos_base_test_helpers
  -open Lib_test))

(rule
 (alias runtest)
 (package tezos-client-011-PtHangz2)
 (action (run %{dep:./test_michelson_v1_macros.exe})))

(rule
 (alias runtest)
 (package tezos-client-011-PtHangz2)
 (action (run %{dep:./test_client_proto_contracts.exe})))

(rule
 (alias runtest)
 (package tezos-client-011-PtHangz2)
 (action (run %{dep:./test_client_proto_context.exe})))

(rule
 (alias runtest)
 (package tezos-client-011-PtHangz2)
 (action (run %{dep:./test_proxy.exe})))