ocaml.git
5 years agoMerge version 4.08.1-8+rpi1 and 4.08.1-10 to produce 4.08.1-10+rpi1 bullseye-staging archive/raspbian/4.08.1-10+rpi1 raspbian/4.08.1-10+rpi1
Raspbian automatic forward porter [Thu, 13 Aug 2020 14:48:40 +0000 (15:48 +0100)]
Merge version 4.08.1-8+rpi1 and 4.08.1-10 to produce 4.08.1-10+rpi1

5 years agoMake fast forward from 4.08.1-9
Stéphane Glondu [Thu, 30 Jul 2020 12:45:47 +0000 (14:45 +0200)]
Make fast forward from 4.08.1-9

[dgit --quilt=gbp]

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 0008-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

5 years agoAvoid duplicate definitions of "common" global variables
Xavier Leroy [Thu, 12 Dec 2019 15:41:17 +0000 (16:41 +0100)]
Avoid duplicate definitions of "common" global variables

The variables are caml_debug_info and caml_atom_table.
The multiple definitions look like a cut-and-paste error.
They cause problems with C compilers that don't follow the "common" model.

Bug: https://github.com/ocaml/ocaml/issues/9144
Bug-Debian: https://bugs.debian.org/957623

Gbp-Pq: Name 0007-Avoid-duplicate-definitions-of-common-global-variabl.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 0006-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.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 0005-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 0013-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 0004-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 0003-Don-t-use-rpath.patch

5 years agoPrepare upload to unstable
Stephane Glondu [Thu, 30 Jul 2020 12:45:52 +0000 (14:45 +0200)]
Prepare upload to unstable

5 years agoUpdate changelog
Stephane Glondu [Wed, 29 Jul 2020 14:24:17 +0000 (16:24 +0200)]
Update changelog

5 years agoDisable DT_TEXTREL warnings on i386
Stephane Glondu [Thu, 30 Jul 2020 09:24:08 +0000 (11:24 +0200)]
Disable DT_TEXTREL warnings on i386

5 years agoRevert "Disable PIE on Debian Linux i386"
Stephane Glondu [Thu, 30 Jul 2020 09:23:56 +0000 (11:23 +0200)]
Revert "Disable PIE on Debian Linux i386"

This reverts commit 631ee1abf69f76cd8ce8c5205537dc1cb7043fd5.

5 years agoDisable PIE on Debian Linux i386
Stephane Glondu [Wed, 29 Jul 2020 14:23:47 +0000 (16:23 +0200)]
Disable PIE on Debian Linux i386

5 years agoUnconditionally disable testpreempt test
Stephane Glondu [Thu, 30 Jul 2020 09:30:33 +0000 (11:30 +0200)]
Unconditionally disable testpreempt test

5 years agoPrepare upload to unstable
Stephane Glondu [Fri, 24 Jul 2020 14:51:10 +0000 (16:51 +0200)]
Prepare upload to unstable

5 years agoUpdate changelog
Stephane Glondu [Fri, 24 Jul 2020 14:21:20 +0000 (16:21 +0200)]
Update changelog

5 years agoUpdate Lintian overrides
Stephane Glondu [Fri, 24 Jul 2020 14:47:44 +0000 (16:47 +0200)]
Update Lintian overrides

5 years agoMake fast forward from 4.08.1-8
Stéphane Glondu [Fri, 24 Jul 2020 14:51:04 +0000 (16:51 +0200)]
Make fast forward from 4.08.1-8

[dgit --quilt=gbp]

5 years agoAvoid duplicate definitions of "common" global variables
Xavier Leroy [Thu, 12 Dec 2019 15:41:17 +0000 (16:41 +0100)]
Avoid duplicate definitions of "common" global variables

The variables are caml_debug_info and caml_atom_table.
The multiple definitions look like a cut-and-paste error.
They cause problems with C compilers that don't follow the "common" model.

Bug: https://github.com/ocaml/ocaml/issues/9144
Bug-Debian: https://bugs.debian.org/957623

Gbp-Pq: Name 0007-Avoid-duplicate-definitions-of-common-global-variabl.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 0006-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.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 0005-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 0013-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 0004-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 0003-Don-t-use-rpath.patch

5 years agoUpdate packaging
Stephane Glondu [Fri, 24 Jul 2020 14:20:13 +0000 (16:20 +0200)]
Update packaging

