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 ! |
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.mlp |
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 Patch config.sh for installation.patch | (download) |
build/install.sh |
2 1 + 1 - 0 ! |
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 ! |
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 ! |
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 ! |
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 ! |
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 ! |
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 ! |
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 ! |
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 ! |
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 ! |
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 ! |
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 |
