petsc-orig-pkgbuild/petsc.install

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