Make

Stage for building executables using a GNU Make Makefile passed as a provided helper file.

• Kind: Grading Stage (currently)

• Behaviour: Runs a make (sub)command given the defined Makefile

• Throws:

  • FieldsIncorrectlyUsedError if _settings.lang does not correspond to a distro

Config

make:
  targets: [String]?    # target files to run against, which can sometimes be no targets [default: ""]
  args: [String]?       # arguments to the `make` command, including subcommands and flags
  additional_packages: [String]?  # any additional package to install as dependency to the container [default: []]

Example

make:
  targets: ["all"]
  args: ["-f", "Makefile2"]

This will run make -f Makefile2 all.

Report

make:
  - isSuccess: Boolean    # whether the execution was successful, i.e. zero exit code
    stderr: [String]      # the standard errors generated during execution