ocaml.git
8 years agoMerge tag 'upstream/4.05.0_rc1' into debian/experimental
Ximin Luo [Tue, 4 Jul 2017 16:21:11 +0000 (18:21 +0200)]
Merge tag 'upstream/4.05.0_rc1' into debian/experimental

Upstream version 4.05.0~rc1

# gpg: Signature made Tue 04 Jul 2017 18:21:11 CEST
# gpg:                using RSA key 3667486A326DB2766D255546860DEF3B8F650B79
# gpg: Good signature from "Ximin Luo <infinity0@pwned.gg>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@torproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@freenetproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@debian.org>" [ultimate]
# gpg:                 aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin@gmx.com>" [ultimate]

8 years agoNew upstream version 4.05.0~rc1
Ximin Luo [Tue, 4 Jul 2017 16:20:52 +0000 (18:20 +0200)]
New upstream version 4.05.0~rc1

8 years agoRelease 4.04.0-2 to Debian experimental.
Ximin Luo [Sat, 4 Mar 2017 12:13:52 +0000 (13:13 +0100)]
Release 4.04.0-2 to Debian experimental.

8 years agoFix the build on non-opt+64 arches for raw_spacetime
Ximin Luo [Sat, 4 Mar 2017 11:47:12 +0000 (12:47 +0100)]
Fix the build on non-opt+64 arches for raw_spacetime

8 years agoRelease 4.04.0-1 to Debian experimental
Ximin Luo [Fri, 3 Mar 2017 22:58:10 +0000 (23:58 +0100)]
Release 4.04.0-1 to Debian experimental

8 years agoSome raw_spacetime files are not installed on non-opt architectures
Ximin Luo [Fri, 3 Mar 2017 22:38:11 +0000 (23:38 +0100)]
Some raw_spacetime files are not installed on non-opt architectures

Not sure that this is the best solution, but do it for now so we can release

8 years agoDon't install ocamloptp on non-opt architectures, properly
Ximin Luo [Fri, 3 Mar 2017 21:35:06 +0000 (22:35 +0100)]
Don't install ocamloptp on non-opt architectures, properly

8 years agoFix some install paths
Ximin Luo [Fri, 3 Mar 2017 17:39:21 +0000 (18:39 +0100)]
Fix some install paths

8 years agoAdd Replaces, lintian-overrides to d/control, reduce dpkg-gencontrol warnings
Ximin Luo [Fri, 3 Mar 2017 16:00:02 +0000 (17:00 +0100)]
Add Replaces, lintian-overrides to d/control, reduce dpkg-gencontrol warnings

8 years agoFix ocaml-nox.install for non-opt arches
Ximin Luo [Fri, 3 Mar 2017 15:09:51 +0000 (16:09 +0100)]
Fix ocaml-nox.install for non-opt arches

8 years agoUpdate path to ocamlobjinfo
Ximin Luo [Fri, 3 Mar 2017 13:25:03 +0000 (14:25 +0100)]
Update path to ocamlobjinfo

8 years agoMerge ocaml-native-compilers into ocaml-nox
Ximin Luo [Fri, 3 Mar 2017 13:15:56 +0000 (14:15 +0100)]
Merge ocaml-native-compilers into ocaml-nox

9 years agoUpdate install files with new libraries
Ximin Luo [Sun, 6 Nov 2016 20:16:09 +0000 (21:16 +0100)]
Update install files with new libraries

9 years agoUpdate patches, versions, and changelog
Ximin Luo [Sun, 6 Nov 2016 18:59:28 +0000 (19:59 +0100)]
Update patches, versions, and changelog

9 years agoMerge tag 'upstream/4.04.0' into debian/experimental
Ximin Luo [Sun, 6 Nov 2016 18:48:03 +0000 (19:48 +0100)]
Merge tag 'upstream/4.04.0' into debian/experimental

Upstream version 4.04.0

# gpg: Signature made Sun 06 Nov 2016 19:47:59 CET
# gpg:                using RSA key 860DEF3B8F650B79
# gpg: Good signature from "Ximin Luo <infinity0@pwned.gg>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@torproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@freenetproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@debian.org>" [ultimate]
# gpg:                 aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin@gmx.com>" [ultimate]

9 years agoNew upstream version 4.04.0
Ximin Luo [Sun, 6 Nov 2016 18:47:52 +0000 (19:47 +0100)]
New upstream version 4.04.0

