The file ./src/leveldb/build_detect_platform should have +x permissions.
Before setting executable permission:
make[1]: Entering directory '/home/kkoenen/bin/GRZ0/src/leveldb'
/bin/sh: 1: ./build_detect_platform: Permission denied
Makefile:18: build_config.mk: No such file or directory
make[1]: *** No rule to make target 'build_config.mk'. Stop.
make[1]: Leaving directory '/home/kkoenen/bin/GRZ0/src/leveldb'
The file ./src/leveldb/build_detect_platform should have +x permissions.
Before setting executable permission:
After setting executable permission: