Skip to content

Commit

Permalink
actionlib: move override to ros1-overlay.nix
Browse files Browse the repository at this point in the history
  • Loading branch information
lopsided98 committed Aug 9, 2023
1 parent 5c6026e commit a63266f
Show file tree
Hide file tree
Showing 2 changed files with 13 additions and 13 deletions.
13 changes: 0 additions & 13 deletions distros/distro-overlay.nix
Original file line number Diff line number Diff line change
Expand Up @@ -37,19 +37,6 @@ let
overrides = rosSelf: rosSuper: with rosSelf.lib; {
# ROS package overrides/fixups

# Fix usages of global Boost placeholders
# https://github.com/ros/actionlib/pull/197
actionlib = rosSuper.actionlib.overrideAttrs ({
patches ? [], ...
}: {
patches = patches ++ [ (self.fetchpatch {
url = "https://github.com/lopsided98/actionlib/commit/d675dd75d9080d2832591e0220d19e0f0d981446.patch";
stripLen = 1;
includes = [ "include/*" ];
sha256 = "sha256-bB8PkiDisgBgZoDyieiT1dSQK/xSfG8ZZOJyigX0SYY=";
}) ];
});

camera-calibration-parsers = patchBoostPython rosSuper.camera-calibration-parsers;

cob-light = patchBoostSignals rosSuper.cob-light;
Expand Down
13 changes: 13 additions & 0 deletions distros/ros1-overlay.nix
Original file line number Diff line number Diff line change
@@ -1,6 +1,19 @@
self:
rosSelf: rosSuper: with rosSelf.lib; {

# Fix usages of global Boost placeholders
# https://github.com/ros/actionlib/pull/197
actionlib = rosSuper.actionlib.overrideAttrs ({
patches ? [], ...
}: {
patches = patches ++ [ (self.fetchpatch {
url = "https://github.com/lopsided98/actionlib/commit/d675dd75d9080d2832591e0220d19e0f0d981446.patch";
stripLen = 1;
includes = [ "include/*" ];
sha256 = "sha256-bB8PkiDisgBgZoDyieiT1dSQK/xSfG8ZZOJyigX0SYY=";
}) ];
});

catkin = rosSuper.catkin.overrideAttrs ({
propagatedBuildInputs ? [],
patches ? [],
Expand Down

2 comments on commit a63266f

@kjeremy
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can't this be dropped? It looks like it got merged

@lopsided98
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No, there has been no new release since it was merged.

Please sign in to comment.