Theano/Theano — pull request #1612 by vdumoulin (2013-11-16 17:36:13+00:00)
Title: Add ARM architecture check for Raspberry Pi

Hopefully the check is not too restrictive. If it is, I could check for `armv6` instead of just `arm` in order to target only the RPi's specific ARM architecture.