9 years agoAdd correct branch to gbp.conf
Ximin Luo [Sun, 6 Nov 2016 18:47:31 +0000 (19:47 +0100)]
Add correct branch to gbp.conf

9 years agoUse secure and canonical URIs for Vcs-* fields
Mehdi Dogguy [Sun, 6 Nov 2016 10:02:10 +0000 (11:02 +0100)]
Use secure and canonical URIs for Vcs-* fields

9 years agoUse secure and canonical URIs for Vcs-* fields
Mehdi Dogguy [Sun, 6 Nov 2016 10:01:41 +0000 (11:01 +0100)]
Use secure and canonical URIs for Vcs-* fields

9 years agoRelease 4.03.0-5 to Debian experimental.
Ximin Luo [Thu, 3 Nov 2016 00:39:45 +0000 (01:39 +0100)]
Release 4.03.0-5 to Debian experimental.

9 years agoUpdate d/changelog
Ximin Luo [Wed, 2 Nov 2016 23:13:32 +0000 (00:13 +0100)]
Update d/changelog

9 years agoFix variable substitution in Makefile syntax
Ximin Luo [Wed, 2 Nov 2016 23:11:36 +0000 (00:11 +0100)]
Fix variable substitution in Makefile syntax

9 years agoRelease 4.03.0-4 to Debian experimental.
Ximin Luo [Wed, 2 Nov 2016 14:26:46 +0000 (15:26 +0100)]
Release 4.03.0-4 to Debian experimental.

9 years agoFix substvars syntax for the native case and mention in d/changelog
Ximin Luo [Wed, 2 Nov 2016 13:27:08 +0000 (14:27 +0100)]
Fix substvars syntax for the native case and mention in d/changelog

9 years agoRelease 4.03.0-3 to Debian experimental.
Ximin Luo [Wed, 2 Nov 2016 12:09:31 +0000 (13:09 +0100)]
Release 4.03.0-3 to Debian experimental.

9 years agoAdd a versioned Provides so we can have versioned Build-Depends elsewhere
Ximin Luo [Wed, 2 Nov 2016 12:08:21 +0000 (13:08 +0100)]
Add a versioned Provides so we can have versioned Build-Depends elsewhere

9 years agoAdd myself to Uploaders in d/control.in as well
Ximin Luo [Wed, 2 Nov 2016 12:02:40 +0000 (13:02 +0100)]
Add myself to Uploaders in d/control.in as well

9 years agoDefault to PIC on arm, to fix failing armhf tests
Ximin Luo [Wed, 2 Nov 2016 03:04:49 +0000 (04:04 +0100)]
Default to PIC on arm, to fix failing armhf tests

9 years agoRelease 4.03.0-2 to Debian experimental.
Ximin Luo [Fri, 28 Oct 2016 00:13:20 +0000 (02:13 +0200)]
Release 4.03.0-2 to Debian experimental.

9 years agoAdd myself to Uploaders
Ximin Luo [Fri, 28 Oct 2016 00:13:10 +0000 (02:13 +0200)]
Add myself to Uploaders

9 years agoSkip native tests on bytecode-only systems
Ximin Luo [Fri, 28 Oct 2016 00:11:59 +0000 (02:11 +0200)]
Skip native tests on bytecode-only systems

9 years agoUpdate natdynlink-archs and run d/rules regenerate
Ximin Luo [Thu, 27 Oct 2016 23:02:08 +0000 (01:02 +0200)]
Update natdynlink-archs and run d/rules regenerate

9 years agoUpdate d/control with the new arches as well
Ximin Luo [Thu, 27 Oct 2016 22:10:37 +0000 (00:10 +0200)]
Update d/control with the new arches as well

9 years agoUpdate d/control.in and add new native arches
Ximin Luo [Thu, 27 Oct 2016 22:08:17 +0000 (00:08 +0200)]
Update d/control.in and add new native arches

9 years agoRelease 4.03.0-1 to Debian experimental.
Ximin Luo [Thu, 20 Oct 2016 15:44:33 +0000 (17:44 +0200)]
Release 4.03.0-1 to Debian experimental.

9 years agoRevert "Allow test retries; seeing spurious failures most likely due to parallel...
Ximin Luo [Thu, 20 Oct 2016 15:43:13 +0000 (17:43 +0200)]
Revert "Allow test retries; seeing spurious failures most likely due to parallel bugginess"

This reverts commit 4fb3526cdf013f0a6b23eb93c2accd10b7250788.

We're not actually running parallel tests and I found the real source of the problem.

