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

(executable
 (name codec)
 (public_name tezos-codec)
 (package tezos-codec)
 (instrumentation (backend bisect_ppx))
 (libraries
  data-encoding
  tezos-base
  tezos-base.unix
  tezos-client-base-unix
  tezos-client-base
  tezos-clic
  tezos-stdlib-unix
  tezos-event-logging
  tezos-signer-services
  (select void_for_linking-tezos-client-005-PsBabyM1 from
   (tezos-client-005-PsBabyM1 -> void_for_linking-tezos-client-005-PsBabyM1.empty)
   (-> void_for_linking-tezos-client-005-PsBabyM1.empty))
  (select void_for_linking-tezos-client-006-PsCARTHA from
   (tezos-client-006-PsCARTHA -> void_for_linking-tezos-client-006-PsCARTHA.empty)
   (-> void_for_linking-tezos-client-006-PsCARTHA.empty))
  (select void_for_linking-tezos-client-007-PsDELPH1 from
   (tezos-client-007-PsDELPH1 -> void_for_linking-tezos-client-007-PsDELPH1.empty)
   (-> void_for_linking-tezos-client-007-PsDELPH1.empty))
  (select void_for_linking-tezos-client-008-PtEdo2Zk from
   (tezos-client-008-PtEdo2Zk -> void_for_linking-tezos-client-008-PtEdo2Zk.empty)
   (-> void_for_linking-tezos-client-008-PtEdo2Zk.empty))
  (select void_for_linking-tezos-client-009-PsFLoren from
   (tezos-client-009-PsFLoren -> void_for_linking-tezos-client-009-PsFLoren.empty)
   (-> void_for_linking-tezos-client-009-PsFLoren.empty))
  (select void_for_linking-tezos-client-010-PtGRANAD from
   (tezos-client-010-PtGRANAD -> void_for_linking-tezos-client-010-PtGRANAD.empty)
   (-> void_for_linking-tezos-client-010-PtGRANAD.empty))
  (select void_for_linking-tezos-client-011-PtHangz2 from
   (tezos-client-011-PtHangz2 -> void_for_linking-tezos-client-011-PtHangz2.empty)
   (-> void_for_linking-tezos-client-011-PtHangz2.empty))
  (select void_for_linking-tezos-client-012-Psithaca from
   (tezos-client-012-Psithaca -> void_for_linking-tezos-client-012-Psithaca.empty)
   (-> void_for_linking-tezos-client-012-Psithaca.empty))
  (select void_for_linking-tezos-client-013-PtJakart from
   (tezos-client-013-PtJakart -> void_for_linking-tezos-client-013-PtJakart.empty)
   (-> void_for_linking-tezos-client-013-PtJakart.empty))
  (select void_for_linking-tezos-client-014-PtKathma from
   (tezos-client-014-PtKathma -> void_for_linking-tezos-client-014-PtKathma.empty)
   (-> void_for_linking-tezos-client-014-PtKathma.empty))
  (select void_for_linking-tezos-client-alpha from
   (tezos-client-alpha -> void_for_linking-tezos-client-alpha.empty)
   (-> void_for_linking-tezos-client-alpha.empty)))
 (link_flags
  (:standard -linkall)
  (:include %{workspace_root}/static-link-flags.sexp))
 (flags
  (:standard)
  -open Data_encoding
  -open Tezos_base.TzPervasives
  -open Tezos_client_base_unix
  -open Tezos_client_base
  -open Tezos_clic
  -open Tezos_stdlib_unix
  -open Tezos_event_logging))

(rule
 (action
  (progn
   (write-file void_for_linking-tezos-client-005-PsBabyM1.empty "")
   (write-file void_for_linking-tezos-client-006-PsCARTHA.empty "")
   (write-file void_for_linking-tezos-client-007-PsDELPH1.empty "")
   (write-file void_for_linking-tezos-client-008-PtEdo2Zk.empty "")
   (write-file void_for_linking-tezos-client-009-PsFLoren.empty "")
   (write-file void_for_linking-tezos-client-010-PtGRANAD.empty "")
   (write-file void_for_linking-tezos-client-011-PtHangz2.empty "")
   (write-file void_for_linking-tezos-client-012-Psithaca.empty "")
   (write-file void_for_linking-tezos-client-013-PtJakart.empty "")
   (write-file void_for_linking-tezos-client-014-PtKathma.empty "")
   (write-file void_for_linking-tezos-client-alpha.empty ""))))