commit 9acf7fa2875a6fef9cac75613c836371c255c71f
author Rob Mohr <mohrr@google.com> Wed Jan 19 09:45:42 2022 -0800
committer CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com> Wed Jan 19 23:50:55 2022 +0000
tree 205468bfee3c21bd247b113172f3f8c49a9d79e2
parent 8354d6936219e08077c16eb8c5574124b2bd6d20

docs_builder: Use build options

Bug: 600
Change-Id: I2ebde210788be6b1abae1babb654ca5590a24796
Reviewed-on: https://pigweed-review.googlesource.com/c/infra/recipes/+/79464
Pigweed-Auto-Submit: Rob Mohr <mohrr@google.com>
Reviewed-by: Oliver Newman <olivernewman@google.com>
Commit-Queue: Auto-Submit <auto-submit@pigweed.google.com.iam.gserviceaccount.com>

recipes/docs_builder.proto

diff --git a/recipes/docs_builder.proto b/recipes/docs_builder.proto
index 95cc6c1..057f7ad 100644
--- a/recipes/docs_builder.proto
+++ b/recipes/docs_builder.proto
@@ -16,10 +16,15 @@
 
 package recipes.pigweed.docs_builder;
 
+import "recipe_modules/pigweed/build/options.proto";
+
 message InputProperties {
   // Destination GCS bucket. Default is "pigweed-docs".
   string bucket = 1;
 
   // Don't do anything that has external effects.
   bool dry_run = 2;
+
+  // Build module options.
+  recipe_modules.pigweed.build.Options build_options = 3;
 }

recipes/docs_builder.py

diff --git a/recipes/docs_builder.py b/recipes/docs_builder.py
index 760468c..cc3f7db 100644
--- a/recipes/docs_builder.py
+++ b/recipes/docs_builder.py
@@ -42,7 +42,7 @@
     api.environment.init(api.checkout.root)
 
     with api.environment():
-        api.build(api.checkout.root)
+        api.build(api.checkout.root, props.build_options)
 
     html = api.build.dir.join('docs', 'gen', 'docs', 'html')