9 years agoAnother upstream test depends on the behaviour of -custom
Ximin Luo [Thu, 20 Oct 2016 15:41:28 +0000 (17:41 +0200)]
Another upstream test depends on the behaviour of -custom

9 years agoAllow test retries; seeing spurious failures most likely due to parallel bugginess
Ximin Luo [Thu, 20 Oct 2016 09:57:29 +0000 (11:57 +0200)]
Allow test retries; seeing spurious failures most likely due to parallel bugginess

9 years agoUpdate install files and drop ocamlbuild
Ximin Luo [Wed, 28 Sep 2016 21:07:38 +0000 (23:07 +0200)]
Update install files and drop ocamlbuild

Upstream has split ocamlbuild into a separate package [1] and we will need to
package it separately. :(

[1] https://github.com/ocaml/ocamlbuild/

9 years agoUpdate version hidden away in d/rules
Ximin Luo [Wed, 28 Sep 2016 20:30:45 +0000 (22:30 +0200)]
Update version hidden away in d/rules

9 years agoUpdate changelog and patches
Ximin Luo [Wed, 28 Sep 2016 20:26:52 +0000 (22:26 +0200)]
Update changelog and patches

Remove the following patches:

0007-Tune-resource-usage-of-some-tests.patch
  tests reduced upstream, no longer applicable

0010-Enable-ocamldoc-to-build-reproducible-manpages.patch
  applied upstream

0010-Add-a-.file-directive-to-generated-.s-files.patch
  applied upstream

0011-Compatibility-with-x32-architecture.patch
  applied upstream

9 years agoMerge tag 'upstream/4.03.0'
Ximin Luo [Wed, 28 Sep 2016 19:54:01 +0000 (21:54 +0200)]
Merge tag 'upstream/4.03.0'

Upstream version 4.03.0

# gpg: Signature made Wed 28 Sep 2016 21:54:01 CEST
# gpg:                using RSA key 860DEF3B8F650B79
# gpg: Good signature from "Ximin Luo <infinity0@pwned.gg>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@torproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@freenetproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@debian.org>" [ultimate]
# gpg:                 aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin@gmx.com>" [ultimate]

9 years agoNew upstream version 4.03.0
Ximin Luo [Wed, 28 Sep 2016 19:53:48 +0000 (21:53 +0200)]
New upstream version 4.03.0

9 years agod/rules: configure: don't fail mkdir if the directory already exists
Ximin Luo [Wed, 28 Sep 2016 19:40:44 +0000 (21:40 +0200)]
d/rules: configure: don't fail mkdir if the directory already exists

9 years agostandards-version 3.9.8
Ralf Treinen [Fri, 15 Jul 2016 20:20:10 +0000 (22:20 +0200)]
standards-version 3.9.8

9 years agotwo spelling errors in ocaml-base-nox.README.Debian
Ralf Treinen [Fri, 15 Jul 2016 20:10:19 +0000 (22:10 +0200)]
two spelling errors in ocaml-base-nox.README.Debian

9 years agodrop d/ocaml-nox.links.in
Ralf Treinen [Fri, 15 Jul 2016 19:19:11 +0000 (21:19 +0200)]
drop d/ocaml-nox.links.in

since it contains only dangling symlinks

9 years agod/rules: split install-stamp target into -arch and -indep
Ralf Treinen [Fri, 15 Jul 2016 18:31:08 +0000 (20:31 +0200)]
d/rules: split install-stamp target into -arch and -indep

9 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 16 Feb 2016 10:34:23 +0000 (11:34 +0100)]
Update changelog and prepare upload to unstable

