|
97 | 97 | cmds: |
98 | 98 | - python3 -m http.server 8000 -d docs |
99 | 99 |
|
100 | | - build-deb:arduino-app-cli: |
| 100 | + build-deb: |
101 | 101 | desc: Build debian package |
102 | 102 | deps: |
103 | 103 | - build-deb:clone-examples |
@@ -127,6 +127,25 @@ tasks: |
127 | 127 | build-deb:copyright: |
128 | 128 | desc: Add dependency licenses to debian copyright file |
129 | 129 | cmds: |
| 130 | + - mkdir -p debian/arduino-app-cli/usr/share/doc/arduino-app-cli |
| 131 | + - | |
| 132 | + cat > debian/arduino-app-cli/usr/share/doc/arduino-app-cli/copyright <<EOF |
| 133 | + Copyright 2025 ARDUINO SA (http://www.arduino.cc/) |
| 134 | +
|
| 135 | + This software is released under the GNU General Public License version 3, |
| 136 | + which covers the main part of arduino-app-cli. |
| 137 | + The terms of this license can be found at: |
| 138 | + https://www.gnu.org/licenses/gpl-3.0.en.html |
| 139 | +
|
| 140 | + You can be released from the requirements of the above licenses by purchasing |
| 141 | + a commercial license. Buying such a license is mandatory if you want to |
| 142 | + modify or otherwise use the software for commercial activities involving the |
| 143 | + Arduino software without disclosing the source code of your own applications. |
| 144 | + To purchase a commercial license, send an email to license@arduino.cc. |
| 145 | +
|
| 146 | + --- |
| 147 | +
|
| 148 | + EOF |
130 | 149 | - cat .licenses/arduino-app-cli/NOTICE >> debian/arduino-app-cli/usr/share/doc/arduino-app-cli/copyright |
131 | 150 |
|
132 | 151 | arduino-app-cli:build:local: |
@@ -178,7 +197,7 @@ tasks: |
178 | 197 | interactive: true |
179 | 198 | cmds: |
180 | 199 | - rm ./build/*.deb || true |
181 | | - - task: build-deb:arduino-app-cli |
| 200 | + - task: build-deb |
182 | 201 | - adb shell rm /tmp/*.deb || true |
183 | 202 | - adb push ./build/arduino-app-cli_*_arm64.deb /tmp/ |
184 | 203 | - ./scripts/run-remote-sudo.sh "dpkg -i /tmp/arduino-app-cli*_arm64.deb && needrestart -r a" |
|
0 commit comments