ocaml.git
5 years agoDisable DT_TEXTREL warnings on Linux i386
Stephane Glondu [Wed, 29 Jul 2020 14:22:39 +0000 (16:22 +0200)]
Disable DT_TEXTREL warnings on Linux i386

Bug: https://github.com/ocaml/ocaml/issues/9800

Gbp-Pq: Name 0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

5 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)]
read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0005-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoCheck for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:08:39 +0000 (09:08 +0200)]
Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0004-Check-for-definition-of-AT_SECURE-before-using-it.patch

5 years agoUse CCLINKFLAGS for linking all executables and shared libraries
Torok Edwin [Wed, 15 Jul 2015 13:33:23 +0000 (16:33 +0300)]
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.

Origin: other
Bug-Debian: https://bugs.debian.org/702349
Forwarded: no
Last-Update: <2019-07-22>

Gbp-Pq: Name 0003-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

5 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 0002-Put-manpages-in-section-3o-instead-of-3.patch

5 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 0001-Don-t-use-rpath.patch

5 years agoocaml (4.11.1-4+rpi1) bullseye-staging; urgency=medium
Raspbian forward porter [Sat, 7 Nov 2020 23:17:21 +0000 (23:17 +0000)]
ocaml (4.11.1-4+rpi1) bullseye-staging; urgency=medium

  [changes brought forward from 4.08.1-4+rpi2 by Peter Michael Green <plugwash@raspbian.org> at Tue, 26 Nov 2019 19:38:59 +0000]
  * Revert previous raspbian changes, changing the triplet
    now seems to cause more problems than it solves (specifically
    it causes ocaml to try and use nonexistant compilers).
  * Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"
  * Partially fix clean target.

  [changes introduced in 4.08.1-5+rpi1 by Peter Michael Green]
  * Remove gitattributes that cause problems for dgit.

[dgit import unpatched ocaml 4.11.1-4+rpi1]

5 years agoImport ocaml_4.11.1-4+rpi1.debian.tar.xz
Raspbian forward porter [Sat, 7 Nov 2020 23:17:21 +0000 (23:17 +0000)]
Import ocaml_4.11.1-4+rpi1.debian.tar.xz

[dgit import tarball ocaml 4.11.1-4+rpi1 ocaml_4.11.1-4+rpi1.debian.tar.xz]

5 years agoImport ocaml_4.11.1.orig.tar.xz
Stéphane Glondu [Fri, 4 Sep 2020 06:33:22 +0000 (07:33 +0100)]
Import ocaml_4.11.1.orig.tar.xz

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