Skip to content

Use gmake for BSD systems

Yiyun Liu requested to merge yiyunliu/iris:bsd-fix into master

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.

Merge request reports