https://gitlab.com/tezos/tezos
Raw File
Tip revision: a36cb6f76ff42c2eaa8ada9c06ea89e9c8d21704 authored by Nicolas Ochem on 27 January 2023, 05:27:51 UTC
Shell: Remove stale ghostnet boot peers
Tip revision: a36cb6f
dune
(vendored_dirs vendors)
(data_only_dirs _opam-repo-for-release)
(env
 (_
  (binaries (%{workspace_root}/src/tooling/node_wrapper.exe as node))))

; This file is included in the link_flags stanza of binaries for which
; we want a static build.
; If the current dune profile is "static", it contains the flag
; telling the compiler to compile static executables.
; Else it contains no flags.
(rule
 (target static-link-flags.sexp)
 (action (with-stdout-to %{target}
  (system "[ '%{profile}' = 'static' ] && echo '(-ccopt -static -cclib -lusb-1.0 -cclib -ludev)' || echo '()'"))))
back to top