No sistema operacional Linux, o utilitário GNU make determina quais partes de um grande programa devem ser compiladas ou recompiladas. Junto ao make é necessário um arquivo Makefile que define as regras de compilação. Supondo que um arquivo makefile é nomeado como "programaufc", qual dos seguintes comandos irá compilar o código com este makefile?