post_install() {
echo -e "\033[0;31msource /etc/profile.d/petsc.sh to set environment variables\033[0m"
}
