ocaml.git
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 agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Fri, 25 Jan 2019 13:03:50 +0000 (14:03 +0100)]
Update changelog and prepare upload to unstable

6 years agoDelete trailing whitespaces in debian/changelog
Stephane Glondu [Fri, 25 Jan 2019 13:57:38 +0000 (14:57 +0100)]
Delete trailing whitespaces in debian/changelog

6 years agoUpdate Vcs-* to point to salsa
Stephane Glondu [Fri, 25 Jan 2019 13:56:59 +0000 (14:56 +0100)]
Update Vcs-* to point to salsa

6 years agoUse caml_ba_multov instead of caml_umul_overflow
Stephane Glondu [Fri, 25 Jan 2019 13:36:36 +0000 (14:36 +0100)]
Use caml_ba_multov instead of caml_umul_overflow

6 years agoFix integer overflows when unmarshaling a bigarray
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)

6 years agoRefresh patches
Stephane Glondu [Fri, 25 Jan 2019 12:51:28 +0000 (13:51 +0100)]
Refresh patches

7 years agodropped recommends camlp4
Ralf Treinen [Wed, 18 Apr 2018 20:40:28 +0000 (22:40 +0200)]
dropped recommends camlp4

8 years agoRelease 4.05.0-10 to Debian unstable.
Ximin Luo [Wed, 4 Oct 2017 12:14:42 +0000 (14:14 +0200)]
Release 4.05.0-10 to Debian unstable.

8 years agoUpdate gbp.conf for sid branches
Ximin Luo [Wed, 4 Oct 2017 12:11:38 +0000 (14:11 +0200)]
Update gbp.conf for sid branches

8 years agoReplace the ARM PIC patch with one from upstream
Ximin Luo [Tue, 3 Oct 2017 21:35:14 +0000 (23:35 +0200)]
Replace the ARM PIC patch with one from upstream

8 years agoDrop support for ocamlopt on armel as suggested by upstream
Ximin Luo [Tue, 3 Oct 2017 19:44:19 +0000 (21:44 +0200)]
Drop support for ocamlopt on armel as suggested by upstream

8 years agoRelease 4.05.0-9 to Debian unstable.
Ximin Luo [Fri, 15 Sep 2017 16:41:22 +0000 (18:41 +0200)]
Release 4.05.0-9 to Debian unstable.

8 years agoRelease 4.05.0-8 to Debian experimental
Ximin Luo [Thu, 14 Sep 2017 10:02:42 +0000 (12:02 +0200)]
Release 4.05.0-8 to Debian experimental

8 years agoReplace arm64 patch with one applied upstream
Ximin Luo [Thu, 14 Sep 2017 10:01:59 +0000 (12:01 +0200)]
Replace arm64 patch with one applied upstream

8 years agoMark old bugs as closed
Ximin Luo [Wed, 16 Aug 2017 12:10:43 +0000 (14:10 +0200)]
Mark old bugs as closed

8 years agoConvert the menu file to a desktop file
Pino Toscano [Sun, 13 Aug 2017 10:35:55 +0000 (12:35 +0200)]
Convert the menu file to a desktop file

8 years agoUpdate d/changelog
Ximin Luo [Wed, 9 Aug 2017 13:01:58 +0000 (15:01 +0200)]
Update d/changelog

8 years agoMerge branch 'debian/sid' into debian/experimental
Ximin Luo [Wed, 9 Aug 2017 12:58:48 +0000 (14:58 +0200)]
Merge branch 'debian/sid' into debian/experimental

8 years agoAdd .gitattributes for easy changelog merging
Ximin Luo [Wed, 9 Aug 2017 12:53:09 +0000 (14:53 +0200)]
Add .gitattributes for easy changelog merging

8 years agoRelease 4.05.0-7 to Debian experimental.
Ximin Luo [Sun, 30 Jul 2017 23:42:38 +0000 (01:42 +0200)]
Release 4.05.0-7 to Debian experimental.

8 years agoOnly install ocaml-native-compilers.conf on native-code architectures
Ximin Luo [Sun, 30 Jul 2017 23:42:00 +0000 (01:42 +0200)]
Only install ocaml-native-compilers.conf on native-code architectures

8 years agoRelease 4.05.0-6 to Debian experimental.
Ximin Luo [Sat, 29 Jul 2017 09:06:44 +0000 (11:06 +0200)]
Release 4.05.0-6 to Debian experimental.

8 years agoMark certain symbols as .hidden in arm64 codegen, fixing FTBFS with binutils 2.29
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

8 years agoRelease 4.05.0-5 to Debian experimental.
Ximin Luo [Sat, 22 Jul 2017 10:14:07 +0000 (12:14 +0200)]
Release 4.05.0-5 to Debian experimental.

8 years agoUpdate d/changelog
Ximin Luo [Sat, 22 Jul 2017 10:08:06 +0000 (12:08 +0200)]
Update d/changelog

