Dear Sebastian, On Mon, 5 Nov 2018 at 18:14, Sebastian Miele wrote:
first-setup.sh from ConTeXt standalone contains the following lines:
readelf -A /proc/self/exe | grep -q '^ \+Tag_ABI_VFP_args' if [ ! $? ]; then
That probably does not work as intended, because [ ! $? ] is equivalent to [ ! -n $? ]. It does not return the negation of the return code of the previous command. [ ! 0 ] and [ ! 1 ] both have exit code 1, because the strings '0' and '1' are both non-null.
I'm sorry. A few years back we had a long discussion with the consensus that we should have used if [ $? != 0 ]; then instead. I have no idea why this wasn't the case at the end. Maybe I just wasn't reading careful enough?
Probably no-one actually uses ARMv7 with softfp, including me.
We kept building the armel binaries on some super strange hardware configuration which Boris provided to us. At some point he was no longer able to provide the hardware, we no longer built the binaries & provided them, and I don't think that anybody complained since. The armhf binaries are built on RPi in Hans' cellar running Raspbian. There's a high probability that some similar code is used in TeX Live as well, but I would need to check. (But maybe Karl fixed it correctly, only I screwed up :) Mojca