ocaml.git
13 years agoNew upstream release
Stephane Glondu [Fri, 27 Jul 2012 05:26:32 +0000 (07:26 +0200)]
New upstream release

13 years agoMerge tag 'upstream/4.00.0' into experimental/master
Stephane Glondu [Fri, 27 Jul 2012 05:25:24 +0000 (07:25 +0200)]
Merge tag 'upstream/4.00.0' into experimental/master

Upstream version 4.00.0

13 years agoImported Upstream version 4.00.0
Stephane Glondu [Fri, 27 Jul 2012 05:25:16 +0000 (07:25 +0200)]
Imported Upstream version 4.00.0

13 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Sat, 21 Jul 2012 13:42:15 +0000 (15:42 +0200)]
Update changelog and prepare upload to experimental

13 years agoMerge branch 'master' into experimental/master
Stephane Glondu [Sat, 21 Jul 2012 13:13:51 +0000 (15:13 +0200)]
Merge branch 'master' into experimental/master

Conflicts:
patch for Debian-specific behaviour of -custom

13 years agoUpdate ABI
Stephane Glondu [Sat, 21 Jul 2012 13:09:59 +0000 (15:09 +0200)]
Update ABI

13 years agoRefresh patches
Stephane Glondu [Sat, 21 Jul 2012 12:42:47 +0000 (14:42 +0200)]
Refresh patches

13 years agoNew upstream release candidate
Stephane Glondu [Sat, 21 Jul 2012 12:37:13 +0000 (14:37 +0200)]
New upstream release candidate

13 years agoMerge tag 'upstream/4.00.0_rc1' into experimental/master
Stephane Glondu [Sat, 21 Jul 2012 12:36:47 +0000 (14:36 +0200)]
Merge tag 'upstream/4.00.0_rc1' into experimental/master

Upstream version 4.00.0~rc1

13 years agoImported Upstream version 4.00.0~rc1
Stephane Glondu [Sat, 21 Jul 2012 12:36:39 +0000 (14:36 +0200)]
Imported Upstream version 4.00.0~rc1

13 years agoFix i18n bug in thread tests
Stephane Glondu [Sat, 21 Jul 2012 11:43:50 +0000 (13:43 +0200)]
Fix i18n bug in thread tests

13 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 26 Jun 2012 05:34:23 +0000 (07:34 +0200)]
Update changelog and prepare upload to unstable

13 years agoMake the Debian-specific behaviour of -custom opt-in (Closes: #678577)
Stephane Glondu [Tue, 26 Jun 2012 05:25:56 +0000 (07:25 +0200)]
Make the Debian-specific behaviour of -custom opt-in (Closes: #678577)

13 years agoRefresh patches
Stephane Glondu [Tue, 26 Jun 2012 05:25:32 +0000 (07:25 +0200)]
Refresh patches

13 years agoAdd references to upstream bugreport in patches
Stephane Glondu [Thu, 21 Jun 2012 15:31:48 +0000 (17:31 +0200)]
Add references to upstream bugreport in patches

13 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Thu, 21 Jun 2012 11:45:05 +0000 (13:45 +0200)]
Update changelog and prepare upload to experimental

13 years agoFix natdynlink detection on sparc
Stephane Glondu [Thu, 21 Jun 2012 11:36:19 +0000 (13:36 +0200)]
Fix natdynlink detection on sparc

13 years agoFix symbol mangling in asmcomp tests on kfreebsd-i386 and sparc
Stephane Glondu [Wed, 20 Jun 2012 20:36:34 +0000 (22:36 +0200)]
Fix symbol mangling in asmcomp tests on kfreebsd-i386 and sparc

13 years agoFixes in PowerPC test suite
Stephane Glondu [Wed, 20 Jun 2012 20:01:44 +0000 (22:01 +0200)]
Fixes in PowerPC test suite

13 years agoFix testsuite on bytecode architectures (again and again...)
Stephane Glondu [Wed, 20 Jun 2012 11:54:41 +0000 (13:54 +0200)]
Fix testsuite on bytecode architectures (again and again...)

This patch is minimal wrt upstream source, but the testsuite makefiles
should probably be rewritten from scratch...

13 years agoUse legacy -custom for lib-marshal test
Stephane Glondu [Tue, 19 Jun 2012 07:57:55 +0000 (09:57 +0200)]
Use legacy -custom for lib-marshal test

13 years agoBump Standards-Version to 3.9.3
Stephane Glondu [Wed, 20 Jun 2012 14:52:43 +0000 (16:52 +0200)]
Bump Standards-Version to 3.9.3

13 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Wed, 13 Jun 2012 20:38:45 +0000 (22:38 +0200)]
Update changelog and prepare upload to experimental

