Workspace

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

This section describes the syntax of such file.