community/ocaml: build fails with segfault on checkstack on armhf
make[1]: Entering directory '/home/ncopa/aports/community/ocaml/src/ocaml-4.03.0 ' make checkstack make[2]: Entering directory '/home/ncopa/aports/community/ocaml/src/ocaml-4.03.0 ' Segmentation fault make[2]: *** [Makefile:721: checkstack] Error 139 make[2]: Leaving directory '/home/ncopa/aports/community/ocaml/src/ocaml-4.03.0' make[1]: *** [Makefile:175: opt.opt] Error 2 make[1]: Leaving directory '/home/ncopa/aports/community/ocaml/src/ocaml-4.03.0' make: *** [Makefile:49: world.opt] Error 2
dmesg reports:
[4492591.233378] checkstack[26907]: unhandled level 3 permission fault (11) at 0xaafcb888, esr 0x9200004f
[4492591.233386] pgd = ffffffc176bff000
[4492591.233389] [aafcb888] *pgd=00000001f5347003, *pud=00000001f5347003, *pmd=00000001f6980003, *pte=00200001779d2fd3
[4492591.233395]
[4492591.233400] CPU: 6 PID: 26907 Comm: checkstack Not tainted 4.4.19 #2
[4492591.233403] Hardware name: Gigabyte X-Gene MP30-AR0 board (DT)
[4492591.233406] task: ffffffc07f92be80 ti: ffffffc15d10c000 task.ti: ffffffc15d10c000
[4492591.233410] PC is at 0xf75ecff4
[4492591.233413] LR is at 0xf75ed920
[4492591.233415] pc : [<00000000f75ecff4>] lr : [<00000000f75ed920>] pstate: 60000010
[4492591.233417] sp : 00000000fffd0518
[4492591.233419] x12: 0000000000000015
[4492591.233421] x11: 0000000000000000 x10: 0000000000000000
[4492591.233424] x9 : 0000000000000017 x8 : 0000000000000000
[4492591.233427] x7 : 00000000aafcb468 x6 : 00000000aafcb000
[4492591.233430] x5 : 0000000000000888 x4 : 00000000f762a6e0
[4492591.233433] x3 : 0000000000000898 x2 : 00000000aafcb000
[4492591.233436] x1 : 00000000aafcb898 x0 : 00000000f762a6e0
[4492591.233438]
(from redmine: issue id 6515, created on 2016-12-03, closed on 2016-12-22)