Package: ocaml / 3.12.1-4

Metadata

Package Version Patches format
ocaml 3.12.1-4 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0001 Pass no relax to ld on alpha.patch | (download)

configure | 4 3 + 1 - 0 !
1 file changed, 3 insertions(+), 1 deletion(-)

 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 !
1 file changed, 1 insertion(+), 1 deletion(-)

 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.mlp | 5 5 + 0 - 0 !
1 file changed, 5 insertions(+)

 don't use rpath


0004 Put manpages in section 3o instead of 3.patch | (download)

ocamldoc/Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 put manpages in section 3o instead of 3


0005 Patch config.sh for installation.patch | (download)

build/install.sh | 2 1 + 1 - 0 !
build/partial-install.sh | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 patch config.sh for installation

Use for installatation a patched config.sh (created by debian/rules).

0006 Install ocamlbuild as a link on either .native or .b.patch | (download)

build/partial-install.sh | 17 16 + 1 - 0 !
1 file changed, 16 insertions(+), 1 deletion(-)

 install ocamlbuild as a link on either .native or .byte


0007 Natdynlink works on powerpc and hurd i386.patch | (download)

configure | 3 2 + 1 - 0 !
1 file changed, 2 insertions(+), 1 deletion(-)

 natdynlink works on powerpc and hurd-i386

Rationale: ssreflect used to work with natdynlink on powerpc and hurd
with ocaml 3.11.2 / coq 8.2...

Note: there is no native compiler for powerpc64! This must be a
typo...

Bug: http://caml.inria.fr/mantis/view.php?id=5255
Signed-off-by: Stephane Glondu <steph@glondu.net>

0008 Declare primitive name table as const char.patch | (download)

bytecomp/symtable.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 declare primitive name table as const char *

This avoids lots of warnings when compiling with g++...

Bug: http://caml.inria.fr/mantis/view.php?id=5131
Signed-off-by: Stephane Glondu <steph@glondu.net>

0009 Avoid multiple declarations in generated .c files in.patch | (download)

bytecomp/bytelink.ml | 17 15 + 2 - 0 !
bytecomp/symtable.ml | 8 5 + 3 - 0 !
bytecomp/symtable.mli | 2 1 + 1 - 0 !
3 files changed, 21 insertions(+), 6 deletions(-)

 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>

0010 Properly initialize executable name in caml_startup_.patch | (download)

byterun/startup.c | 11 10 + 1 - 0 !
1 file changed, 10 insertions(+), 1 deletion(-)

 properly initialize executable name in caml_startup_code

Bug: http://caml.inria.fr/mantis/view.php?id=5279
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627756
Signed-off-by: Stephane Glondu <steph@glondu.net>

0011 Embed bytecode in C object when using custom.patch | (download)

bytecomp/bytelink.ml | 42 38 + 4 - 0 !
1 file changed, 38 insertions(+), 4 deletions(-)

 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.

0012 Make objinfo show force_link and ccobjs ccopts when .patch | (download)

tools/objinfo.ml | 25 21 + 4 - 0 !
1 file changed, 21 insertions(+), 4 deletions(-)

 make objinfo show force_link and ccobjs/ccopts when needed

- Show force_link for cmx/cma
- Show ccobjs/ccopts for cmxa

0013 ocamlopt arm add .type directive for code symbols.patch | (download)

asmcomp/arm/emit.mlp | 1 1 + 0 - 0 !
asmrun/arm.S | 12 12 + 0 - 0 !
2 files changed, 13 insertions(+)

 ocamlopt/arm: add .type directive for code symbols

Bug: http://caml.inria.fr/mantis/view.php?id=5336
Bug-Ubuntu: https://bugs.launchpad.net/bugs/810402
Signed-off-by: Stephane Glondu <steph@glondu.net>

0014 Add support for ENOTSUP.patch | (download)

otherlibs/unix/unixsupport.c | 11 10 + 1 - 0 !
1 file changed, 10 insertions(+), 1 deletion(-)

 add support for enotsup

On some systems such as Solaris or GNU/Hurd, ENOTSUP and EOPNOSUPP do
not have the same value, but ocaml code only deals with EOPNOSUPP, and
thus ocaml applications only handle the EOPNOSUPP case. The attached
patch fixes it by making ocaml convert ENOTSUP errors into EOPNOSUPP
errors.

This patch fixes omake build on hurd-i386.

Bug: http://caml.inria.fr/mantis/view.php?id=5382
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=646372
Signed-off-by: Stephane Glondu <steph@glondu.net>

0015 Do not add R dir in X11 link options on GNU kFreeBSD.patch | (download)

configure | 1 1 + 0 - 0 !
1 file changed, 1 insertion(+)

 do not add -r$dir in x11 link options on gnu/kfreebsd

Signed-off-by: Stephane Glondu <steph@glondu.net>
Bug: http://caml.inria.fr/mantis/view.php?id=5393