ocaml.git
8 years agoAvoid multiple declarations in generated .c files in -output-obj
Stephane Glondu [Thu, 21 Apr 2011 16:39:31 +0000 (18:39 +0200)]
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>
Gbp-Pq: Name 0005-Avoid-multiple-declarations-in-generated-.c-files-in.patch

8 years agoPut manpages in section 3o instead of 3
Julien Cristau [Tue, 19 May 2009 15:24:52 +0000 (17:24 +0200)]
Put manpages in section 3o instead of 3

Gbp-Pq: Name 0004-Put-manpages-in-section-3o-instead-of-3.patch

8 years agoDon't use rpath
Stefano Zacchiroli [Tue, 19 May 2009 15:24:14 +0000 (17:24 +0200)]
Don't use rpath

Gbp-Pq: Name 0003-Don-t-use-rpath.patch

8 years agoCall ld with proper flags
Stefano Zacchiroli [Tue, 19 May 2009 15:23:34 +0000 (17:23 +0200)]
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.

Gbp-Pq: Name 0002-Call-ld-with-proper-flags.patch

8 years agoPass --no-relax to ld on alpha
Stefano Zacchiroli [Tue, 19 May 2009 15:22:39 +0000 (17:22 +0200)]
Pass --no-relax to ld on alpha

Pass the --no-relax option to ld to fix a segfault in initialization
code (bug#338437)

Gbp-Pq: Name 0001-Pass-no-relax-to-ld-on-alpha.patch

8 years agoocaml (4.02.3-9+rpi1) stretch-staging; urgency=medium
Raspbian forward porter [Sat, 7 Jan 2017 06:25:05 +0000 (06:25 +0000)]
ocaml (4.02.3-9+rpi1) stretch-staging; urgency=medium

  [changes brought forward from 4.01.0-5+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Sat, 24 Jan 2015 10:29:46 +0000]
  * Add logic in debian/rules to detect raspbian and give the upstream
    configure script the correct instructions.

[dgit import unpatched ocaml 4.02.3-9+rpi1]

8 years agoImport ocaml_4.02.3-9+rpi1.debian.tar.xz
Raspbian forward porter [Sat, 7 Jan 2017 06:25:05 +0000 (06:25 +0000)]
Import ocaml_4.02.3-9+rpi1.debian.tar.xz

[dgit import tarball ocaml 4.02.3-9+rpi1 ocaml_4.02.3-9+rpi1.debian.tar.xz]

10 years agoImport ocaml_4.02.3.orig.tar.xz
Stéphane Glondu [Thu, 13 Aug 2015 16:53:50 +0000 (16:53 +0000)]
Import ocaml_4.02.3.orig.tar.xz

[dgit import orig ocaml_4.02.3.orig.tar.xz]