// Copyright 2020 The Pigweed Authors
//
// Licensed under the Apache License, Version 2.0 (the "License"); you may not
// use this file except in compliance with the License. You may obtain a copy of
// the License at
//
//     https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
// WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
// License for the specific language governing permissions and limitations under
// the License.
syntax = "proto3";

package recipe_modules.pigweed.environment;

message Options {
  // Relative path to Pigweed root directory from checkout root. Not required.
  string relative_pigweed_root = 2;

  // JSON config file path relative to project root. Default: 'pigweed.json'.
  string config_file = 3;

  // Check if submodules are present or not.
  bool skip_submodule_check = 4;

  // Additional environment variables to set.
  map<string, string> additional_variables = 5;

  // Additional CIPD files to use (on top of those referenced by the
  // config_file). "$PW_ROOT" will be expanded to point to the root of the
  // Pigweed repository in the checkout, using string substitution.
  repeated string additional_cipd_files = 6;

  // If set, failures when running 'pw doctor' will be ignored. They will still
  // show in MILO in red.
  bool allow_doctor_to_fail = 7;
}