For all the folks out there having issues to compile or setup Phalcon AND latest PHP 7 here's the info.
On my new Raspberry Pi 3B, I successfully installed the full stack...
ARM
arch :)
Distro: Raspbian GNU/Linux 8.0 (jessie)
- PHP Version 7.0.10 compiled from source (it took ~90 minutes, but my SD card is very slow on writes anyway)
- Phalcon 3.0.1 compiled from source
- nginx/1.6.2 fetched from default distro repo since nginx repo does not have ARM support, but you can compile on your own v1.10.x if needed at all
System Linux raspberrypi 4.4.13-v7+ #894 SMP Mon Jun 13 13:13:27 BST 2016 armv7l
Build Date Sep 5 2016 02:39:46
Server API FPM/FastCGI
with Zend OPcache v7.0.10
phalcon
Author Phalcon Team and contributors
Version 3.0.1
Build Date Sep 5 2016 10:51:12
Powered by Zephir Version 0.9.4a-dev-7e304ba18c
Everything working fine! :)