8 years agoProper fix for kfreebsd-* not having dup3/pipe2
Ximin Luo [Sat, 22 Jul 2017 09:10:34 +0000 (11:10 +0200)]
Proper fix for kfreebsd-* not having dup3/pipe2

8 years agoRelease 4.05.0-4 to Debian experimental.
Ximin Luo [Fri, 21 Jul 2017 18:40:40 +0000 (20:40 +0200)]
Release 4.05.0-4 to Debian experimental.

8 years agoProperly fix new natdynlink logic
Ximin Luo [Fri, 21 Jul 2017 18:38:22 +0000 (20:38 +0200)]
Properly fix new natdynlink logic

- fix the bogus "double-if" conditional
- filter is more correct than findstring, the latter gives amd64 even if only
  freebsd-amd64 is in the list

8 years agoRelease 4.05.0-3 to Debian experimental.
Ximin Luo [Fri, 21 Jul 2017 17:08:29 +0000 (19:08 +0200)]
Release 4.05.0-3 to Debian experimental.

8 years agoSimplify and fix the newer natdynlink handling
Ximin Luo [Fri, 21 Jul 2017 17:06:55 +0000 (19:06 +0200)]
Simplify and fix the newer natdynlink handling

8 years agoFix Makefile $-escaping syntax
Ximin Luo [Fri, 21 Jul 2017 16:57:06 +0000 (18:57 +0200)]
Fix Makefile $-escaping syntax

8 years agoRelease 4.05.0-2 to Debian experimental.
Ximin Luo [Fri, 21 Jul 2017 16:01:06 +0000 (18:01 +0200)]
Release 4.05.0-2 to Debian experimental.

8 years agoClose old bug reports
Ximin Luo [Fri, 21 Jul 2017 15:59:00 +0000 (17:59 +0200)]
Close old bug reports

8 years agoMore restructuring of ocamlvars.mk to pull in dependency variables
Ximin Luo [Fri, 21 Jul 2017 15:42:50 +0000 (17:42 +0200)]
More restructuring of ocamlvars.mk to pull in dependency variables

8 years agoRemoving $(_ocaml_share_path)/ocamlvars.mk was too hasty, it defines OCAML_DLL_DIR
Ximin Luo [Fri, 21 Jul 2017 15:37:58 +0000 (17:37 +0200)]
Removing $(_ocaml_share_path)/ocamlvars.mk was too hasty, it defines OCAML_DLL_DIR

8 years agoRefresh patches
Ximin Luo [Fri, 21 Jul 2017 15:33:31 +0000 (17:33 +0200)]
Refresh patches

8 years agoMove OCAML_* vars into separate file so it's available for ocamlinit.mk
Ximin Luo [Fri, 21 Jul 2017 15:31:43 +0000 (17:31 +0200)]
Move OCAML_* vars into separate file so it's available for ocamlinit.mk

8 years agoWhoops, missed one
Ximin Luo [Fri, 21 Jul 2017 14:07:14 +0000 (16:07 +0200)]
Whoops, missed one

8 years agoDisable failing dup3/pipe2-related tests on kfreebsd-*
Ximin Luo [Fri, 21 Jul 2017 14:05:54 +0000 (16:05 +0200)]
Disable failing dup3/pipe2-related tests on kfreebsd-*

8 years agoUpdate conditional-install rules for easier maintenance
Ximin Luo [Fri, 21 Jul 2017 14:00:04 +0000 (16:00 +0200)]
Update conditional-install rules for easier maintenance

8 years agoRun ocamlinit-stamp after config-stamp; this allows us to directly use config/Makefile
Ximin Luo [Fri, 21 Jul 2017 13:06:25 +0000 (15:06 +0200)]
Run ocamlinit-stamp after config-stamp; this allows us to directly use config/Makefile

8 years agoRelease 4.05.0-1 to Debian experimental.
Ximin Luo [Mon, 17 Jul 2017 14:11:49 +0000 (16:11 +0200)]
Release 4.05.0-1 to Debian experimental.

8 years agoUpdate to latest Standards-Version; no changes required.
Ximin Luo [Mon, 17 Jul 2017 14:08:59 +0000 (16:08 +0200)]
Update to latest Standards-Version; no changes required.

8 years agoUpdate Homepage
Ximin Luo [Mon, 17 Jul 2017 14:08:26 +0000 (16:08 +0200)]
Update Homepage

8 years agoccache does not seem that much quicker for ocaml, but leave the rules in
Ximin Luo [Mon, 17 Jul 2017 13:36:13 +0000 (15:36 +0200)]
ccache does not seem that much quicker for ocaml, but leave the rules in

8 years agoUpdate ABI in d/rules
Ximin Luo [Fri, 14 Jul 2017 12:13:12 +0000 (14:13 +0200)]
Update ABI in d/rules

