A makefile to execute