diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-12-08 00:49:47 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-12-08 01:34:01 +0100 |
commit | 2192f88c20c2b23a6f22de5ba3cc2589554174f5 (patch) | |
tree | e6264d2ba5ff1ee86748bd2ed9b8c21fabeca7ed /pkgs/development/libraries/example-robot-data | |
parent | 217f72acc3d3c4e9fb18fba74bb65ba02d8b89ba (diff) |
example-robot-data, python3Packages.example-robot-data: init at 4.0.3
Diffstat (limited to 'pkgs/development/libraries/example-robot-data')
-rw-r--r-- | pkgs/development/libraries/example-robot-data/default.nix | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/pkgs/development/libraries/example-robot-data/default.nix b/pkgs/development/libraries/example-robot-data/default.nix new file mode 100644 index 0000000000000..08a650dbca003 --- /dev/null +++ b/pkgs/development/libraries/example-robot-data/default.nix @@ -0,0 +1,42 @@ +{ lib +, stdenv +, fetchFromGitHub +, cmake +, pythonSupport ? false +, python3Packages +}: + +stdenv.mkDerivation rec { + pname = "example-robot-data"; + version = "4.0.3"; + + src = fetchFromGitHub { + owner = "Gepetto"; + repo = pname; + rev = "v${version}"; + fetchSubmodules = true; + sha256 = "sha256-rxVyka8tcF/CmGTVNyh3FPR1LVa6JOAN+9zjElgqCak="; + }; + + strictDeps = true; + + nativeBuildInputs = [ + cmake + ]; + + buildInputs = lib.optionals pythonSupport [ + python3Packages.pinocchio + ]; + + cmakeFlags = lib.optionals (!pythonSupport) [ + "-DBUILD_PYTHON_INTERFACE=OFF" + ]; + + meta = with lib; { + description = "Set of robot URDFs for benchmarking and developed examples."; + homepage = "https://github.com/Gepetto/example-robot-data"; + license = licenses.bsd3; + maintainers = with maintainers; [ wegank ]; + platforms = platforms.unix; + }; +} |