pkg:setup
pkg:configure -prefix prefix -mandir man -coqdocdir ${PKG_TAPF}/share/latex -coqide no -with-doc no
make world
ENV.deparallelize { system "make", "install" }