From e1bb083c5b659c4fb4c5b84d0dac5c49f7b910e4 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Sat, 13 Mar 2021 21:57:48 +0100 Subject: [PATCH] arduino-builder: add page (#5391) --- pages/common/arduino-builder.md | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 pages/common/arduino-builder.md diff --git a/pages/common/arduino-builder.md b/pages/common/arduino-builder.md new file mode 100644 index 0000000000..5a0e16435b --- /dev/null +++ b/pages/common/arduino-builder.md @@ -0,0 +1,25 @@ +# arduino-builder + +> A command line tool for compiling arduino sketches. +> DEPRECATION WARNING: This tool is being phased out in favor of `arduino`. +> More information: . + +- Compile a sketch: + +`arduino-builder -compile {{path/to/sketch.ino}}` + +- Specify the debug level (1 to 10, defaults to 5): + +`arduino-builder -debug-level {{level}}` + +- Specify a custom build directory: + +`arduino-builder -build-path {{path/to/build_directory}}` + +- Use a build option file, instead of specifying `--hardware`, `--tools`, etc. manually every time: + +`arduino-builder -build-options-file {{path/to/build.options.json}}` + +- Enable verbose mode: + +`arduino-builder -verbose {{true}}`