Workspace

A WORKSPACE file is required to describe how to build a workspace. This file must be located at the root of the workspace.

This section describes the syntax of the WORKSPACE file.