pkg:setup
bootstrap = buildpath/"bootstrap"
resource("bootstrap").stage do
args = %W[WITH_GMP=#{Formula["gmp"].opt_prefix} PREFIX=#{bootstrap} MAN_PREFIX_EXTRA=/share ]
make *(args + ["DESTDIR=${PKG_DEST} install"])