8 years agoUpdate d/changelog
Ximin Luo [Fri, 14 Jul 2017 12:03:41 +0000 (14:03 +0200)]
Update d/changelog

8 years agoUpdated version 4.05.0 from 'upstream/4.05.0'
Ximin Luo [Fri, 14 Jul 2017 12:03:12 +0000 (14:03 +0200)]
Updated version 4.05.0 from 'upstream/4.05.0'

with Debian dir c844517dc96c16122fa8f074fd6dfbc03830ccab

8 years agoNew upstream version 4.05.0
Ximin Luo [Fri, 14 Jul 2017 12:02:59 +0000 (14:02 +0200)]
New upstream version 4.05.0

8 years agoUpdate 0006 patch from Stephane
Ximin Luo [Fri, 14 Jul 2017 12:01:58 +0000 (14:01 +0200)]
Update 0006 patch from Stephane

8 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Thu, 13 Jul 2017 08:42:31 +0000 (10:42 +0200)]
Update changelog and prepare upload to unstable

8 years agoTell dh_installdocs to ignore README.Debian (see #868204)
Stephane Glondu [Thu, 13 Jul 2017 08:42:05 +0000 (10:42 +0200)]
Tell dh_installdocs to ignore README.Debian (see #868204)

8 years agoAdd Provides: ocamlbuild to ocaml-nox
Stephane Glondu [Thu, 13 Jul 2017 02:41:15 +0000 (04:41 +0200)]
Add Provides: ocamlbuild to ocaml-nox

8 years agoUpstream now installs topdirs.mli into (what ends up in) ocaml-base-nox
Ximin Luo [Thu, 6 Jul 2017 21:43:53 +0000 (23:43 +0200)]
Upstream now installs topdirs.mli into (what ends up in) ocaml-base-nox

8 years agofor-loops in Makefiles need a 'set -e' to fail early
Ximin Luo [Thu, 6 Jul 2017 20:58:09 +0000 (22:58 +0200)]
for-loops in Makefiles need a 'set -e' to fail early

8 years agoMove ocaml-base-nox to the top of d/control for dh_installdocs
Ximin Luo [Thu, 6 Jul 2017 20:57:54 +0000 (22:57 +0200)]
Move ocaml-base-nox to the top of d/control for dh_installdocs

8 years agoUpdate installation rules
Ximin Luo [Tue, 4 Jul 2017 19:32:53 +0000 (21:32 +0200)]
Update installation rules

8 years agoTry ccache
Ximin Luo [Tue, 4 Jul 2017 18:49:51 +0000 (20:49 +0200)]
Try ccache

8 years agoUpdate d/patches
Ximin Luo [Tue, 4 Jul 2017 17:00:07 +0000 (19:00 +0200)]
Update d/patches

8 years agoUpdate d/changelog
Ximin Luo [Tue, 4 Jul 2017 16:45:14 +0000 (18:45 +0200)]
Update d/changelog

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

8 years agoRelease to unstable
Mehdi Dogguy [Wed, 21 Dec 2016 23:48:59 +0000 (00:48 +0100)]
Release to unstable

8 years agoCVE-2015-8869
Mehdi Dogguy [Wed, 21 Dec 2016 23:48:03 +0000 (00:48 +0100)]
CVE-2015-8869

8 years agoCompute a stable name for preprocessed files (Closes: #838188)
Mehdi Dogguy [Wed, 21 Dec 2016 23:37:18 +0000 (00:37 +0100)]
Compute a stable name for preprocessed files (Closes: #838188)

8 years agoUpdate headers of patch 0012-...
Mehdi Dogguy [Wed, 21 Dec 2016 23:32:00 +0000 (00:32 +0100)]
Update headers of patch 0012-...

8 years agoobey hardening LDFLAGS (Closes: #792502)
Mehdi Dogguy [Wed, 21 Dec 2016 23:14:41 +0000 (00:14 +0100)]
obey hardening LDFLAGS (Closes: #792502)

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 agoAdd correct branch to gbp.conf
Ximin Luo [Sun, 6 Nov 2016 18:53:52 +0000 (19:53 +0100)]
Add correct branch to gbp.conf

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 agoRelease to unstable
Mehdi Dogguy [Sun, 6 Nov 2016 10:29:41 +0000 (11:29 +0100)]
Release to unstable

9 years agoSync Standards-Version's value in debian/control.in
Mehdi Dogguy [Sun, 6 Nov 2016 09:47:13 +0000 (10:47 +0100)]
Sync Standards-Version's value in debian/control.in

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

9 years agoDefault to PIC on arm, to fix failing armhf tests (Closes: #837359).
Mehdi Dogguy [Sun, 6 Nov 2016 09:40:06 +0000 (10:40 +0100)]
Default to PIC on arm, to fix failing armhf tests (Closes: #837359).

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