5 years agoFix FTBFS with gcc-10 (Closes: #957623)
Stephane Glondu [Fri, 24 Jul 2020 14:17:42 +0000 (16:17 +0200)]
Fix FTBFS with gcc-10 (Closes: #957623)

5 years agoRefresh patches
Stephane Glondu [Fri, 24 Jul 2020 14:17:11 +0000 (16:17 +0200)]
Refresh patches

5 years agotuareg-mode => elpa-tuareg
Ralf Treinen [Mon, 27 Apr 2020 13:43:55 +0000 (15:43 +0200)]
tuareg-mode => elpa-tuareg

5 years agoMerge version 4.08.1-7+rpi1 and 4.08.1-8 to produce 4.08.1-8+rpi1 archive/raspbian/4.08.1-8+rpi1 raspbian/4.08.1-8+rpi1
Raspbian automatic forward porter [Wed, 5 Feb 2020 08:59:42 +0000 (08:59 +0000)]
Merge version 4.08.1-7+rpi1 and 4.08.1-8 to produce 4.08.1-8+rpi1

5 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Thu, 30 Jan 2020 12:11:35 +0000 (13:11 +0100)]
Update changelog and prepare upload to unstable

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

5 years agoMake fast forward from 4.08.1-7
Stéphane Glondu [Thu, 30 Jan 2020 12:11:32 +0000 (13:11 +0100)]
Make fast forward from 4.08.1-7

[dgit --quilt=gbp]

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 0006-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.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 0005-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 0013-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 0004-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 0003-Don-t-use-rpath.patch

5 years agoMerge version 4.08.1-6+rpi1 and 4.08.1-7 to produce 4.08.1-7+rpi1 archive/raspbian/4.08.1-7+rpi1 raspbian/4.08.1-7+rpi1
Raspbian automatic forward porter [Tue, 21 Jan 2020 05:19:11 +0000 (05:19 +0000)]
Merge version 4.08.1-6+rpi1 and 4.08.1-7 to produce 4.08.1-7+rpi1

5 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 14 Jan 2020 12:36:43 +0000 (13:36 +0100)]
Update changelog and prepare upload to unstable

5 years agoRename debian/TODO.Debian to debian/TODO
Stephane Glondu [Tue, 14 Jan 2020 12:54:14 +0000 (13:54 +0100)]
Rename debian/TODO.Debian to debian/TODO

5 years agoUse . in BUILD_PATH_PREFIX_MAP
Stephane Glondu [Tue, 14 Jan 2020 12:53:21 +0000 (13:53 +0100)]
Use . in BUILD_PATH_PREFIX_MAP

5 years agoMake fast forward from 4.08.1-6
Stéphane Glondu [Tue, 14 Jan 2020 12:36:36 +0000 (13:36 +0100)]
Make fast forward from 4.08.1-6

[dgit --quilt=gbp]

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.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 0005-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 0013-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 0004-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 0003-Don-t-use-rpath.patch

5 years agoAdd stdlib-shims compatibility package
Stephane Glondu [Tue, 14 Jan 2020 12:32:43 +0000 (13:32 +0100)]
Add stdlib-shims compatibility package

5 years agoMerge branch 'uchar' into 'debian/sid'
Stéphane Glondu [Tue, 14 Jan 2020 12:27:04 +0000 (12:27 +0000)]
Merge branch 'uchar' into 'debian/sid'

Install uchar compatibility package (#944404)

See merge request ocaml-team/ocaml!1

5 years agoProvide libuchar-ocaml{,-dev}
Andy Li [Tue, 14 Jan 2020 10:52:25 +0000 (18:52 +0800)]
Provide libuchar-ocaml{,-dev}

5 years agoMerge branch 'debian/sid' into uchar
Andy Li [Tue, 14 Jan 2020 10:51:30 +0000 (18:51 +0800)]
Merge branch 'debian/sid' into uchar

# Conflicts:
# debian/rules

5 years agoMerge version 4.08.1-5+rpi1 and 4.08.1-6 to produce 4.08.1-6+rpi1 archive/raspbian/4.08.1-6+rpi1 raspbian/4.08.1-6+rpi1
Raspbian automatic forward porter [Sat, 11 Jan 2020 03:28:12 +0000 (03:28 +0000)]
Merge version 4.08.1-5+rpi1 and 4.08.1-6 to produce 4.08.1-6+rpi1

5 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Sun, 29 Dec 2019 08:15:03 +0000 (09:15 +0100)]
Update changelog and prepare upload to unstable

5 years agoMake fast forward from 4.08.1-5
Stéphane Glondu [Sun, 29 Dec 2019 09:28:39 +0000 (10:28 +0100)]
Make fast forward from 4.08.1-5

[dgit --quilt=gbp]

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.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 0005-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 0013-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 0004-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 0003-Don-t-use-rpath.patch

5 years agoProvide libseq-ocaml{,-dev}
Stephane Glondu [Sun, 29 Dec 2019 08:31:27 +0000 (09:31 +0100)]
Provide libseq-ocaml{,-dev}

5 years agoAdd Rules-Requires-Root: no
Stephane Glondu [Sun, 29 Dec 2019 08:29:26 +0000 (09:29 +0100)]
Add Rules-Requires-Root: no