13 years agoMerge branch 'master' into experimental/master
Stephane Glondu [Wed, 13 Jun 2012 20:37:43 +0000 (22:37 +0200)]
Merge branch 'master' into experimental/master

13 years agoUse directly upstream tarball for "building" ocaml-source
Stephane Glondu [Fri, 10 Feb 2012 16:47:43 +0000 (17:47 +0100)]
Use directly upstream tarball for "building" ocaml-source

This commit changes the "interface" of the ocaml-source package: it
now installs /usr/src/ocaml-source-$(OCAML_ABI).tar, which contains
the .orig.tar.bz2 along with debian patches in a debian-patches/
directory.

13 years agoSkip broken test
Stephane Glondu [Wed, 13 Jun 2012 13:49:41 +0000 (15:49 +0200)]
Skip broken test

13 years agodebian/rules regenerate
Stephane Glondu [Wed, 13 Jun 2012 08:15:12 +0000 (10:15 +0200)]
debian/rules regenerate

13 years agoUse compiler-libs as installed by upstream
Stephane Glondu [Wed, 13 Jun 2012 11:30:28 +0000 (13:30 +0200)]
Use compiler-libs as installed by upstream

As a side effect, add a dependency ocaml-interp -> ocaml-compiler-libs
since toplevel library has been moved there.

13 years agoRemove files that make no sense without ocamlopt
Stephane Glondu [Fri, 20 Apr 2012 05:59:42 +0000 (07:59 +0200)]
Remove files that make no sense without ocamlopt

Their presence combined with dh_install --fail-missing cause FTBFS on
bytecode architectures...

13 years agoMisc updates
Stephane Glondu [Wed, 13 Jun 2012 08:40:26 +0000 (10:40 +0200)]
Misc updates

13 years agoUpdate ABI
Stephane Glondu [Wed, 13 Jun 2012 08:09:45 +0000 (10:09 +0200)]
Update ABI

13 years agoRefresh patches
Stephane Glondu [Wed, 13 Jun 2012 08:09:06 +0000 (10:09 +0200)]
Refresh patches

13 years agoNew upstream beta release
Stephane Glondu [Wed, 13 Jun 2012 08:07:35 +0000 (10:07 +0200)]
New upstream beta release

13 years agoMerge tag 'upstream/4.00.0_beta2' into experimental/master
Stephane Glondu [Wed, 13 Jun 2012 08:06:55 +0000 (10:06 +0200)]
Merge tag 'upstream/4.00.0_beta2' into experimental/master

Upstream version 4.00.0~beta2

13 years agoImported Upstream version 4.00.0~beta2
Stephane Glondu [Wed, 13 Jun 2012 08:06:51 +0000 (10:06 +0200)]
Imported Upstream version 4.00.0~beta2

13 years agoUse upstream tarball in bz2 format
Stephane Glondu [Wed, 13 Jun 2012 08:06:25 +0000 (10:06 +0200)]
Use upstream tarball in bz2 format

13 years agoRefer to experimental branches in debian/gbp.conf
Stephane Glondu [Wed, 13 Jun 2012 08:03:36 +0000 (10:03 +0200)]
Refer to experimental branches in debian/gbp.conf

13 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Mon, 14 May 2012 05:52:46 +0000 (07:52 +0200)]
Update changelog and prepare upload to unstable

13 years agoAvoid package-contains-broken-symlink Lintian tag
Stephane Glondu [Mon, 16 Apr 2012 11:40:52 +0000 (13:40 +0200)]
Avoid package-contains-broken-symlink Lintian tag

This is done by adding explicit dependencies to ocaml-base-nox and
camlp4 where relevant. These dependencies are redundant with the -$ABI
dependencies, but Lintian doesn't check virtual packages... and I
don't think it should (in general).

