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

(executable
 (name main)
 (public_name octez-node)
 (package octez-node)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-base.unix
  tezos-version
  octez-node-config
  tezos-stdlib-unix
  tezos-shell-services
  tezos-rpc-http
  tezos-rpc-http-server
  tezos-p2p
  tezos-shell
  tezos-store
  tezos-store.unix-reconstruction
  tezos-store.unix-snapshots
  tezos-context
  tezos-validation
  tezos-shell-context
  tezos-workers
  tezos-protocol-updater
  cmdliner
  fmt.cli
  fmt.tty
  tls
  prometheus-app.unix
  lwt-exit
  uri
  (select void_for_linking-tezos-embedded-protocol-genesis from
   (tezos-embedded-protocol-genesis -> void_for_linking-tezos-embedded-protocol-genesis.empty)
   (-> void_for_linking-tezos-embedded-protocol-genesis.empty))
  (select void_for_linking-tezos-embedded-protocol-demo-noops from
   (tezos-embedded-protocol-demo-noops -> void_for_linking-tezos-embedded-protocol-demo-noops.empty)
   (-> void_for_linking-tezos-embedded-protocol-demo-noops.empty))
  (select void_for_linking-tezos-embedded-protocol-demo-counter from
   (tezos-embedded-protocol-demo-counter -> void_for_linking-tezos-embedded-protocol-demo-counter.empty)
   (-> void_for_linking-tezos-embedded-protocol-demo-counter.empty))
  tezos-embedded-protocol-000-Ps9mPmXa
  (select void_for_linking-tezos-embedded-protocol-001-PtCJ7pwo from
   (tezos-embedded-protocol-001-PtCJ7pwo -> void_for_linking-tezos-embedded-protocol-001-PtCJ7pwo.empty)
   (-> void_for_linking-tezos-embedded-protocol-001-PtCJ7pwo.empty))
  (select void_for_linking-tezos-embedded-protocol-002-PsYLVpVv from
   (tezos-embedded-protocol-002-PsYLVpVv -> void_for_linking-tezos-embedded-protocol-002-PsYLVpVv.empty)
   (-> void_for_linking-tezos-embedded-protocol-002-PsYLVpVv.empty))
  (select void_for_linking-tezos-embedded-protocol-003-PsddFKi3 from
   (tezos-embedded-protocol-003-PsddFKi3 -> void_for_linking-tezos-embedded-protocol-003-PsddFKi3.empty)
   (-> void_for_linking-tezos-embedded-protocol-003-PsddFKi3.empty))
  (select void_for_linking-tezos-embedded-protocol-004-Pt24m4xi from
   (tezos-embedded-protocol-004-Pt24m4xi -> void_for_linking-tezos-embedded-protocol-004-Pt24m4xi.empty)
   (-> void_for_linking-tezos-embedded-protocol-004-Pt24m4xi.empty))
  (select void_for_linking-tezos-embedded-protocol-005-PsBABY5H from
   (tezos-embedded-protocol-005-PsBABY5H -> void_for_linking-tezos-embedded-protocol-005-PsBABY5H.empty)
   (-> void_for_linking-tezos-embedded-protocol-005-PsBABY5H.empty))
  (select void_for_linking-tezos-embedded-protocol-005-PsBabyM1 from
   (tezos-embedded-protocol-005-PsBabyM1 -> void_for_linking-tezos-embedded-protocol-005-PsBabyM1.empty)
   (-> void_for_linking-tezos-embedded-protocol-005-PsBabyM1.empty))
  (select void_for_linking-tezos-embedded-protocol-006-PsCARTHA from
   (tezos-embedded-protocol-006-PsCARTHA -> void_for_linking-tezos-embedded-protocol-006-PsCARTHA.empty)
   (-> void_for_linking-tezos-embedded-protocol-006-PsCARTHA.empty))
  (select void_for_linking-tezos-embedded-protocol-007-PsDELPH1 from
   (tezos-embedded-protocol-007-PsDELPH1 -> void_for_linking-tezos-embedded-protocol-007-PsDELPH1.empty)
   (-> void_for_linking-tezos-embedded-protocol-007-PsDELPH1.empty))
  (select void_for_linking-tezos-protocol-plugin-007-PsDELPH1-registerer from
   (tezos-protocol-plugin-007-PsDELPH1-registerer -> void_for_linking-tezos-protocol-plugin-007-PsDELPH1-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-007-PsDELPH1-registerer.empty))
  (select void_for_linking-tezos-embedded-protocol-008-PtEdoTez from
   (tezos-embedded-protocol-008-PtEdoTez -> void_for_linking-tezos-embedded-protocol-008-PtEdoTez.empty)
   (-> void_for_linking-tezos-embedded-protocol-008-PtEdoTez.empty))
  (select void_for_linking-tezos-embedded-protocol-008-PtEdo2Zk from
   (tezos-embedded-protocol-008-PtEdo2Zk -> void_for_linking-tezos-embedded-protocol-008-PtEdo2Zk.empty)
   (-> void_for_linking-tezos-embedded-protocol-008-PtEdo2Zk.empty))
  (select void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk-registerer from
   (tezos-protocol-plugin-008-PtEdo2Zk-registerer -> void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk-registerer.empty))
  (select void_for_linking-tezos-embedded-protocol-009-PsFLoren from
   (tezos-embedded-protocol-009-PsFLoren -> void_for_linking-tezos-embedded-protocol-009-PsFLoren.empty)
   (-> void_for_linking-tezos-embedded-protocol-009-PsFLoren.empty))
  (select void_for_linking-tezos-protocol-plugin-009-PsFLoren-registerer from
   (tezos-protocol-plugin-009-PsFLoren-registerer -> void_for_linking-tezos-protocol-plugin-009-PsFLoren-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-009-PsFLoren-registerer.empty))
  (select void_for_linking-tezos-embedded-protocol-010-PtGRANAD from
   (tezos-embedded-protocol-010-PtGRANAD -> void_for_linking-tezos-embedded-protocol-010-PtGRANAD.empty)
   (-> void_for_linking-tezos-embedded-protocol-010-PtGRANAD.empty))
  (select void_for_linking-tezos-protocol-plugin-010-PtGRANAD-registerer from
   (tezos-protocol-plugin-010-PtGRANAD-registerer -> void_for_linking-tezos-protocol-plugin-010-PtGRANAD-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-010-PtGRANAD-registerer.empty))
  (select void_for_linking-tezos-embedded-protocol-011-PtHangz2 from
   (tezos-embedded-protocol-011-PtHangz2 -> void_for_linking-tezos-embedded-protocol-011-PtHangz2.empty)
   (-> void_for_linking-tezos-embedded-protocol-011-PtHangz2.empty))
  (select void_for_linking-tezos-protocol-plugin-011-PtHangz2-registerer from
   (tezos-protocol-plugin-011-PtHangz2-registerer -> void_for_linking-tezos-protocol-plugin-011-PtHangz2-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-011-PtHangz2-registerer.empty))
  (select void_for_linking-tezos-embedded-protocol-012-Psithaca from
   (tezos-embedded-protocol-012-Psithaca -> void_for_linking-tezos-embedded-protocol-012-Psithaca.empty)
   (-> void_for_linking-tezos-embedded-protocol-012-Psithaca.empty))
  (select void_for_linking-tezos-protocol-plugin-012-Psithaca-registerer from
   (tezos-protocol-plugin-012-Psithaca-registerer -> void_for_linking-tezos-protocol-plugin-012-Psithaca-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-012-Psithaca-registerer.empty))
  (select void_for_linking-tezos-embedded-protocol-013-PtJakart from
   (tezos-embedded-protocol-013-PtJakart -> void_for_linking-tezos-embedded-protocol-013-PtJakart.empty)
   (-> void_for_linking-tezos-embedded-protocol-013-PtJakart.empty))
  (select void_for_linking-tezos-protocol-plugin-013-PtJakart-registerer from
   (tezos-protocol-plugin-013-PtJakart-registerer -> void_for_linking-tezos-protocol-plugin-013-PtJakart-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-013-PtJakart-registerer.empty))
  tezos-embedded-protocol-014-PtKathma
  tezos-protocol-plugin-014-PtKathma-registerer
  tezos-embedded-protocol-015-PtLimaPt
  tezos-protocol-plugin-015-PtLimaPt-registerer
  (select void_for_linking-tezos-embedded-protocol-alpha from
   (tezos-embedded-protocol-alpha -> void_for_linking-tezos-embedded-protocol-alpha.empty)
   (-> void_for_linking-tezos-embedded-protocol-alpha.empty))
  (select void_for_linking-tezos-protocol-plugin-alpha-registerer from
   (tezos-protocol-plugin-alpha-registerer -> void_for_linking-tezos-protocol-plugin-alpha-registerer.empty)
   (-> void_for_linking-tezos-protocol-plugin-alpha-registerer.empty)))
 (link_flags
  (:standard -linkall)
  (:include %{workspace_root}/static-link-flags.sexp))
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base
  -open Octez_node_config
  -open Tezos_stdlib_unix
  -open Tezos_shell_services
  -open Tezos_rpc_http
  -open Tezos_rpc_http_server
  -open Tezos_p2p
  -open Tezos_shell
  -open Tezos_store
  -open Tezos_store_unix_reconstruction
  -open Tezos_store_unix_snapshots
  -open Tezos_context
  -open Tezos_validation
  -open Tezos_shell_context
  -open Tezos_workers
  -open Tezos_protocol_updater))

(rule
 (action
  (progn
   (write-file void_for_linking-tezos-embedded-protocol-genesis.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-demo-noops.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-demo-counter.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-001-PtCJ7pwo.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-002-PsYLVpVv.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-003-PsddFKi3.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-004-Pt24m4xi.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-005-PsBABY5H.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-005-PsBabyM1.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-006-PsCARTHA.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-007-PsDELPH1.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-007-PsDELPH1-registerer.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-008-PtEdoTez.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-008-PtEdo2Zk.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-008-PtEdo2Zk-registerer.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-009-PsFLoren.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-009-PsFLoren-registerer.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-010-PtGRANAD.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-010-PtGRANAD-registerer.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-011-PtHangz2.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-011-PtHangz2-registerer.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-012-Psithaca.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-012-Psithaca-registerer.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-013-PtJakart.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-013-PtJakart-registerer.empty "")
   (write-file void_for_linking-tezos-embedded-protocol-alpha.empty "")
   (write-file void_for_linking-tezos-protocol-plugin-alpha-registerer.empty ""))))

(install
 (package octez-node)
 (section bin)
 (files (octez-sandboxed-node.sh as octez-sandboxed-node.sh)))