diff options
Diffstat (limited to 'community/ocaml/compile-without-debug-info.patch')
| -rw-r--r-- | community/ocaml/compile-without-debug-info.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/community/ocaml/compile-without-debug-info.patch b/community/ocaml/compile-without-debug-info.patch new file mode 100644 index 0000000000..06b0eda820 --- /dev/null +++ b/community/ocaml/compile-without-debug-info.patch @@ -0,0 +1,15 @@ +Significantly decrease size of bytecode-compiled binaries (and slightly +even natives). +--- a/Makefile ++++ b/Makefile +@@ -52,8 +52,8 @@ + CAMLYACC ?= boot/ocamlyacc + include stdlib/StdlibModules + +-CAMLC=$(CAMLRUN) boot/ocamlc -g -nostdlib -I boot -use-prims byterun/primitives +-CAMLOPT=$(CAMLRUN) ./ocamlopt -g -nostdlib -I stdlib -I otherlibs/dynlink ++CAMLC=$(CAMLRUN) boot/ocamlc -nostdlib -I boot -use-prims byterun/primitives ++CAMLOPT=$(CAMLRUN) ./ocamlopt -nostdlib -I stdlib -I otherlibs/dynlink + ARCHES=amd64 i386 arm arm64 power s390x + INCLUDES=-I utils -I parsing -I typing -I bytecomp -I middle_end \ + -I middle_end/base_types -I asmcomp -I asmcomp/debug \ |