[Pkg-ocaml-maint-commits] [ocaml] 01/04: Default to PIC on arm, to fix failing armhf tests (Closes: #837359).
Mehdi Dogguy
mehdi at moszumanska.debian.org
Sun Nov 6 10:30:00 UTC 2016
This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch debian/stretch
in repository ocaml.
commit cce1a5478ce79c3275329a7f8e15c8a4dd256f20
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Sun Nov 6 10:40:06 2016 +0100
Default to PIC on arm, to fix failing armhf tests (Closes: #837359).
---
debian/changelog | 6 ++++++
debian/patches/0012-arm-default-PIC.patch | 24 ++++++++++++++++++++++++
debian/patches/series | 1 +
3 files changed, 31 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index cb36a3e..a6a3660 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ocaml (4.02.3-8) UNRELEASED; urgency=medium
+
+ * Default to PIC on arm, to fix failing armhf tests (Closes: #837359).
+
+ -- Mehdi Dogguy <mehdi at debian.org> Sun, 06 Nov 2016 10:36:15 +0100
+
ocaml (4.02.3-7) unstable; urgency=medium
* d/rules: split install-stamp target into -arch and -indep, to allow
diff --git a/debian/patches/0012-arm-default-PIC.patch b/debian/patches/0012-arm-default-PIC.patch
new file mode 100644
index 0000000..23277cf
--- /dev/null
+++ b/debian/patches/0012-arm-default-PIC.patch
@@ -0,0 +1,24 @@
+Description: Default to PIC on arm
+ Otherwise the armhf build fails now that PIE is enabled by default.
+Author: Mehdi Dogguy <mehdi at debian.org>
+Date: Sun, 6 Nov 2016 10:36:00 +0100
+Bug-Debian: https://bugs.debian.org/837359
+Forwarded: TODO
+
+---
+ asmcomp/arm/arch.ml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml
+index d93c1e0..3541106 100644
+--- a/asmcomp/arm/arch.ml
++++ b/asmcomp/arm/arch.ml
+@@ -56,7 +56,7 @@ let (arch, fpu, thumb) =
+ end in
+ (ref def_arch, ref def_fpu, ref def_thumb)
+
+-let pic_code = ref false
++let pic_code = ref true
+
+ let farch spec =
+ arch := (match spec with
diff --git a/debian/patches/series b/debian/patches/series
index e375d30..552c4d7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -9,3 +9,4 @@
0010-Enable-ocamldoc-to-build-reproducible-manpages.patch
0010-Add-a-.file-directive-to-generated-.s-files.patch
0011-Compatibility-with-x32-architecture.patch
+0012-arm-default-PIC.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml.git
More information about the Pkg-ocaml-maint-commits
mailing list