swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: 040af5c8affd25febc1cf77cd0b2673714b0019e authored by Ding Xiang Fei on 14 June 2022, 10:42:58 UTC
Proto: propose gas model
Tip revision: 040af5c
dune
(vendored_dirs vendors)
(data_only_dirs _opam-repo-for-release)
(env
 (dev
  (binaries (%{workspace_root}/src/tooling/node_wrapper.exe as node))
  (flags (:standard -w +a@1..72-4-40..42-44-45-48-60-67-69-70)))
;;   4 [fragile-match]
;;  40 [name-out-of-scope]
;;  41 [ambiguous-name]
;;  42 [disambiguated-name]
;;  44 [open-shadow-identifier]
;;  45 [open-shadow-label-constructor]
;;  48 [eliminated-optional-arguments]
;;  60 [unused-module]
;;  67 [unused-functor-parameter]
;;  69 [unused-field]
;;  70 [missing-mli]
 (_
  (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