9 years agoAdd x32 support (Closes: #773409)
Stephane Glondu [Tue, 16 Feb 2016 10:33:59 +0000 (11:33 +0100)]
Add x32 support (Closes: #773409)

10 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 20 Oct 2015 09:42:36 +0000 (11:42 +0200)]
Update changelog and prepare upload to unstable

10 years agoFix ocamldoc with -pp (Closes: #802347)
Stephane Glondu [Tue, 20 Oct 2015 09:40:35 +0000 (11:40 +0200)]
Fix ocamldoc with -pp (Closes: #802347)

10 years agoRefresh patch
Stephane Glondu [Tue, 20 Oct 2015 09:39:34 +0000 (11:39 +0200)]
Refresh patch

10 years agoRelease to unstable
Mehdi Dogguy [Sun, 18 Oct 2015 23:02:40 +0000 (01:02 +0200)]
Release to unstable

10 years agoAvoid multiple declarations of caml_set_oo_id in generated .c files
Mehdi Dogguy [Sun, 18 Oct 2015 23:01:10 +0000 (01:01 +0200)]
Avoid multiple declarations of caml_set_oo_id in generated .c files

10 years agoUpload to unstable
Stephane Glondu [Thu, 8 Oct 2015 08:46:25 +0000 (10:46 +0200)]
Upload to unstable

10 years agoPrepare upload to experimental
Stephane Glondu [Sat, 22 Aug 2015 07:46:55 +0000 (09:46 +0200)]
Prepare upload to experimental

10 years agoUpdate changelog
Stephane Glondu [Fri, 21 Aug 2015 21:38:11 +0000 (23:38 +0200)]
Update changelog

10 years agoCleaner patch for adding .file directives (Closes: #796336)
Stephane Glondu [Fri, 21 Aug 2015 20:04:34 +0000 (22:04 +0200)]
Cleaner patch for adding .file directives (Closes: #796336)

10 years agoRefresh patches
Stephane Glondu [Fri, 21 Aug 2015 20:04:46 +0000 (22:04 +0200)]
Refresh patches

10 years agoUpdate changelog
Stephane Glondu [Fri, 21 Aug 2015 11:46:55 +0000 (13:46 +0200)]
Update changelog

10 years agoSet permissions of patches in ocaml-source
Stephane Glondu [Fri, 21 Aug 2015 08:50:13 +0000 (10:50 +0200)]
Set permissions of patches in ocaml-source

10 years agoUpdate changelog
Stephane Glondu [Sun, 16 Aug 2015 19:13:20 +0000 (21:13 +0200)]
Update changelog

10 years agoAdd a .file directive to startup .s files for reproducibility (Closes: #795784)
Stephane Glondu [Sun, 16 Aug 2015 19:10:12 +0000 (21:10 +0200)]
Add a .file directive to startup .s files for reproducibility (Closes: #795784)

10 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Thu, 13 Aug 2015 09:56:20 +0000 (11:56 +0200)]
Update changelog and prepare upload to experimental

10 years agoBump Standards-Version to 3.9.6
Stephane Glondu [Thu, 13 Aug 2015 16:53:09 +0000 (18:53 +0200)]
Bump Standards-Version to 3.9.6

10 years agoRemove empty directories
Stephane Glondu [Thu, 13 Aug 2015 17:15:11 +0000 (19:15 +0200)]
Remove empty directories

10 years agoEnable ocamldoc to build reproducible manpages (Closes: #794586)
Stephane Glondu [Thu, 13 Aug 2015 11:19:55 +0000 (13:19 +0200)]
Enable ocamldoc to build reproducible manpages (Closes: #794586)

Patch by Valentin Lorentz.

10 years agoReproducible ocaml-source package (Closes: #779086)
Stephane Glondu [Wed, 12 Aug 2015 12:11:12 +0000 (14:11 +0200)]
Reproducible ocaml-source package (Closes: #779086)

Patch from Chris Lamb.

10 years agoCope with installation of *.cmt and *.cmti files
Stephane Glondu [Mon, 10 Aug 2015 13:54:24 +0000 (15:54 +0200)]
Cope with installation of *.cmt and *.cmti files

10 years agoUpdate ABI
Stephane Glondu [Mon, 10 Aug 2015 09:24:17 +0000 (11:24 +0200)]
Update ABI

10 years agoNew upstream release
Stephane Glondu [Mon, 10 Aug 2015 09:17:38 +0000 (11:17 +0200)]
New upstream release

10 years agoMerge tag 'upstream/4.02.3' into experimental/master
Stephane Glondu [Mon, 10 Aug 2015 09:13:35 +0000 (11:13 +0200)]
Merge tag 'upstream/4.02.3' into experimental/master

Upstream version 4.02.3

10 years agoImported Upstream version 4.02.3
Stephane Glondu [Mon, 10 Aug 2015 09:13:22 +0000 (11:13 +0200)]
Imported Upstream version 4.02.3

10 years agoRefresh patches
Stephane Glondu [Mon, 10 Aug 2015 08:53:32 +0000 (10:53 +0200)]
Refresh patches

10 years agoMore flexible upstream tarball
Stephane Glondu [Fri, 19 Jun 2015 16:01:57 +0000 (18:01 +0200)]
More flexible upstream tarball

10 years agoUpdate ABI
Stephane Glondu [Fri, 19 Jun 2015 16:00:58 +0000 (18:00 +0200)]
Update ABI

10 years agoNew upstream release
Stephane Glondu [Fri, 19 Jun 2015 15:59:51 +0000 (17:59 +0200)]
New upstream release

10 years agoMerge tag 'upstream/4.02.2' into experimental/master
Stephane Glondu [Fri, 19 Jun 2015 15:59:21 +0000 (17:59 +0200)]
Merge tag 'upstream/4.02.2' into experimental/master

Upstream version 4.02.2

10 years agoImported Upstream version 4.02.2
Stephane Glondu [Fri, 19 Jun 2015 15:59:12 +0000 (17:59 +0200)]
Imported Upstream version 4.02.2

10 years agoNew installed files
Stephane Glondu [Fri, 12 Jun 2015 14:49:51 +0000 (16:49 +0200)]
New installed files

10 years agoUpstream tarball is .gz
Stephane Glondu [Fri, 12 Jun 2015 14:37:53 +0000 (16:37 +0200)]
Upstream tarball is .gz

10 years agoRe-enable tests that have been fixed upstream
Stephane Glondu [Fri, 12 Jun 2015 14:29:34 +0000 (16:29 +0200)]
Re-enable tests that have been fixed upstream

10 years agoUpdate ABI
Stephane Glondu [Fri, 12 Jun 2015 14:27:42 +0000 (16:27 +0200)]
Update ABI

10 years agoRefresh patches
Stephane Glondu [Fri, 12 Jun 2015 14:25:25 +0000 (16:25 +0200)]
Refresh patches

10 years agoNew upstream release candidate
Stephane Glondu [Fri, 12 Jun 2015 14:24:20 +0000 (16:24 +0200)]
New upstream release candidate

10 years agoMerge tag 'upstream/4.02.2_rc1' into experimental/master
Stephane Glondu [Fri, 12 Jun 2015 14:23:55 +0000 (16:23 +0200)]
Merge tag 'upstream/4.02.2_rc1' into experimental/master

Upstream version 4.02.2~rc1

10 years agoImported Upstream version 4.02.2~rc1
Stephane Glondu [Fri, 12 Jun 2015 14:23:52 +0000 (16:23 +0200)]
Imported Upstream version 4.02.2~rc1

10 years agoPrepare upload to experimental
Stephane Glondu [Mon, 16 Feb 2015 10:14:11 +0000 (11:14 +0100)]
Prepare upload to experimental

10 years agoUpdate control.in
Stephane Glondu [Mon, 16 Feb 2015 10:37:29 +0000 (11:37 +0100)]
Update control.in

10 years agoRemove traces of camlp4
Stephane Glondu [Mon, 16 Feb 2015 10:36:40 +0000 (11:36 +0100)]
Remove traces of camlp4

10 years agoUpdate changelog
Stephane Glondu [Thu, 20 Nov 2014 15:49:45 +0000 (16:49 +0100)]
Update changelog

10 years agoDisable faulty test case
Stephane Glondu [Mon, 16 Feb 2015 09:07:02 +0000 (10:07 +0100)]
Disable faulty test case

11 years agoFix asmcomp tests on sparc
Stephane Glondu [Thu, 20 Nov 2014 15:49:14 +0000 (16:49 +0100)]
Fix asmcomp tests on sparc

11 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Wed, 19 Nov 2014 05:57:13 +0000 (06:57 +0100)]
Update changelog and prepare upload to experimental

11 years agoAdd arm64 to natdynlink-archs as well
Stephane Glondu [Wed, 19 Nov 2014 06:07:21 +0000 (07:07 +0100)]
Add arm64 to natdynlink-archs as well

11 years agoMerge tag 'debian/4.01.0-5' into experimental/master
Stephane Glondu [Thu, 30 Oct 2014 10:07:50 +0000 (11:07 +0100)]
Merge tag 'debian/4.01.0-5' into experimental/master

ocaml Debian release 4.01.0-5

Conflicts:
debian/changelog

11 years agoPrepare upload to unstable
Stephane Glondu [Thu, 30 Oct 2014 08:28:16 +0000 (09:28 +0100)]
Prepare upload to unstable

11 years agoAdd missing comma
Stephane Glondu [Thu, 30 Oct 2014 09:06:42 +0000 (10:06 +0100)]
Add missing comma

11 years agoUpdate changelog
Stephane Glondu [Tue, 28 Oct 2014 08:45:28 +0000 (09:45 +0100)]
Update changelog