post_install() {
  cd /usr/src/testing/mpfr-4.0.1-1/mpfr-4.0.1
  make check
}

post_upgrade() {
  post_install
}

post_remove() {
  rm -rf /usr/src/testing/mpfr-4.0.1-1
}
