Dear Prof. Bangerth,
I used follwing command in terminal, and get an error report
bash ./p4est-setup.sh p4est-1.1.tar.gz /home/feapman/Program/p4est-develop
CFLAGS_FAST: -O2
CFLAGS_DEBUG: -O0 -g
This script tries to unpack, configure and build the p4est library.
Build FAST: /home/feapman/Program/p4est-build/FAST
Build DEBUG: /home/feapman/Program/p4est-build/DEBUG
Install FAST: /home/feapman/Program/p4est-develop/FAST
Install DEBUG: /home/feapman/Program/p4est-develop/DEBUG
Checking environment: CFLAGS P4EST_CFLAGS_FAST P4EST_CFLAGS_DEBUG
Unpack directory: /home/feapman/Program/p4est-1.1
Source directory found (remove it to unpack anew)