Skip to content

Use gmake for BSD systems

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

This PR modifies the make-package script so it runs on systems whose default make executable is BSD Make rather than GNU Make. It checks the os type and decides whether to run gmake or make. This is exactly how opam determines which make executable to use.

I also changed the script to use sh instead of bash because make-package doesn't seem to depend on bash-specific features and sh has a more standard path.

Merge request reports