path: root/homebrew/coq/.make.sh-auto

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" }