https://gitlab.com/tezos/tezos
Raw File
Tip revision: 2e5fbd8b5e04dbd3157926b22f3a392384b98fb6 authored by Pietro Abate on 12 May 2023, 12:04:15 UTC
CI: set reserved-for-profiling runners tags
Tip revision: 2e5fbd8
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(executable
 (name main_dal)
 (public_name octez-dal-node)
 (package octez-dal-node)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-base.unix
  tezos-clic
  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_layer2_store
  tezos-crypto-dal
  tezos-store.unix
  tezos-store.shared
  tezos-gossipsub
  tezos-dal-node-lib.gossipsub
  irmin-pack
  irmin-pack.unix
  irmin
  tezos-dal-016-PtMumbai
  tezos-dal-017-PtNairob
  (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)
  (:include %{workspace_root}/macos-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_layer2_store
  -open Tezos_crypto_dal
  -open Tezos_store_unix
  -open Tezos_store_shared
  -open Tezos_gossipsub
  -open Tezos_dal_node_lib_gossipsub))

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