ConfigFormat

Overview

• The file

  ${REPO_HOME}/sca3s.json

  is used to configure the build system in scenarios where there is no interaction with the user: examples include use of the commit-based interface to CI and contests.

• The content is formatted as a JSON object, fields within which relate to environment variables, which would otherwise be set manually:

  Field	Purpose
  BOARD	Specify the board type
  KERNEL	Specify the target implementation type
  CONF	Specify any target implementation compilation options

Example

• The default content

  { "BOARD" : "giles", "KERNEL" : "block", "CONF" : "" }

  mirrors the environment variable defaults in ${REPO_HOME}/Makefile.