From: Mehdi Dogguy <mehdi@debian.org>
Date: Sun, 6 Nov 2016 09:36:00 +0000 (+0100)
Subject: Default to PIC on arm
X-Git-Tag: archive/raspbian/4.02.3-10+rpi1~1^2~4
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8cfcf251ac0c77727a472f728b01ed7012a0965c;p=ocaml.git

Default to PIC on arm

Otherwise the armhf build fails now that PIE is enabled by default.

Bug-Debian: https://bugs.debian.org/837359
Forwarded: TODO

Gbp-Pq: Name 0012-arm-default-PIC.patch
---

diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml
index d93c1e0e..35411069 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