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
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
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
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
Stephane Glondu [Mon, 4 Nov 2019 12:44:22 +0000 (13:44 +0100)]
Prepare upload to unstable
Stephane Glondu [Mon, 4 Nov 2019 09:46:17 +0000 (10:46 +0100)]
Update changelog
Stephane Glondu [Mon, 4 Nov 2019 09:42:36 +0000 (10:42 +0100)]
Disable failing tests on hurd
Stephane Glondu [Mon, 4 Nov 2019 09:34:51 +0000 (10:34 +0100)]
ocaml-nox do no longer provide num
Stephane Glondu [Mon, 4 Nov 2019 09:29:07 +0000 (10:29 +0100)]
Switch experimental branches to sid
Stephane Glondu [Mon, 4 Nov 2019 09:25:39 +0000 (10:25 +0100)]
Merge branch 'debian/experimental' into debian/sid
Stephane Glondu [Mon, 30 Sep 2019 14:57:00 +0000 (16:57 +0200)]
Avoid leaving an empty file after patch
Stephane Glondu [Mon, 30 Sep 2019 14:40:57 +0000 (16:40 +0200)]
Prepare upload to experimental
Stephane Glondu [Mon, 30 Sep 2019 13:47:03 +0000 (15:47 +0200)]
Refresh patches
Stephane Glondu [Mon, 30 Sep 2019 13:40:20 +0000 (15:40 +0200)]
Update changelog
Stephane Glondu [Mon, 30 Sep 2019 14:05:20 +0000 (16:05 +0200)]
Update OCAML_ABI
Stephane Glondu [Mon, 30 Sep 2019 13:38:38 +0000 (15:38 +0200)]
Update upstream source from tag 'upstream/4.08.1'
Update to upstream version '4.08.1'
with Debian dir
d8f1f22ce576a72aa7e4231b5247bca8a01f660d
Stephane Glondu [Mon, 30 Sep 2019 13:38:28 +0000 (15:38 +0200)]
New upstream version 4.08.1
Stephane Glondu [Mon, 30 Sep 2019 13:35:53 +0000 (15:35 +0200)]
Update debian/control.in
Stephane Glondu [Mon, 30 Sep 2019 13:35:24 +0000 (15:35 +0200)]
Build-depend on debhelper-compat
Stephane Glondu [Sat, 24 Aug 2019 05:04:44 +0000 (07:04 +0200)]
Remove quilt from Build-Depends
Stephane Glondu [Sun, 18 Aug 2019 06:30:05 +0000 (08:30 +0200)]
Explicit dependencies of static -lbfd
Stephane Glondu [Sun, 18 Aug 2019 06:07:27 +0000 (08:07 +0200)]
Update changelog
Stephane Glondu [Sun, 18 Aug 2019 06:06:20 +0000 (08:06 +0200)]
Reimplement -custom without hacks
Stephane Glondu [Sat, 17 Aug 2019 15:12:54 +0000 (17:12 +0200)]
Update changelog
Stephane Glondu [Sat, 17 Aug 2019 14:55:25 +0000 (16:55 +0200)]
Disable testpreempt on kfreebsd for now
Stephane Glondu [Sat, 17 Aug 2019 14:45:04 +0000 (16:45 +0200)]
Add Breaks/Replaces: ocaml-base to ocaml-base-nox (Closes: #933792)
Stephane Glondu [Sat, 17 Aug 2019 14:44:19 +0000 (16:44 +0200)]
Put VERSION in ocaml-base-nox
Stephane Glondu [Sat, 17 Aug 2019 14:38:18 +0000 (16:38 +0200)]
Statically link -lbfd to avoid a tight dep with libbinutils
Stephane Glondu [Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)]
Remove debian/source/local-options
Stephane Glondu [Tue, 6 Aug 2019 07:27:28 +0000 (09:27 +0200)]
Update changelog and prepare upload to unstable
Stephane Glondu [Tue, 6 Aug 2019 07:25:52 +0000 (09:25 +0200)]
Provide libnum-ocaml{,-dev}
Stephane Glondu [Wed, 31 Jul 2019 06:13:44 +0000 (08:13 +0200)]
Document forwarded patch
Stephane Glondu [Tue, 30 Jul 2019 11:27:22 +0000 (13:27 +0200)]
Prepare upload to experimental
Stephane Glondu [Thu, 25 Jul 2019 06:30:32 +0000 (08:30 +0200)]
Update changelog
Stephane Glondu [Tue, 30 Jul 2019 11:09:51 +0000 (13:09 +0200)]
Document forwarded patches
Stephane Glondu [Mon, 29 Jul 2019 10:50:07 +0000 (12:50 +0200)]
Tune testpreempt test to make it work on kfreebsd
Stephane Glondu [Tue, 30 Jul 2019 11:12:46 +0000 (13:12 +0200)]
Disable native compiler on powerpc
Stephane Glondu [Wed, 24 Jul 2019 11:18:15 +0000 (13:18 +0200)]
Disable native compiler on x32
Stephane Glondu [Wed, 24 Jul 2019 09:04:06 +0000 (11:04 +0200)]
Fix discrepancy in upstream sources reported by dgit
Stephane Glondu [Wed, 24 Jul 2019 08:53:57 +0000 (10:53 +0200)]
Prepare upload to experimental
Stephane Glondu [Mon, 22 Jul 2019 08:16:48 +0000 (10:16 +0200)]
Update changelog
Stephane Glondu [Wed, 24 Jul 2019 08:30:06 +0000 (10:30 +0200)]
Remove Samuel from Uploaders
Stephane Glondu [Wed, 24 Jul 2019 08:29:49 +0000 (10:29 +0200)]
Bump Standards-Version to 4.4.0
Stephane Glondu [Wed, 24 Jul 2019 08:06:13 +0000 (10:06 +0200)]
Fix spelling errors reported by Lintian
Stephane Glondu [Wed, 24 Jul 2019 07:57:00 +0000 (09:57 +0200)]
Add more Lintian overrides
Stephane Glondu [Wed, 24 Jul 2019 07:37:47 +0000 (09:37 +0200)]
Remove debian/source/local-options
Stephane Glondu [Wed, 24 Jul 2019 07:29:30 +0000 (09:29 +0200)]
Add support for Debian's armhf in configure.ac
Stephane Glondu [Wed, 24 Jul 2019 07:16:33 +0000 (09:16 +0200)]
Add x32 to native architectures
Stephane Glondu [Wed, 24 Jul 2019 07:09:33 +0000 (09:09 +0200)]
Check for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:03:42 +0000 (09:03 +0200)]
Properly disable almabench test on slow architectures
Stephane Glondu [Mon, 22 Jul 2019 11:32:08 +0000 (13:32 +0200)]
Use CCLINKFLAGS for linking all executables and shared libraries
Stephane Glondu [Fri, 19 Jul 2019 15:30:04 +0000 (17:30 +0200)]
Build with BUILD_PATH_PREFIX_MAP set
... to avoid Lintian's file-references-package-build-path
Stephane Glondu [Thu, 11 Jul 2019 12:20:04 +0000 (14:20 +0200)]
Prepare upload to experimental
Stephane Glondu [Thu, 11 Jul 2019 12:01:14 +0000 (14:01 +0200)]
Update changelog
Stephane Glondu [Thu, 11 Jul 2019 12:17:35 +0000 (14:17 +0200)]
Remove useless build-dependency
Stephane Glondu [Thu, 11 Jul 2019 12:08:14 +0000 (14:08 +0200)]
Update debian/copyright
Stephane Glondu [Thu, 11 Jul 2019 11:22:04 +0000 (13:22 +0200)]
Fix disabling sockets test
Stephane Glondu [Thu, 11 Jul 2019 11:47:59 +0000 (13:47 +0200)]
Synchronize generated files
Stephane Glondu [Thu, 11 Jul 2019 11:40:58 +0000 (13:40 +0200)]
Fix broken doc symlinks (Closes: #877267)
Stephane Glondu [Thu, 11 Jul 2019 11:18:29 +0000 (13:18 +0200)]
Update debian/clean
Stephane Glondu [Thu, 11 Jul 2019 11:02:45 +0000 (13:02 +0200)]
Disable dh_dwz for now
Stephane Glondu [Thu, 11 Jul 2019 09:42:21 +0000 (11:42 +0200)]
Bump debhelper compat to 12
Stephane Glondu [Thu, 11 Jul 2019 05:56:27 +0000 (07:56 +0200)]
Fix file dispatch and add binary package ocaml-man
Stephane Glondu [Thu, 11 Jul 2019 10:44:25 +0000 (12:44 +0200)]
Remove references to no-longer-shipped examples
Stephane Glondu [Thu, 11 Jul 2019 09:40:31 +0000 (11:40 +0200)]
Remove useless *.dirs* files
Stephane Glondu [Thu, 11 Jul 2019 09:25:22 +0000 (11:25 +0200)]
ocaml-mode is now an independent project
Stephane Glondu [Wed, 10 Jul 2019 14:45:11 +0000 (16:45 +0200)]
Fix in configure.am
Stephane Glondu [Wed, 10 Jul 2019 13:45:30 +0000 (15:45 +0200)]
Start updating packaging (not finished!)
Stephane Glondu [Wed, 10 Jul 2019 13:32:42 +0000 (15:32 +0200)]
Update patches
Deleted patches:
- Pass-no-relax-to-ld-on-alpha (broken)
- Call-ld-with-proper-flags (broken)
- Avoid-multiple-declarations-in-generated-.c-files-in (broken)
- Embed-bytecode-in-C-object-when-using-custom (broken)
- Native-backtraces-don-t-work-on-powerpc-and-sparc (broken)
- XL-001-tests.asmcomp (upstream)
- arm64-hide-symbols-for-stricter-binutils (upstream)
- Integer-overflows-when-unmarshaling-a-bigarray (upstream)
- Use-CCLINKFLAGS-for-linking-all-executables-and-shar (broken)
- Compute-a-stable-name-for-preprocessed-files (broken)
Stephane Glondu [Wed, 10 Jul 2019 12:57:53 +0000 (14:57 +0200)]
New upstream release
Stephane Glondu [Wed, 10 Jul 2019 12:50:53 +0000 (14:50 +0200)]
Update upstream source from tag 'upstream/4.08.0'
Update to upstream version '4.08.0'
with Debian dir
5262782490e5aa1c3027dcc0dfb420ea7c233db0
Stephane Glondu [Wed, 10 Jul 2019 12:50:44 +0000 (14:50 +0200)]
New upstream version 4.08.0
Stephane Glondu [Wed, 10 Jul 2019 12:50:03 +0000 (14:50 +0200)]
New upstream version 4.07.1
Stephane Glondu [Wed, 10 Jul 2019 12:49:53 +0000 (14:49 +0200)]
New upstream version 4.07.0
Stephane Glondu [Wed, 10 Jul 2019 12:49:44 +0000 (14:49 +0200)]
New upstream version 4.06.1
Stephane Glondu [Wed, 10 Jul 2019 12:49:34 +0000 (14:49 +0200)]
New upstream version 4.06.0
Stephane Glondu [Fri, 25 Jan 2019 13:03:50 +0000 (14:03 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Fri, 25 Jan 2019 13:57:38 +0000 (14:57 +0100)]
Delete trailing whitespaces in debian/changelog
Stephane Glondu [Fri, 25 Jan 2019 13:56:59 +0000 (14:56 +0100)]
Update Vcs-* to point to salsa
Stephane Glondu [Fri, 25 Jan 2019 13:36:36 +0000 (14:36 +0100)]
Use caml_ba_multov instead of caml_umul_overflow
Stephane Glondu [Fri, 25 Jan 2019 13:01:58 +0000 (14:01 +0100)]
Fix integer overflows when unmarshaling a bigarray
(Closes: #895472, CVE-2018-9838)
Stephane Glondu [Fri, 25 Jan 2019 12:51:28 +0000 (13:51 +0100)]
Refresh patches
Ralf Treinen [Wed, 18 Apr 2018 20:40:28 +0000 (22:40 +0200)]
dropped recommends camlp4
Ximin Luo [Wed, 4 Oct 2017 12:16:08 +0000 (14:16 +0200)]
Merge branch 'debian/sid' into debian/experimental
Ximin Luo [Wed, 4 Oct 2017 12:14:42 +0000 (14:14 +0200)]
Release 4.05.0-10 to Debian unstable.
Ximin Luo [Wed, 4 Oct 2017 12:11:38 +0000 (14:11 +0200)]
Update gbp.conf for sid branches
Ximin Luo [Tue, 3 Oct 2017 21:35:14 +0000 (23:35 +0200)]
Replace the ARM PIC patch with one from upstream
Ximin Luo [Tue, 3 Oct 2017 19:44:19 +0000 (21:44 +0200)]
Drop support for ocamlopt on armel as suggested by upstream
Ximin Luo [Fri, 15 Sep 2017 16:41:22 +0000 (18:41 +0200)]
Release 4.05.0-9 to Debian unstable.
Ximin Luo [Thu, 14 Sep 2017 10:02:42 +0000 (12:02 +0200)]
Release 4.05.0-8 to Debian experimental
Ximin Luo [Thu, 14 Sep 2017 10:01:59 +0000 (12:01 +0200)]
Replace arm64 patch with one applied upstream
Ximin Luo [Wed, 16 Aug 2017 12:10:43 +0000 (14:10 +0200)]
Mark old bugs as closed
Pino Toscano [Sun, 13 Aug 2017 10:35:55 +0000 (12:35 +0200)]
Convert the menu file to a desktop file
Ximin Luo [Wed, 9 Aug 2017 13:01:58 +0000 (15:01 +0200)]
Update d/changelog
Ximin Luo [Wed, 9 Aug 2017 12:58:48 +0000 (14:58 +0200)]
Merge branch 'debian/sid' into debian/experimental
Ximin Luo [Wed, 9 Aug 2017 12:53:09 +0000 (14:53 +0200)]
Add .gitattributes for easy changelog merging
Ximin Luo [Sun, 30 Jul 2017 23:42:38 +0000 (01:42 +0200)]
Release 4.05.0-7 to Debian experimental.
Ximin Luo [Sun, 30 Jul 2017 23:42:00 +0000 (01:42 +0200)]
Only install ocaml-native-compilers.conf on native-code architectures
Ximin Luo [Sat, 29 Jul 2017 09:06:44 +0000 (11:06 +0200)]
Release 4.05.0-6 to Debian experimental.
Ximin Luo [Sat, 29 Jul 2017 09:00:28 +0000 (11:00 +0200)]
Mark certain symbols as .hidden in arm64 codegen, fixing FTBFS with binutils 2.29