[solution] i7 on raspberry pi 2 (arm7)

Has anyone been able to get the Inform7 CLI version to work on the newer RaspberryPI 2 which uses an arm7 instead of arm6?

I found that I was able to get this to work on my Raspberry PI 2 by renaming the following 2 files in the download:

inform7-interpreters_6L38_armv6lhf.tar.gz -> inform7-interpreters_6L38_armv7l.tar.gz

inform7-compilers_6L38_armv6lhf.tar.gz -> inform7-compilers_6L38_armv7l.tar.gz

Cool, thanks for posting the solution, I’m looking forward to getting a PI 2 :slight_smile: