From 73ee6f771b9490281742aa4353ecb3115cd57819 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Sat, 10 Jul 2021 23:16:22 +0200 Subject: [PATCH] pio-ci: add page (#6186) --- pages/common/pio-ci.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 pages/common/pio-ci.md diff --git a/pages/common/pio-ci.md b/pages/common/pio-ci.md new file mode 100644 index 0000000000..8c0a1568df --- /dev/null +++ b/pages/common/pio-ci.md @@ -0,0 +1,29 @@ +# pio ci + +> Build PlatformIO projects with an arbitrary source code structure. +> This will create a new temporary project which the source code will be copied into. +> More information: . + +- Build a PlatformIO project in the default system temporary directory and delete it afterwards: + +`pio ci {{path/to/project}}` + +- Build a PlatformIO project and specify specific libraries: + +`pio ci --lib {{path/to/library_directory}} {{path/to/project}}` + +- Build a PlatformIO project and specify a specific board (`pio boards` lists all of them): + +`pio ci --board {{board}} {{path/to/project}}` + +- Build a PlatformIO project in a specific directory: + +`pio ci --build-dir {{path/to/build_directory}} {{path/to/project}}` + +- Build a PlatformIO project and don't delete the build directory: + +`pio ci --keep-build-dir {{path/to/project}}` + +- Build a PlatformIO project using a specific configuration file: + +`pio ci --project-conf {{path/to/platformio.ini}}`