diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-09 15:21:27 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-10 02:17:25 +0100 |
| commit | 85f8b3d1175c4a611df8c9757bd927557cc86f9a (patch) | |
| tree | 3f29e91387d9cdbf0c025f8f606806b70eaa6ce2 /community/ocaml/compile-without-debug-info.patch | |
| parent | b80a6560548dee8072800db92df85b9bbeb27911 (diff) | |
| download | aports-85f8b3d1175c4a611df8c9757bd927557cc86f9a.tar.bz2 aports-85f8b3d1175c4a611df8c9757bd927557cc86f9a.tar.xz | |
community/ocaml: build without debug info
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 \ |