[Pkg-ocaml-maint-commits] [mlgmp] 04/07: Include stdint.h for compatibility with pre-4.04

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository mlgmp.

commit 5add0581ac3552e60209eeb6f06a7ae36106a006
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 17 10:17:26 2017 +0200

    Include stdint.h for compatibility with pre-4.04
---
 ...e-stdint.h-for-compatibility-with-pre-4.04.patch | 21 +++++++++++++++++++++
 debian/patches/series                               |  1 +
 2 files changed, 22 insertions(+)

diff --git a/debian/patches/0006-Include-stdint.h-for-compatibility-with-pre-4.04.patch b/debian/patches/0006-Include-stdint.h-for-compatibility-with-pre-4.04.patch
new file mode 100644
index 0000000..ad51e9d
--- /dev/null
+++ b/debian/patches/0006-Include-stdint.h-for-compatibility-with-pre-4.04.patch
@@ -0,0 +1,21 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Mon, 17 Jul 2017 10:17:00 +0200
+Subject: Include stdint.h for compatibility with pre-4.04
+
+---
+ config.h | 2 ++
+ 1 file changed, 2 insertions(+)
+
+diff --git a/config.h b/config.h
+index 55bd8c8..809a87b 100644
+--- a/config.h
++++ b/config.h
+@@ -58,6 +58,8 @@
+ #define MPFR_SIZE_ARCH32 16
+ #define MPFR_SIZE_ARCH64 24
+ 
++#include <stdint.h>
++
+ extern void serialize_int_4(int32_t i);
+ extern void serialize_block_1(void * data, long len);
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 4039896..bc03005 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@
 0003-Various-bugfixes-in-C-bindings.patch
 0004-Fix-wrong-conversion-from-int-on-64-bits-computers.patch
 0005-Update-extern-declarations-for-de-serialize-function.patch
+0006-Include-stdint.h-for-compatibility-with-pre-4.04.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/mlgmp.git