Package: ocaml / 4.02.3-9
Metadata
Package | Version | Patches format |
---|---|---|
ocaml | 4.02.3-9 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0001 Pass no relax to ld on alpha.patch | (download) |
configure |
4 3 + 1 - 0 ! |
pass --no-relax to ld on alpha Pass the --no-relax option to ld to fix a segfault in initialization code (bug#338437) |
0002 Call ld with proper flags.patch | (download) |
configure |
2 1 + 1 - 0 ! |
call ld with proper flags Filter linkflags passed to ld by ocamlopt -pack and -output-obj to remove the "-Wl," parts, which are only used when ocamlopt calls gcc. |
0003 Don t use rpath.patch | (download) |
tools/ocamlmklib.ml |
5 5 + 0 - 0 ! |
don't use rpath |
0004 Put manpages in section 3o instead of 3.patch | (download) |
ocamldoc/Makefile |
2 1 + 1 - 0 ! |
put manpages in section 3o instead of 3 |
0005 Avoid multiple declarations in generated .c files in.patch | (download) |
bytecomp/bytelink.ml |
18 16 + 2 - 0 ! |
avoid multiple declarations in generated .c files in -output-obj In -output-obj mode, <caml/mlvalues.h> (which contains some primitives) is included in the generated .c file, leading to errors when compiling with g++ (multiple declarations). There are probably better implementations (in particular, in this one, care must be taken when changing the list of primitives available in mlvalues.h), but this is a small and (not too) intrusive patch. Bug: http://caml.inria.fr/mantis/view.php?id=5254 Signed-off-by: Stephane Glondu <steph@glondu.net> |
0006 Embed bytecode in C object when using custom.patch | (download) |
bytecomp/bytelink.ml |
42 38 + 4 - 0 ! |
embed bytecode in c object when using -custom This patch fixes non-strippability of bytecode executables linked with custom runtime. The new behaviour is enabled when OCAML_CUSTOM_EMBED is set to "y", or when DEB_HOST_ARCH is non-empty. |
0007 Tune resource usage of some tests.patch | (download) |
testsuite/tests/lib-threads/sieve.ml |
2 1 + 1 - 0 ! |
tune resource usage of some tests The original tests trigger some limits and fail on kfreebsd-i386 with uncaught exception Sys_error("Thread.create: Resource temporarily unavailable"). |
0008 Native backtraces don t work on powerpc and sparc.patch | (download) |
testsuite/tests/backtrace/Makefile |
5 4 + 1 - 0 ! |
native backtraces don't work on powerpc and sparc |
0010 Enable ocamldoc to build reproducible manpages.patch | (download) |
ocamldoc/odoc_man.ml |
15 5 + 10 - 0 ! |
enable ocamldoc to build reproducible manpages Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794586 Signed-off-by: Stephane Glondu <steph@glondu.net> |
0010 Add a .file directive to generated .s files.patch | (download) |
asmcomp/amd64/emit.mlp |
1 1 + 0 - 0 ! |
add a .file directive to generated .s files When no .file directive is given, the toolchain records the filename of the .o file, which is sometimes random, making generated objects non-deterministic. We use Location.input_name for adding .file directives to assembly files. Note: when the file is preprocessed, this reference holds the name of the temporary file. Hence, files compiled with -pp are still not deterministic. Bug-Debian: https://bugs.debian.org/795784 Bug-Debian: https://bugs.debian.org/796336 |
0011 Compatibility with x32 architecture.patch | (download) |
byterun/caml/signals_machdep.h |
2 1 + 1 - 0 ! |
compatibility with x32 architecture |
0012 arm default PIC.patch | (download) |
asmcomp/arm/arch.ml |
2 1 + 1 - 0 ! |
default to pic on arm Otherwise the armhf build fails now that PIE is enabled by default. Bug-Debian: https://bugs.debian.org/837359 |
0013 Use CCLINKFLAGS for linking all executables and shar.patch | (download) |
configure |
2 2 + 0 - 0 ! |
use cclinkflags for linking all executables and shared libraries This allows packagers to set additional linker flags for executables and shared libraries created by OCaml, and for the OCaml tools themselves. OCaml code can be linked with various C stubs and C libraries that would benefit from using hardening link flags, such as -Wl,-z,relro. |
0014 Compute a stable name for preprocessed files.patch | (download) |
driver/pparse.ml |
11 10 + 1 - 0 ! |
compute a stable name for preprocessed files |
0015 CVE 2015 8869.patch | (download) |
byterun/alloc.c |
4 2 + 2 - 0 ! |
cve-2015-8869 |