Skip to content
This repository was archived by the owner on Dec 14, 2022. It is now read-only.

Source /custom-data/setup.bash on sysroot build #322

Merged
merged 4 commits into from
Jun 11, 2021
Merged

Source /custom-data/setup.bash on sysroot build #322

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
6ad8572
Source /custom-data/setup.bash on sysroot build
hidmic Jan 27, 2021
ffb9bbf
Update root README.md
hidmic Jun 8, 2021
82eb1c4
Ignore shellcheck
hidmic Jun 9, 2021
eb499d9
Merge branch 'master' into custom-data-setup
emersonknapp Jun 11, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -163,6 +163,8 @@ add-apt-repository ppa:rpi-distro/ppa
apt-get install -y pigpio
```

Additionally, a custom setup script may control the build environment by populating the `/custom-data/setup.bash` file which will be sourced before building.

### Custom post-build script

You may want to perform arbitrary post-processing on your build outputs, in the event of a sucessful build - use `--custom-post-build-script` for this.
Expand Down
4 changes: 4 additions & 0 deletions ros_cross_compile/docker/build_workspace.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,10 @@ touch /opt/ros/"${ROS_DISTRO}"/setup.bash
set +ux
# shellcheck source=/dev/null
source /opt/ros/"${ROS_DISTRO}"/setup.bash
if [ -f /custom-data/setup.bash ]; then
# shellcheck source=/dev/null
source /custom-data/setup.bash
fi
set -ux
colcon build --mixin "${TARGET_ARCH}"-docker \
--build-base build_"${TARGET_ARCH}" \
Expand Down