[Pkg-ocaml-maint-commits] [dose3] 01/02: compile on hardened1-linux

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository dose3.

commit 6f9924abfb0420c3008c8e48d51aa092c0201245
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Sat Jan 30 17:25:55 2016 +0100

    compile on hardened1-linux
---
 debian/changelog                      |  6 ++++--
 debian/patches/add-gnuhardened1-linux | 17 +++++++++++++++++
 debian/patches/series                 |  1 +
 3 files changed, 22 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c532e77..796950f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,10 @@ dose3 (4.1-4) UNRELEASED; urgency=medium
   * patch lexing-debian-fields: syntax of debian fields according to
     debian policy. Patch taken from upstream. (closes: #811569)
   * add a test case for bug#811569
-  
- -- Ralf Treinen <treinen at debian.org>  Sat, 30 Jan 2016 15:43:37 +0100
+  * patch add-gnuhardened1-linux: compile on hardenend1-linux-amd64. Thanks
+    to Balint Reczey for the patch! (closes: #812786)
+
+ -- Ralf Treinen <treinen at debian.org>  Sat, 30 Jan 2016 17:24:29 +0100
 
 dose3 (4.1-3) unstable; urgency=medium
 
diff --git a/debian/patches/add-gnuhardened1-linux b/debian/patches/add-gnuhardened1-linux
new file mode 100644
index 0000000..c7007f4
--- /dev/null
+++ b/debian/patches/add-gnuhardened1-linux
@@ -0,0 +1,17 @@
+Author: Balint Reczey <balint at balintreczey.hu>
+Description: add support for hardened1-linux-amd64
+Debian-bug: 812786
+Upstream-commit: 9f3933227cc52a995c2d08595d99cb7ee1501c07
+
+diff --git a/deb/architecture.ml b/deb/architecture.ml
+index 1fd7d0f..b7c1c27 100644
+--- a/deb/architecture.ml
++++ b/deb/architecture.ml
+@@ -52,6 +52,7 @@ let triplettable = ref [
+   (("gnuabi64","linux","mips64"),    "mips64");             (* line 15 *)
+   (("gnuspe","linux","powerpc"),     "powerpcspe");
+   (("gnux32","linux","amd64"),       "x32");
++  (("gnuhardened1","linux","<cpu>"), "<cpu>");
+   (("gnu","linux","<cpu>"),          "<cpu>");
+   (("gnu","kfreebsd","<cpu>"),       "kfreebsd-<cpu>");
+   (("gnu","knetbsd","<cpu>"),        "knetbsd-<cpu>");      (* line 20 *)
diff --git a/debian/patches/series b/debian/patches/series
index 8d854d2..fbaade7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@ fix_ftbfs_on_bytecode_arch
 fix_META
 cudf_max_int
 lexing-debian-fields
+add-gnuhardened1-linux

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