https://gitlab.com/tezos/tezos
Raw File
Tip revision: c7a85859c23d1cbe95fad69b61fe9d17282ba0f2 authored by François Thiré on 27 July 2022, 19:10:08 UTC
francois@kate-commitment-with-proof
Tip revision: c7a8585
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)' || echo '()'"))))
back to top