8.7

Make

make things

You may optionally include a Makefile in the assignment directory, for use with make. Please see the documentation for make:

on Makefiles and 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.