pkg:setup
resource("isl").stage do
pkg:configure --disable-dependency-tracking --disable-silent-rules --with-gmp=system --with-gmp-prefix=#{Formula[gmp"].opt_prefix}"
make DESTDIR=${PKG_DEST} install