; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
(executables
(names main_client main_admin)
(public_names tezos-client tezos-admin-client)
(package tezos-client)
(instrumentation (backend bisect_ppx))
(libraries
tezos-base
tezos-base.unix
tezos-rpc-http-client
tezos-stdlib-unix
tezos-shell-services
tezos-client-base
tezos-client-commands
tezos-mockup-commands
tezos-proxy
tezos-client-base-unix
tezos-signer-backends.unix
uri
(select void_for_linking-tezos-client-genesis from
(tezos-client-genesis -> void_for_linking-tezos-client-genesis.empty)
(-> void_for_linking-tezos-client-genesis.empty))
(select void_for_linking-tezos-client-demo-counter from
(tezos-client-demo-counter -> void_for_linking-tezos-client-demo-counter.empty)
(-> void_for_linking-tezos-client-demo-counter.empty))
(select void_for_linking-tezos-client-000-Ps9mPmXa from
(tezos-client-000-Ps9mPmXa -> void_for_linking-tezos-client-000-Ps9mPmXa.empty)
(-> void_for_linking-tezos-client-000-Ps9mPmXa.empty))
(select void_for_linking-tezos-client-001-PtCJ7pwo-commands-registration from
(tezos-client-001-PtCJ7pwo.commands-registration -> void_for_linking-tezos-client-001-PtCJ7pwo-commands-registration.empty)
(-> void_for_linking-tezos-client-001-PtCJ7pwo-commands-registration.empty))
(select void_for_linking-tezos-client-002-PsYLVpVv-commands-registration from
(tezos-client-002-PsYLVpVv.commands-registration -> void_for_linking-tezos-client-002-PsYLVpVv-commands-registration.empty)
(-> void_for_linking-tezos-client-002-PsYLVpVv-commands-registration.empty))
(select void_for_linking-tezos-client-003-PsddFKi3-commands-registration from
(tezos-client-003-PsddFKi3.commands-registration -> void_for_linking-tezos-client-003-PsddFKi3-commands-registration.empty)
(-> void_for_linking-tezos-client-003-PsddFKi3-commands-registration.empty))
(select void_for_linking-tezos-client-004-Pt24m4xi-commands-registration from
(tezos-client-004-Pt24m4xi.commands-registration -> void_for_linking-tezos-client-004-Pt24m4xi-commands-registration.empty)
(-> void_for_linking-tezos-client-004-Pt24m4xi-commands-registration.empty))
(select void_for_linking-tezos-client-005-PsBabyM1-commands-registration from
(tezos-client-005-PsBabyM1.commands-registration -> void_for_linking-tezos-client-005-PsBabyM1-commands-registration.empty)
(-> void_for_linking-tezos-client-005-PsBabyM1-commands-registration.empty))
(select void_for_linking-tezos-client-006-PsCARTHA-commands-registration from
(tezos-client-006-PsCARTHA.commands-registration -> void_for_linking-tezos-client-006-PsCARTHA-commands-registration.empty)
(-> void_for_linking-tezos-client-006-PsCARTHA-commands-registration.empty))
(select void_for_linking-tezos-client-007-PsDELPH1-commands-registration from
(tezos-client-007-PsDELPH1.commands-registration -> void_for_linking-tezos-client-007-PsDELPH1-commands-registration.empty)
(-> void_for_linking-tezos-client-007-PsDELPH1-commands-registration.empty))
(select void_for_linking-tezos-protocol-plugin-007-PsDELPH1 from
(tezos-protocol-plugin-007-PsDELPH1 -> void_for_linking-tezos-protocol-plugin-007-PsDELPH1.empty)
(-> void_for_linking-tezos-protocol-plugin-007-PsDELPH1.empty))
(select void_for_linking-tezos-client-008-PtEdo2Zk-commands-registration from
(tezos-client-008-PtEdo2Zk.commands-registration -> void_for_linking-tezos-client-008-PtEdo2Zk-commands-registration.empty)
(-> void_for_linking-tezos-client-008-PtEdo2Zk-commands-registration.empty))
(select void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk from
(tezos-protocol-plugin-008-PtEdo2Zk -> void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk.empty)
(-> void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk.empty))
(select void_for_linking-tezos-client-009-PsFLoren-commands-registration from
(tezos-client-009-PsFLoren.commands-registration -> void_for_linking-tezos-client-009-PsFLoren-commands-registration.empty)
(-> void_for_linking-tezos-client-009-PsFLoren-commands-registration.empty))
(select void_for_linking-tezos-protocol-plugin-009-PsFLoren from
(tezos-protocol-plugin-009-PsFLoren -> void_for_linking-tezos-protocol-plugin-009-PsFLoren.empty)
(-> void_for_linking-tezos-protocol-plugin-009-PsFLoren.empty))
(select void_for_linking-tezos-client-010-PtGRANAD-commands-registration from
(tezos-client-010-PtGRANAD.commands-registration -> void_for_linking-tezos-client-010-PtGRANAD-commands-registration.empty)
(-> void_for_linking-tezos-client-010-PtGRANAD-commands-registration.empty))
(select void_for_linking-tezos-protocol-plugin-010-PtGRANAD from
(tezos-protocol-plugin-010-PtGRANAD -> void_for_linking-tezos-protocol-plugin-010-PtGRANAD.empty)
(-> void_for_linking-tezos-protocol-plugin-010-PtGRANAD.empty))
(select void_for_linking-tezos-client-011-PtHangz2-commands-registration from
(tezos-client-011-PtHangz2.commands-registration -> void_for_linking-tezos-client-011-PtHangz2-commands-registration.empty)
(-> void_for_linking-tezos-client-011-PtHangz2-commands-registration.empty))
(select void_for_linking-tezos-protocol-plugin-011-PtHangz2 from
(tezos-protocol-plugin-011-PtHangz2 -> void_for_linking-tezos-protocol-plugin-011-PtHangz2.empty)
(-> void_for_linking-tezos-protocol-plugin-011-PtHangz2.empty))
tezos-client-012-Psithaca.commands-registration
tezos-baking-012-Psithaca-commands.registration
tezos-protocol-plugin-012-Psithaca
tezos-client-013-PtJakart.commands-registration
tezos-baking-013-PtJakart-commands.registration
tezos-protocol-plugin-013-PtJakart
tezos-client-014-PtKathma.commands-registration
tezos-baking-014-PtKathma-commands.registration
tezos-protocol-plugin-014-PtKathma
(select void_for_linking-tezos-client-alpha-commands-registration from
(tezos-client-alpha.commands-registration -> void_for_linking-tezos-client-alpha-commands-registration.empty)
(-> void_for_linking-tezos-client-alpha-commands-registration.empty))
(select void_for_linking-tezos-baking-alpha-commands-registration from
(tezos-baking-alpha-commands.registration -> void_for_linking-tezos-baking-alpha-commands-registration.empty)
(-> void_for_linking-tezos-baking-alpha-commands-registration.empty))
(select void_for_linking-tezos-protocol-plugin-alpha from
(tezos-protocol-plugin-alpha -> void_for_linking-tezos-protocol-plugin-alpha.empty)
(-> void_for_linking-tezos-protocol-plugin-alpha.empty)))
(link_flags
(:standard -linkall)
(:include %{workspace_root}/static-link-flags.sexp))
(flags
(:standard)
-open Tezos_base.TzPervasives
-open Tezos_rpc_http_client
-open Tezos_stdlib_unix
-open Tezos_shell_services
-open Tezos_client_base
-open Tezos_client_commands
-open Tezos_mockup_commands
-open Tezos_client_base_unix))
(rule
(action
(progn
(write-file void_for_linking-tezos-client-genesis.empty "")
(write-file void_for_linking-tezos-client-demo-counter.empty "")
(write-file void_for_linking-tezos-client-000-Ps9mPmXa.empty "")
(write-file void_for_linking-tezos-client-001-PtCJ7pwo-commands-registration.empty "")
(write-file void_for_linking-tezos-client-002-PsYLVpVv-commands-registration.empty "")
(write-file void_for_linking-tezos-client-003-PsddFKi3-commands-registration.empty "")
(write-file void_for_linking-tezos-client-004-Pt24m4xi-commands-registration.empty "")
(write-file void_for_linking-tezos-client-005-PsBabyM1-commands-registration.empty "")
(write-file void_for_linking-tezos-client-006-PsCARTHA-commands-registration.empty "")
(write-file void_for_linking-tezos-client-007-PsDELPH1-commands-registration.empty "")
(write-file void_for_linking-tezos-protocol-plugin-007-PsDELPH1.empty "")
(write-file void_for_linking-tezos-client-008-PtEdo2Zk-commands-registration.empty "")
(write-file void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk.empty "")
(write-file void_for_linking-tezos-client-009-PsFLoren-commands-registration.empty "")
(write-file void_for_linking-tezos-protocol-plugin-009-PsFLoren.empty "")
(write-file void_for_linking-tezos-client-010-PtGRANAD-commands-registration.empty "")
(write-file void_for_linking-tezos-protocol-plugin-010-PtGRANAD.empty "")
(write-file void_for_linking-tezos-client-011-PtHangz2-commands-registration.empty "")
(write-file void_for_linking-tezos-protocol-plugin-011-PtHangz2.empty "")
(write-file void_for_linking-tezos-client-alpha-commands-registration.empty "")
(write-file void_for_linking-tezos-baking-alpha-commands-registration.empty "")
(write-file void_for_linking-tezos-protocol-plugin-alpha.empty ""))))
(install
(package tezos-client)
(section bin)
(files (tezos-init-sandboxed-client.sh as tezos-init-sandboxed-client.sh)))
(rule
(alias runtest_compile_protocol)
(deps (source_tree test/proto_test_injection))
(action
(run
%{bin:tezos-protocol-compiler}
-no-hash-check
-warn-error +a
test/proto_test_injection/)))