ocaml.git
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 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 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 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 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 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 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 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 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 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.

6 years agoDo no longer install ocaml-native-compilers.conf
Stephane Glondu [Wed, 6 Nov 2019 09:55:55 +0000 (10:55 +0100)]
Do no longer install ocaml-native-compilers.conf

ocaml{dep,c,...} are now symlinks to the "best" versions.

6 years agoPrepare upload to unstable
Stephane Glondu [Mon, 4 Nov 2019 12:44:22 +0000 (13:44 +0100)]
Prepare upload to unstable

6 years agoUpdate changelog
Stephane Glondu [Mon, 4 Nov 2019 09:46:17 +0000 (10:46 +0100)]
Update changelog

6 years agoDisable failing tests on hurd
Stephane Glondu [Mon, 4 Nov 2019 09:42:36 +0000 (10:42 +0100)]
Disable failing tests on hurd

6 years agoocaml-nox do no longer provide num
Stephane Glondu [Mon, 4 Nov 2019 09:34:51 +0000 (10:34 +0100)]
ocaml-nox do no longer provide num

6 years agoSwitch experimental branches to sid
Stephane Glondu [Mon, 4 Nov 2019 09:29:07 +0000 (10:29 +0100)]
Switch experimental branches to sid

6 years agoMerge branch 'debian/experimental' into debian/sid
Stephane Glondu [Mon, 4 Nov 2019 09:25:39 +0000 (10:25 +0100)]
Merge branch 'debian/experimental' into debian/sid

6 years agoAvoid leaving an empty file after patch
Stephane Glondu [Mon, 30 Sep 2019 14:57:00 +0000 (16:57 +0200)]
Avoid leaving an empty file after patch

6 years agoPrepare upload to experimental
Stephane Glondu [Mon, 30 Sep 2019 14:40:57 +0000 (16:40 +0200)]
Prepare upload to experimental

6 years agoRefresh patches
Stephane Glondu [Mon, 30 Sep 2019 13:47:03 +0000 (15:47 +0200)]
Refresh patches

6 years agoUpdate changelog
Stephane Glondu [Mon, 30 Sep 2019 13:40:20 +0000 (15:40 +0200)]
Update changelog

6 years agoUpdate OCAML_ABI
Stephane Glondu [Mon, 30 Sep 2019 14:05:20 +0000 (16:05 +0200)]
Update OCAML_ABI

6 years agoUpdate upstream source from tag 'upstream/4.08.1'
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

6 years agoNew upstream version 4.08.1
Stephane Glondu [Mon, 30 Sep 2019 13:38:28 +0000 (15:38 +0200)]
New upstream version 4.08.1

6 years agoUpdate debian/control.in
Stephane Glondu [Mon, 30 Sep 2019 13:35:53 +0000 (15:35 +0200)]
Update debian/control.in

6 years agoBuild-depend on debhelper-compat
Stephane Glondu [Mon, 30 Sep 2019 13:35:24 +0000 (15:35 +0200)]
Build-depend on debhelper-compat

6 years agoRemove quilt from Build-Depends
Stephane Glondu [Sat, 24 Aug 2019 05:04:44 +0000 (07:04 +0200)]
Remove quilt from Build-Depends

6 years agoExplicit dependencies of static -lbfd
Stephane Glondu [Sun, 18 Aug 2019 06:30:05 +0000 (08:30 +0200)]
Explicit dependencies of static -lbfd

6 years agoUpdate changelog
Stephane Glondu [Sun, 18 Aug 2019 06:07:27 +0000 (08:07 +0200)]
Update changelog

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

6 years agoUpdate changelog
Stephane Glondu [Sat, 17 Aug 2019 15:12:54 +0000 (17:12 +0200)]
Update changelog

6 years agoDisable testpreempt on kfreebsd for now
Stephane Glondu [Sat, 17 Aug 2019 14:55:25 +0000 (16:55 +0200)]
Disable testpreempt on kfreebsd for now

