Found a solution.
Use raspbian PHP binaries but also install libltdl-dev with
sudo apt-get install libltdl-dev
but I cannot generate world.
[email protected]:~/pm$ wget https://bintray.com/pocketmine/PocketMine/download_file?file_path=PHP_7.0.6_ARM_Raspbian_hard.tar.gz
There are none available for my system. I am not using raspbian.
I am currently having some problems with PMMP installation on Linux ARMv7 32-bit. Here is some output logs.
I am using the Armbian...
Separate names with a comma.