Skip to main content

Browse the archive

https://gitlab.com/tezos/tezos
05 April 2024, 14:00:10 UTC
Revision 68d6cb9d3562dff700f156763981e4e816333928 authored by Andrea Cerone on 19 January 2023, 17:18:10 UTC, committed by Andrea Cerone on 19 January 2023, 17:18:10 UTC 
Fixup: manifest
1 parent 2072b66
Raw File
Tip revision: 68d6cb9d3562dff700f156763981e4e816333928 authored by Andrea Cerone on 19 January 2023, 17:18:10 UTC
Fixup: manifest
Tip revision: 68d6cb9
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