gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #238463 from lopsided98/urdfdom-update

Browse Source 
urdfdom: 3.1.0 -> 3.1.1
This commit is contained in:
Weijia Wang
2023-06-19 08:47:48 +03:00
committed by GitHub
parent d50f95c6e2 f68a0d0fd7
commit fcbd2f784c
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/libraries/urdfdom/default.nix
+4 -5
View File
@@ -1,15 +1,15 @@
{ lib, stdenv, fetchFromGitHub, fetchpatch, cmake, pkg-config, validatePkgConfig
, tinyxml, boost, urdfdom-headers, console-bridge }:
, urdfdom-headers, console-bridge, tinyxml }:
stdenv.mkDerivation rec {
pname = "urdfdom";
version = "3.1.0";
version = "3.1.1";
src = fetchFromGitHub {
owner = "ros";
repo = pname;
rev = version;
hash = "sha256-9MJnify4zcDBSZVJZCN/XupN5xax+U4PLee54gVVw3Q=";
hash = "sha256-UdkGJAXK3Q8QJaqMZBA5/FKUgWq9EVeqkqwVewTlTD8=";
};
patches = [
@@ -21,8 +21,7 @@ stdenv.mkDerivation rec {
];
nativeBuildInputs = [ cmake pkg-config validatePkgConfig ];
buildInputs = [ tinyxml boost ];
propagatedBuildInputs = [ urdfdom-headers console-bridge ];
propagatedBuildInputs = [ urdfdom-headers console-bridge tinyxml ];
meta = with lib; {
description = "Provides core data structures and a simple XML parser for populating the class data structures from an URDF file";