post_install() {
  cd /usr/src/testing/gmp-6.1.2-1/gmp-6.1.2
  make check
}

post_upgrade() {
  post_install
}

post_remove() {
  rm -rf /usr/src/testing/gmp-6.1.2-1
}
