PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
442 stars 93 forks source link

Use explicit $MAKE variable in calc_install_files #552

Closed jtmcx closed 2 years ago

jtmcx commented 2 years ago

Some systems (such as OpenBSD) use BSD make by default, and package GNU make separately as gmake. The current VST Makefile invokes util/calc_install_files, which in turn calls make explicitly, which causes install errors on BSD systems. Passing in the $MAKE variable to the calc_install_files script solves this issue.

I managed to get a successful build and install of VST on OpenBSD using both this patch and the patch in https://github.com/PrincetonUniversity/VST/pull/551. Thank you!