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 <trei...@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 <trei...@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 <trei...@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 <bal...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
