Yozo TODA wrote: > hi, here is an update for coq from 8.4pl6 to 8.5. > I'm working on amd64. > anyone please verify this, and commit to the tree?
Thanks for this! I don't have time to fully review at the moment, but: > -# Order is important! > -INSTALL_TARGET= install-byte install-ide-byte install > +## default value for INSTALL_TARGET is "install", it's enough. > +INSTALL_TARGET= install IIUC, install is the default INSTALL_TARGET (/usr/ports/infrastructure/mk/bsd.port.mk:269), so you can probably remove that entirely.