13 years agodrop pre-depends, use (fboundp 'debian-pkg-add-load-path-item)
Hendrik Tews [Fri, 11 May 2012 15:43:56 +0000 (17:43 +0200)]
drop pre-depends, use (fboundp 'debian-pkg-add-load-path-item)

13 years agofixing startup and install scripts of ocaml-mode
Hendrik Tews [Fri, 11 May 2012 11:41:03 +0000 (13:41 +0200)]
fixing startup and install scripts of ocaml-mode

13 years agoPrepare upload to experimental
Stephane Glondu [Thu, 19 Apr 2012 07:04:40 +0000 (09:04 +0200)]
Prepare upload to experimental

13 years agoUpdate changelog
Stephane Glondu [Thu, 19 Apr 2012 06:34:33 +0000 (08:34 +0200)]
Update changelog

13 years agoAvoid package-contains-broken-symlink Lintian tag
Stephane Glondu [Mon, 16 Apr 2012 11:40:52 +0000 (13:40 +0200)]
Avoid package-contains-broken-symlink Lintian tag

This is done by adding explicit dependencies to ocaml-base-nox and
camlp4 where relevant. These dependencies are redundant with the -$ABI
dependencies, but Lintian doesn't check virtual packages... and I
don't think it should (in general).

13 years agoRevert recent changes in otherlibs/graph/.depends
Stephane Glondu [Thu, 12 Apr 2012 07:07:41 +0000 (09:07 +0200)]
Revert recent changes in otherlibs/graph/.depends

13 years agoCall dh_install with --fail-missing
Stephane Glondu [Tue, 3 Apr 2012 11:40:54 +0000 (13:40 +0200)]
Call dh_install with --fail-missing

13 years agodebian/rules regenerate
Stephane Glondu [Fri, 10 Feb 2012 16:00:58 +0000 (17:00 +0100)]
debian/rules regenerate

13 years agoFix embedded test broken by our -custom behaviour
Stephane Glondu [Tue, 27 Mar 2012 13:35:17 +0000 (15:35 +0200)]
Fix embedded test broken by our -custom behaviour

13 years agoFix asmcomp tests on Hurd (Closes: #661716)
Stephane Glondu [Tue, 27 Mar 2012 09:44:29 +0000 (11:44 +0200)]
Fix asmcomp tests on Hurd (Closes: #661716)

13 years agoTune the test suite for slow architectures
Stephane Glondu [Mon, 27 Feb 2012 19:59:11 +0000 (20:59 +0100)]
Tune the test suite for slow architectures

13 years agoRun the test suite
Stephane Glondu [Fri, 10 Feb 2012 16:47:39 +0000 (17:47 +0100)]
Run the test suite

13 years agoAdd a "regenerate" target
Stephane Glondu [Fri, 10 Feb 2012 15:58:27 +0000 (16:58 +0100)]
Add a "regenerate" target

13 years agoNewly installed VERSION file
Stephane Glondu [Tue, 3 Apr 2012 16:14:27 +0000 (18:14 +0200)]
Newly installed VERSION file

13 years agoUpdate installed manpages
Stephane Glondu [Tue, 3 Apr 2012 16:14:16 +0000 (18:14 +0200)]
Update installed manpages

13 years agoProfiling is now available in native code
Stephane Glondu [Tue, 3 Apr 2012 16:14:02 +0000 (18:14 +0200)]
Profiling is now available in native code

13 years agoThe dbm bindings are released separately from now on
Stephane Glondu [Wed, 18 Jan 2012 13:16:32 +0000 (14:16 +0100)]
The dbm bindings are released separately from now on

13 years agoDeclare armel and armhf as native and supporting natdynlink
Stephane Glondu [Tue, 3 Apr 2012 06:44:50 +0000 (08:44 +0200)]
Declare armel and armhf as native and supporting natdynlink

13 years agoUpdate ABI
Stephane Glondu [Thu, 19 Apr 2012 06:33:22 +0000 (08:33 +0200)]
Update ABI

13 years agoRefresh patches
Stephane Glondu [Tue, 7 Feb 2012 09:40:05 +0000 (10:40 +0100)]
Refresh patches

13 years agoNew upstream snapshot
Stephane Glondu [Thu, 19 Apr 2012 06:32:58 +0000 (08:32 +0200)]
New upstream snapshot

13 years agoMerge tag 'upstream/4.00.0__dev15+12379' into 4.00/master
Stephane Glondu [Thu, 19 Apr 2012 06:30:06 +0000 (08:30 +0200)]
Merge tag 'upstream/4.00.0__dev15+12379' into 4.00/master

Upstream version 4.00.0~~dev15+12379

13 years agoImported Upstream version 4.00.0~~dev15+12379
Stephane Glondu [Tue, 27 Mar 2012 09:11:29 +0000 (11:11 +0200)]
Imported Upstream version 4.00.0~~dev15+12379

13 years agoAdd references to upstream bug reports in patches
Stephane Glondu [Wed, 11 Apr 2012 12:36:48 +0000 (14:36 +0200)]
Add references to upstream bug reports in patches

13 years agoFix debian/watch so that refman is not reported as a new version
Stephane Glondu [Wed, 11 Apr 2012 12:43:02 +0000 (14:43 +0200)]
Fix debian/watch so that refman is not reported as a new version

13 years agoFix computation of ABI with recent snapshots
Stephane Glondu [Tue, 3 Apr 2012 06:39:49 +0000 (08:39 +0200)]
Fix computation of ABI with recent snapshots

Since r12298, development versions have been "$ABI_$DATE" instead of
"$ABI ($DATE)".

13 years agoRemove empty directory at the right time
Stephane Glondu [Wed, 8 Feb 2012 16:45:15 +0000 (17:45 +0100)]
Remove empty directory at the right time

13 years agoFix Lintian override
Stephane Glondu [Wed, 18 Jan 2012 13:34:03 +0000 (14:34 +0100)]
Fix Lintian override

13 years agoChanges is already installed as /usr/share/doc/$pkg/changelog
Stephane Glondu [Wed, 18 Jan 2012 13:30:22 +0000 (14:30 +0100)]
Changes is already installed as /usr/share/doc/$pkg/changelog

13 years agoFix debian/rules to cope with development variants of `ocamlc -version`
Stephane Glondu [Wed, 8 Feb 2012 15:52:15 +0000 (16:52 +0100)]
Fix debian/rules to cope with development variants of `ocamlc -version`

13 years agoUpdate debian/control.in
Stephane Glondu [Wed, 8 Feb 2012 09:12:37 +0000 (10:12 +0100)]
Update debian/control.in

13 years agoReset $Id$ to avoid useless diffs with svn snapshots
Stephane Glondu [Fri, 10 Feb 2012 10:32:18 +0000 (11:32 +0100)]
Reset $Id$ to avoid useless diffs with svn snapshots

14 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 1 Nov 2011 15:12:25 +0000 (16:12 +0100)]
Update changelog and prepare upload to unstable

14 years agoAdd reference to upstream bugreport
Stephane Glondu [Tue, 1 Nov 2011 15:04:19 +0000 (16:04 +0100)]
Add reference to upstream bugreport

14 years agoDo not add -R$dir in X11 link options on GNU/kFreeBSD
Stephane Glondu [Tue, 1 Nov 2011 14:30:03 +0000 (15:30 +0100)]
Do not add -R$dir in X11 link options on GNU/kFreeBSD

14 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 1 Nov 2011 12:31:52 +0000 (13:31 +0100)]
Update changelog and prepare upload to unstable

14 years agoAdd support for ENOTSUP (Closes: #646372)
Stephane Glondu [Tue, 1 Nov 2011 12:51:52 +0000 (13:51 +0100)]
Add support for ENOTSUP (Closes: #646372)

14 years agoremove myself from Uploaders
Stefano Zacchiroli [Sat, 8 Oct 2011 17:23:11 +0000 (19:23 +0200)]
remove myself from Uploaders

14 years agoAdd Breaks against old versions of dh-ocaml (Closes: #642935)
Jonathan Nieder [Sun, 25 Sep 2011 19:37:16 +0000 (21:37 +0200)]
Add Breaks against old versions of dh-ocaml (Closes: #642935)

Signed-off-by: Stephane Glondu <steph@glondu.net>
14 years agoocamlopt/arm patch forwarded upstream
Stephane Glondu [Sun, 14 Aug 2011 15:38:29 +0000 (17:38 +0200)]
ocamlopt/arm patch forwarded upstream

14 years agoUpdate changelog
Stephane Glondu [Fri, 12 Aug 2011 19:20:36 +0000 (21:20 +0200)]
Update changelog

14 years agoocamlopt/arm: add .type directive for code symbols (LP: #810402)
Stephane Glondu [Fri, 12 Aug 2011 19:17:37 +0000 (21:17 +0200)]
ocamlopt/arm: add .type directive for code symbols (LP: #810402)

14 years agoRefresh patches
Stephane Glondu [Fri, 12 Aug 2011 19:17:19 +0000 (21:17 +0200)]
Refresh patches

14 years agoCloses: #634621
Stephane Glondu [Tue, 19 Jul 2011 14:42:06 +0000 (16:42 +0200)]
Closes: #634621
14 years agoOups
Mehdi Dogguy [Fri, 15 Jul 2011 22:07:47 +0000 (00:07 +0200)]
Oups

14 years agoMake objinfo show force_link and ccobjs/ccopts when needed
Mehdi Dogguy [Fri, 15 Jul 2011 20:18:28 +0000 (22:18 +0200)]
Make objinfo show force_link and ccobjs/ccopts when needed

14 years agoNew upstream release
Stephane Glondu [Tue, 5 Jul 2011 19:28:53 +0000 (21:28 +0200)]
New upstream release

14 years agoMerge commit 'upstream/3.12.1'
Stephane Glondu [Tue, 5 Jul 2011 19:28:17 +0000 (21:28 +0200)]
Merge commit 'upstream/3.12.1'

14 years agoImported Upstream version 3.12.1
Stephane Glondu [Tue, 5 Jul 2011 19:28:06 +0000 (21:28 +0200)]
Imported Upstream version 3.12.1

14 years agoRefresh patches
Stephane Glondu [Wed, 15 Jun 2011 16:24:24 +0000 (18:24 +0200)]
Refresh patches

14 years agoNew upstream release candidate
Stephane Glondu [Wed, 15 Jun 2011 16:19:13 +0000 (18:19 +0200)]
New upstream release candidate

14 years agoMerge commit 'upstream/3.12.1_rc1'
Stephane Glondu [Wed, 15 Jun 2011 16:18:34 +0000 (18:18 +0200)]
Merge commit 'upstream/3.12.1_rc1'

14 years agoImported Upstream version 3.12.1~rc1
Stephane Glondu [Wed, 15 Jun 2011 16:18:21 +0000 (18:18 +0200)]
Imported Upstream version 3.12.1~rc1

14 years agoForce aligned access for double and int64 on mips*
Stephane Glondu [Sat, 28 May 2011 22:00:39 +0000 (00:00 +0200)]
Force aligned access for double and int64 on mips*

14 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Wed, 25 May 2011 05:40:15 +0000 (07:40 +0200)]
Update changelog and prepare upload to unstable

14 years agoUpdate changelog
Stephane Glondu [Tue, 24 May 2011 12:50:28 +0000 (14:50 +0200)]
Update changelog

14 years agoProperly initialize executable name in caml_startup_code (Closes: #627756)
Stephane Glondu [Tue, 24 May 2011 10:27:34 +0000 (12:27 +0200)]
Properly initialize executable name in caml_startup_code (Closes: #627756)

14 years agoDocument Debian-specific -custom behaviour in README.Debian
Stephane Glondu [Tue, 24 May 2011 10:03:15 +0000 (12:03 +0200)]
Document Debian-specific -custom behaviour in README.Debian

14 years agoProvide a way to use legacy custom linking (Closes: #627761)
Stephane Glondu [Tue, 24 May 2011 09:50:10 +0000 (11:50 +0200)]
Provide a way to use legacy custom linking (Closes: #627761)

14 years agoNOT RELEASED YET
Stephane Glondu [Tue, 24 May 2011 10:05:27 +0000 (12:05 +0200)]
NOT RELEASED YET

14 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Thu, 21 Apr 2011 15:08:51 +0000 (17:08 +0200)]
Update changelog and prepare upload to unstable