mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-19 23:22:16 +03:00
0aab6ecee2
- split workflows into separate files to trigger by path
this should help out documentation and boards / eboot / pkg files
updates, since those *wont* trigger usual build stuff anymore
- build*.sh whatever merged into just common.sh and build.sh
trigger different parity builds, mod % rem and allow to set .ino list
through the environment variable
- removes unnecessary temporary files, try to use more pipes
move remaining ones into cache dir instead of PWD
- remove legacy TRAVIS env vars, use ESP8266_ARDUINO prefix for config
- remove Windows path workarounds
- hardware/ and ide/ directories are set through envionment
do not force specific paths, simplify builds on local machine
- sketch list is set through environment. expicit paths for Windows and
macOS builders. platformio also gets a real shuffled list instead of
mod and rem magic numbers
- detect root of the repo through git cli, not base{name,dir} or relative paths
20 lines
464 B
Bash
Executable File
20 lines
464 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# CI job which builds the boards manager package
|
|
|
|
set -ev
|
|
|
|
root=$(git rev-parse --show-toplevel)
|
|
tag=$ESP8266_ARDUINO_RELEASE_TAG
|
|
|
|
export PKG_URL=https://github.com/esp8266/Arduino/releases/download/$tag/esp8266-$tag.zip
|
|
export DOC_URL=https://arduino-esp8266.readthedocs.io/en/$tag/
|
|
|
|
if [ -z "$CI_GITHUB_API_KEY" ]; then
|
|
echo "Github API key not set. Skip building the package."
|
|
exit 0
|
|
fi
|
|
|
|
cd $root/package
|
|
./build_boards_manager_package.sh
|