You need to sign in or sign up before continuing.
Use gmake for BSD systems
This is the same PR as stdpp!559 (merged). The make-package script now checks whether the system is a BSD and if so uses gmake (GNU Make) instead of make to build the package since the latter is incompatible with the GNU Makefiles generated by Coq.