8.7
— Make
You may optionally include a Makefile in the assignment directory, for use with make. Please see the documentation for make:
If a Makefile is present, we will run ‘make‘ in the assignment directory before running your executable. The executable itself may hence be created by the running make; it does not have to be checked in to your repository in this case.
Including a Makefile may be useful if running your program requires we first compile your program or download tools or dependencies.