We need `make install` and maybe some other standard targets too: https://www.gnu.org/software/make/manual/html_node/Standard-Targets.html
We need
make installand maybe some other standard targets too: https://www.gnu.org/software/make/manual/html_node/Standard-Targets.html