5 years agoFix generation of ocaml-man (Closes: #947197)
Stephane Glondu [Sun, 29 Dec 2019 08:14:37 +0000 (09:14 +0100)]
Fix generation of ocaml-man (Closes: #947197)

5 years agoInstall uchar compatibility package (#944404)
Andy Li [Sat, 28 Dec 2019 17:20:25 +0000 (01:20 +0800)]
Install uchar compatibility package (#944404)

6 years agoCommit Debian 3.0 (quilt) metadata archive/raspbian/4.08.1-5+rpi1 raspbian/4.08.1-5+rpi1
Peter Michael Green [Sat, 7 Dec 2019 05:30:39 +0000 (05:30 +0000)]
Commit Debian 3.0 (quilt) metadata

[dgit (9.9) quilt-fixup]

6 years agoRemove gitattributes that cause problems for dgit.
Peter Michael Green [Sat, 7 Dec 2019 05:28:18 +0000 (05:28 +0000)]
Remove gitattributes that cause problems for dgit.

6 years agoMerge version 4.08.1-4+rpi2 and 4.08.1-5 to produce 4.08.1-5+rpi1
Raspbian automatic forward porter [Sat, 7 Dec 2019 05:03:47 +0000 (05:03 +0000)]
Merge version 4.08.1-4+rpi2 and 4.08.1-5 to produce 4.08.1-5+rpi1

6 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Mon, 2 Dec 2019 12:04:46 +0000 (13:04 +0100)]
Update changelog and prepare upload to unstable

6 years agoMake fast forward from 4.08.1-4
Stéphane Glondu [Mon, 2 Dec 2019 12:04:37 +0000 (13:04 +0100)]
Make fast forward from 4.08.1-4

[dgit --quilt=gbp]

6 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

6 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 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

6 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 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

6 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

6 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

6 years agoBump Standards-Version to 4.4.1
Stephane Glondu [Mon, 2 Dec 2019 12:04:05 +0000 (13:04 +0100)]
Bump Standards-Version to 4.4.1

6 years agoocaml-nox: add Breaks+Replaces ocaml-compiler-libs (Closes: #945495)
Stephane Glondu [Mon, 2 Dec 2019 12:03:48 +0000 (13:03 +0100)]
ocaml-nox: add Breaks+Replaces ocaml-compiler-libs (Closes: #945495)

6 years agoMerge ocaml (4.08.1-4+rpi2) import into refs/heads/workingbranch
Peter Michael Green [Tue, 26 Nov 2019 19:38:59 +0000 (19:38 +0000)]
Merge ocaml (4.08.1-4+rpi2) import into refs/heads/workingbranch

6 years agouse-armv6-for-raspbian
Debian OCaml Maintainers [Tue, 26 Nov 2019 19:38:59 +0000 (19:38 +0000)]
use-armv6-for-raspbian

Gbp-Pq: Name use-armv6-for-raspbian.patch

6 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

6 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 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

6 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 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

6 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

6 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

6 years agoocaml (4.08.1-4+rpi2) bullseye-staging; urgency=medium
Peter Michael Green [Tue, 26 Nov 2019 19:38:59 +0000 (19:38 +0000)]
ocaml (4.08.1-4+rpi2) bullseye-staging; urgency=medium

  * 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.

[dgit import unpatched ocaml 4.08.1-4+rpi2]

6 years agoImport ocaml_4.08.1-4+rpi2.debian.tar.xz
Peter Michael Green [Tue, 26 Nov 2019 19:38:59 +0000 (19:38 +0000)]
Import ocaml_4.08.1-4+rpi2.debian.tar.xz

[dgit import tarball ocaml 4.08.1-4+rpi2 ocaml_4.08.1-4+rpi2.debian.tar.xz]

6 years agoAdd reference to closed bug
Stephane Glondu [Wed, 13 Nov 2019 15:55:59 +0000 (16:55 +0100)]
Add reference to closed bug

6 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Fri, 8 Nov 2019 10:43:41 +0000 (11:43 +0100)]
Update changelog and prepare upload to unstable

6 years agoMake fast forward from 4.08.1-3
Stéphane Glondu [Fri, 8 Nov 2019 10:43:37 +0000 (11:43 +0100)]
Make fast forward from 4.08.1-3

[dgit --quilt=gbp]

6 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

6 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 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

6 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 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

6 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

6 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

6 years agoInstall seq compatibility package
Stephane Glondu [Fri, 8 Nov 2019 10:42:46 +0000 (11:42 +0100)]
Install seq compatibility package

6 years agoocaml-base-nox Breaks/Replaces also ocaml-nox (Closes: #944126)
Stephane Glondu [Fri, 8 Nov 2019 10:39:00 +0000 (11:39 +0100)]
ocaml-base-nox Breaks/Replaces also ocaml-nox (Closes: #944126)

6 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Wed, 6 Nov 2019 10:00:42 +0000 (11:00 +0100)]
Update changelog and prepare upload to unstable

6 years agoAdd relationship for ocaml-nox overwriting ocaml-base-nox (Closes: #944126)
Stephane Glondu [Wed, 6 Nov 2019 10:10:06 +0000 (11:10 +0100)]
Add relationship for ocaml-nox overwriting ocaml-base-nox (Closes: #944126)

..and clean up obsolete Breaks/Replaces.