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

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

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 agoMerge branch 'debian/sid' into debian/experimental
Ximin Luo [Wed, 4 Oct 2017 12:16:08 +0000 (14:16 +0200)]
Merge branch 'debian/sid' into debian/experimental

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