6 years agoAdd Breaks/Replaces: ocaml-base to ocaml-base-nox (Closes: #933792)
Stephane Glondu [Sat, 17 Aug 2019 14:45:04 +0000 (16:45 +0200)]
Add Breaks/Replaces: ocaml-base to ocaml-base-nox (Closes: #933792)

6 years agoPut VERSION in ocaml-base-nox
Stephane Glondu [Sat, 17 Aug 2019 14:44:19 +0000 (16:44 +0200)]
Put VERSION in ocaml-base-nox

6 years agoStatically link -lbfd to avoid a tight dep with libbinutils
Stephane Glondu [Sat, 17 Aug 2019 14:38:18 +0000 (16:38 +0200)]
Statically link -lbfd to avoid a tight dep with libbinutils

6 years agoRemove debian/source/local-options
Stephane Glondu [Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)]
Remove debian/source/local-options

6 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 6 Aug 2019 07:27:28 +0000 (09:27 +0200)]
Update changelog and prepare upload to unstable

6 years agoProvide libnum-ocaml{,-dev}
Stephane Glondu [Tue, 6 Aug 2019 07:25:52 +0000 (09:25 +0200)]
Provide libnum-ocaml{,-dev}

6 years agoDocument forwarded patch
Stephane Glondu [Wed, 31 Jul 2019 06:13:44 +0000 (08:13 +0200)]
Document forwarded patch

6 years agoPrepare upload to experimental
Stephane Glondu [Tue, 30 Jul 2019 11:27:22 +0000 (13:27 +0200)]
Prepare upload to experimental

6 years agoUpdate changelog
Stephane Glondu [Thu, 25 Jul 2019 06:30:32 +0000 (08:30 +0200)]
Update changelog

6 years agoDocument forwarded patches
Stephane Glondu [Tue, 30 Jul 2019 11:09:51 +0000 (13:09 +0200)]
Document forwarded patches

6 years agoTune testpreempt test to make it work on kfreebsd
Stephane Glondu [Mon, 29 Jul 2019 10:50:07 +0000 (12:50 +0200)]
Tune testpreempt test to make it work on kfreebsd

6 years agoDisable native compiler on powerpc
Stephane Glondu [Tue, 30 Jul 2019 11:12:46 +0000 (13:12 +0200)]
Disable native compiler on powerpc

6 years agoDisable native compiler on x32
Stephane Glondu [Wed, 24 Jul 2019 11:18:15 +0000 (13:18 +0200)]
Disable native compiler on x32

6 years agoFix discrepancy in upstream sources reported by dgit
Stephane Glondu [Wed, 24 Jul 2019 09:04:06 +0000 (11:04 +0200)]
Fix discrepancy in upstream sources reported by dgit

6 years agoPrepare upload to experimental
Stephane Glondu [Wed, 24 Jul 2019 08:53:57 +0000 (10:53 +0200)]
Prepare upload to experimental

6 years agoUpdate changelog
Stephane Glondu [Mon, 22 Jul 2019 08:16:48 +0000 (10:16 +0200)]
Update changelog

6 years agoRemove Samuel from Uploaders
Stephane Glondu [Wed, 24 Jul 2019 08:30:06 +0000 (10:30 +0200)]
Remove Samuel from Uploaders

6 years agoBump Standards-Version to 4.4.0
Stephane Glondu [Wed, 24 Jul 2019 08:29:49 +0000 (10:29 +0200)]
Bump Standards-Version to 4.4.0

6 years agoFix spelling errors reported by Lintian
Stephane Glondu [Wed, 24 Jul 2019 08:06:13 +0000 (10:06 +0200)]
Fix spelling errors reported by Lintian

6 years agoAdd more Lintian overrides
Stephane Glondu [Wed, 24 Jul 2019 07:57:00 +0000 (09:57 +0200)]
Add more Lintian overrides

6 years agoRemove debian/source/local-options
Stephane Glondu [Wed, 24 Jul 2019 07:37:47 +0000 (09:37 +0200)]
Remove debian/source/local-options

6 years agoAdd support for Debian's armhf in configure.ac
Stephane Glondu [Wed, 24 Jul 2019 07:29:30 +0000 (09:29 +0200)]
Add support for Debian's armhf in configure.ac

6 years agoAdd x32 to native architectures
Stephane Glondu [Wed, 24 Jul 2019 07:16:33 +0000 (09:16 +0200)]
Add x32 to native architectures

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

6 years agoProperly disable almabench test on slow architectures
Stephane Glondu [Wed, 24 Jul 2019 07:03:42 +0000 (09:03 +0200)]
Properly disable almabench test on slow architectures

