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

(executable
 (name main_dal)
 (public_name tezos-dal-node)
 (package tezos-dal-node)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-base.unix
  tezos-client-base
  tezos-client-base-unix
  tezos-client-commands
  tezos-rpc-http
  tezos-rpc-http-server
  tezos-protocol-updater
  tezos-rpc-http-client-unix
  tezos-stdlib-unix
  tezos-stdlib
  tezos_dal_node_lib
  tezos_dal_node_services
  tezos-crypto-dal
  irmin-pack
  irmin-pack.unix
  irmin
  (select void_for_linking-tezos-dal-alpha from
   (tezos-dal-alpha -> void_for_linking-tezos-dal-alpha.empty)
   (-> void_for_linking-tezos-dal-alpha.empty)))
 (link_flags
  (:standard)
  (:include %{workspace_root}/static-link-flags.sexp))
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_client_base
  -open Tezos_client_base_unix
  -open Tezos_client_commands
  -open Tezos_rpc_http
  -open Tezos_stdlib_unix
  -open Tezos_stdlib
  -open Tezos_dal_node_lib
  -open Tezos_dal_node_services
  -open Tezos_crypto_dal))

(rule (action (progn (write-file void_for_linking-tezos-dal-alpha.empty ""))))