flambda-backend: Local patch against upstream: enable function sectio…

…ns in the Dune build
chambart · Jun 29, 2021 · d364bfa · d364bfa
1 parent 886b800
commit d364bfa
Show file tree

Hide file tree

Showing 8 changed files with 9 additions and 0 deletions.
diff --git a/dune b/dune
@@ -39,6 +39,7 @@
    -w -67
    ; remove -w -67 by adding the camlinternalMenhirLib hack like the Makefile
  ))
+ (ocamlopt_flags (:standard -function-sections))
  (library_flags -linkall)
  (libraries stdlib)
  (modules_without_implementation
@@ -89,6 +90,7 @@
    -nostdlib -strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66
    -warn-error A -bin-annot -safe-string -strict-formats
  ))
+ (ocamlopt_flags (:standard -function-sections))
  (libraries stdlib ocamlcommon)
  (modules
     ;; bytecomp/

diff --git a/lex/dune b/lex/dune
@@ -16,6 +16,7 @@
   (wrapped false)
   (modes byte native)
   (flags (:standard -principal -nostdlib))
+  (ocamlopt_flags (:standard -function-sections))
   (libraries stdlib)
   (modules
     common

diff --git a/otherlibs/bigarray/dune b/otherlibs/bigarray/dune
@@ -20,6 +20,7 @@
    -nostdlib -strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66
    -warn-error A -bin-annot -safe-string -strict-formats
  ))
+ (ocamlopt_flags (:standard -function-sections))
  (library_flags (:standard -linkall))
  (libraries stdlib))
 

diff --git a/otherlibs/dynlink/dune b/otherlibs/dynlink/dune
@@ -20,6 +20,7 @@
     -nostdlib -strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48
     -warn-error A -bin-annot -safe-string -strict-formats
   ))
+  (ocamlopt_flags (:standard -function-sections))
   (modules
     binutils
     local_store

diff --git a/otherlibs/str/dune b/otherlibs/str/dune
@@ -20,6 +20,7 @@
    -nostdlib -strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66
    -warn-error A -bin-annot -safe-string -strict-formats
  ))
+ (ocamlopt_flags (:standard -function-sections))
  (library_flags (:standard -linkall))
  (libraries stdlib)
  (foreign_stubs (language c) (names strstubs)))

diff --git a/otherlibs/systhreads/dune b/otherlibs/systhreads/dune
@@ -22,6 +22,7 @@
     mutex
     thread)
   (flags -w +33..39 -warn-error A -g -bin-annot -safe-string)
+  (ocamlopt_flags (:standard -function-sections))
   (libraries stdlib unix)
   (library_flags -linkall)
   (c_library_flags -lpthread)

diff --git a/otherlibs/unix/dune b/otherlibs/unix/dune
@@ -20,6 +20,7 @@
    -nostdlib -absname -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot
    -g -safe-string -strict-sequence -strict-formats
  ))
+ (ocamlopt_flags (:standard -function-sections))
  (library_flags (:standard -linkall))
  (libraries stdlib)
  (foreign_stubs (language c) (names

diff --git a/stdlib/dune b/stdlib/dune
@@ -25,6 +25,7 @@
      -g -warn-error A -bin-annot -nostdlib
      -safe-string -strict-formats
  ))
+ (ocamlopt_flags (:standard -function-sections))
  (preprocess
    (per_module
      ((action