6 years agoUse CCLINKFLAGS for linking all executables and shared libraries
Stephane Glondu [Mon, 22 Jul 2019 11:32:08 +0000 (13:32 +0200)]
Use CCLINKFLAGS for linking all executables and shared libraries

6 years agoBuild with BUILD_PATH_PREFIX_MAP set
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

6 years agoPrepare upload to experimental
Stephane Glondu [Thu, 11 Jul 2019 12:20:04 +0000 (14:20 +0200)]
Prepare upload to experimental

6 years agoUpdate changelog
Stephane Glondu [Thu, 11 Jul 2019 12:01:14 +0000 (14:01 +0200)]
Update changelog

6 years agoRemove useless build-dependency
Stephane Glondu [Thu, 11 Jul 2019 12:17:35 +0000 (14:17 +0200)]
Remove useless build-dependency

6 years agoUpdate debian/copyright
Stephane Glondu [Thu, 11 Jul 2019 12:08:14 +0000 (14:08 +0200)]
Update debian/copyright

6 years agoFix disabling sockets test
Stephane Glondu [Thu, 11 Jul 2019 11:22:04 +0000 (13:22 +0200)]
Fix disabling sockets test

6 years agoSynchronize generated files
Stephane Glondu [Thu, 11 Jul 2019 11:47:59 +0000 (13:47 +0200)]
Synchronize generated files

6 years agoFix broken doc symlinks (Closes: #877267)
Stephane Glondu [Thu, 11 Jul 2019 11:40:58 +0000 (13:40 +0200)]
Fix broken doc symlinks (Closes: #877267)

6 years agoUpdate debian/clean
Stephane Glondu [Thu, 11 Jul 2019 11:18:29 +0000 (13:18 +0200)]
Update debian/clean

6 years agoDisable dh_dwz for now
Stephane Glondu [Thu, 11 Jul 2019 11:02:45 +0000 (13:02 +0200)]
Disable dh_dwz for now

6 years agoBump debhelper compat to 12
Stephane Glondu [Thu, 11 Jul 2019 09:42:21 +0000 (11:42 +0200)]
Bump debhelper compat to 12

6 years agoFix file dispatch and add binary package ocaml-man
Stephane Glondu [Thu, 11 Jul 2019 05:56:27 +0000 (07:56 +0200)]
Fix file dispatch and add binary package ocaml-man

6 years agoRemove references to no-longer-shipped examples
Stephane Glondu [Thu, 11 Jul 2019 10:44:25 +0000 (12:44 +0200)]
Remove references to no-longer-shipped examples

6 years agoRemove useless *.dirs* files
Stephane Glondu [Thu, 11 Jul 2019 09:40:31 +0000 (11:40 +0200)]
Remove useless *.dirs* files

6 years agoocaml-mode is now an independent project
Stephane Glondu [Thu, 11 Jul 2019 09:25:22 +0000 (11:25 +0200)]
ocaml-mode is now an independent project

6 years agoFix in configure.am
Stephane Glondu [Wed, 10 Jul 2019 14:45:11 +0000 (16:45 +0200)]
Fix in configure.am

6 years agoStart updating packaging (not finished!)
Stephane Glondu [Wed, 10 Jul 2019 13:45:30 +0000 (15:45 +0200)]
Start updating packaging (not finished!)

6 years agoUpdate patches
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)

6 years agoNew upstream release
Stephane Glondu [Wed, 10 Jul 2019 12:57:53 +0000 (14:57 +0200)]
New upstream release

6 years agoUpdate upstream source from tag 'upstream/4.08.0'
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

6 years agoNew upstream version 4.08.0
Stephane Glondu [Wed, 10 Jul 2019 12:50:44 +0000 (14:50 +0200)]
New upstream version 4.08.0

6 years agoNew upstream version 4.07.1
Stephane Glondu [Wed, 10 Jul 2019 12:50:03 +0000 (14:50 +0200)]
New upstream version 4.07.1

6 years agoNew upstream version 4.07.0
Stephane Glondu [Wed, 10 Jul 2019 12:49:53 +0000 (14:49 +0200)]
New upstream version 4.07.0

6 years agoNew upstream version 4.06.1
Stephane Glondu [Wed, 10 Jul 2019 12:49:44 +0000 (14:49 +0200)]
New upstream version 4.06.1