ocaml.git
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 agoMake sure ocaml pulls ocaml-nox as well. (Closes: #973039)
Stephane Glondu [Fri, 30 Oct 2020 07:38:50 +0000 (08:38 +0100)]
Make sure ocaml pulls ocaml-nox as well. (Closes: #973039)

5 years agoPrepare upload to unstable
Stephane Glondu [Mon, 12 Oct 2020 14:56:50 +0000 (16:56 +0200)]
Prepare upload to unstable

5 years agoDisable some tests that fail on Hurd
Stephane Glondu [Sat, 5 Sep 2020 08:20:14 +0000 (10:20 +0200)]
Disable some tests that fail on Hurd

5 years agoPrepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 13:31:48 +0000 (15:31 +0200)]
Prepare upload to experimental

5 years agoCall ./configure with --disable-native-compiler on bytecode
Stephane Glondu [Fri, 4 Sep 2020 13:31:05 +0000 (15:31 +0200)]
Call ./configure with --disable-native-compiler on bytecode

5 years agoPrepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 06:33:30 +0000 (08:33 +0200)]
Prepare upload to experimental

5 years agoUpdate changelog
Stephane Glondu [Fri, 4 Sep 2020 06:32:21 +0000 (08:32 +0200)]
Update changelog

5 years agoRe-enable most of tool-debugger tests
Stephane Glondu [Fri, 4 Sep 2020 03:57:11 +0000 (05:57 +0200)]
Re-enable most of tool-debugger tests

5 years agoFix static linking of lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:24:26 +0000 (06:24 +0200)]
Fix static linking of lib{bfd,iberty}

5 years agoAdd riscv64 to native-archs
Stephane Glondu [Fri, 4 Sep 2020 04:01:43 +0000 (06:01 +0200)]
Add riscv64 to native-archs

5 years agoRe-enable testpreempt test for now
Stephane Glondu [Thu, 3 Sep 2020 14:24:19 +0000 (16:24 +0200)]
Re-enable testpreempt test for now

5 years agoUpdate packaging
Stephane Glondu [Thu, 3 Sep 2020 14:18:31 +0000 (16:18 +0200)]
Update packaging

5 years agoTrigger -output-complete-exe on -custom with an environment variable
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable

5 years agoRenumber patches
Stephane Glondu [Thu, 3 Sep 2020 13:10:30 +0000 (15:10 +0200)]
Renumber patches

5 years agoRefresh patches
Stephane Glondu [Thu, 3 Sep 2020 13:06:02 +0000 (15:06 +0200)]
Refresh patches

 * Avoid-duplicate-definitions-of-common-global-variabl: merged
   upstream
 * Reimplement-custom-without-hacks: removed for now; it will be
   reimplemented with the new -output-complete-exe feature.

5 years agoNew upstream release
Stephane Glondu [Thu, 3 Sep 2020 12:53:20 +0000 (14:53 +0200)]
New upstream release

5 years agoUpdate upstream source from tag 'upstream/4.11.1'
Stephane Glondu [Thu, 3 Sep 2020 12:53:05 +0000 (14:53 +0200)]
Update upstream source from tag 'upstream/4.11.1'

Update to upstream version '4.11.1'
with Debian dir 18488de9d93e9fc62d98bf0d65994acd4c1b76e6

5 years agoNew upstream version 4.11.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:56 +0000 (14:52 +0200)]
New upstream version 4.11.1

5 years agoNew upstream version 4.11.0
Stephane Glondu [Thu, 3 Sep 2020 12:52:22 +0000 (14:52 +0200)]
New upstream version 4.11.0

5 years agoNew upstream version 4.10.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:11 +0000 (14:52 +0200)]
New upstream version 4.10.1

5 years agoNew upstream version 4.10.0
Stephane Glondu [Thu, 3 Sep 2020 12:52:01 +0000 (14:52 +0200)]
New upstream version 4.10.0

5 years agoNew upstream version 4.09.1
Stephane Glondu [Thu, 3 Sep 2020 12:51:50 +0000 (14:51 +0200)]
New upstream version 4.09.1

5 years agoNew upstream version 4.09.0
Stephane Glondu [Thu, 3 Sep 2020 12:51:38 +0000 (14:51 +0200)]
New upstream version 4.09.0

5 years agoSwitch to experimental branches
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches

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