Skip to main content

Browse the archive

https://gitlab.com/tezos/tezos
05 April 2024, 14:00:10 UTC
Revision 2ec99085eeef65998d520a01e51c82089306a609 authored by Marge Bot on 21 March 2024, 16:09:08 UTC, committed by Marge Bot on 21 March 2024, 16:09:08 UTC 
Merge tezos/tezos!10966: Kaitai: Add input samples for semantic validation of ground int encodings
 
Co-authored-by: Martin Tomazic <martin.tomazic97@gmail.com>

Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Approved-by: Raphaël Proust <code@bnwr.net>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10966
2 parent s 1020fb2 + 853ed60
Raw File
Tip revision: 2ec99085eeef65998d520a01e51c82089306a609 authored by Marge Bot on 21 March 2024, 16:09:08 UTC
Merge tezos/tezos!10966: Kaitai: Add input samples for semantic validation of ground int encodings
Tip revision: 2ec9908
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 '()'"))))

; This file is included in the link_flags stanza of binaries and static libraries
; for which we should include -ccopt "-framework Security" on macOS.
(rule
 (target macos-link-flags.sexp)
 (action (with-stdout-to %{target}
  (system "[ '%{system}' = 'macosx' ] && echo '(-ccopt \"-framework Security\")' || echo '(-ccopt \"-Wl,-allow-multiple-definition\")'"))))
back to top