diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2022-01-04 13:03:05 +0100 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2022-01-04 13:03:05 +0100 |
commit | 9235dd136e70dfa97684aff4e9af4c0ce366ad68 (patch) | |
tree | 442bc50f78c105784c2e43ffeb7a5292f7fe306d | |
parent | 84207eea2c564052c05757fb0397d35088a43657 (diff) | |
download | guix-9235dd136e70dfa97684aff4e9af4c0ce366ad68.tar.gz |
gnu: Add mbed-tools.
* gnu/packages/embedded.scm (mbed-tools): New variable.
-rw-r--r-- | gnu/packages/embedded.scm | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index a057c11e7a..ea1a585f0f 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm @@ -10,6 +10,7 @@ ;;; Copyright © 2021 Julien Lepiller <julien@lepiller.eu> ;;; Copyright © 2020, 2021 Simon South <simon@simonsouth.net> ;;; Copyright © 2021 Morgan Smith <Morgan.J.Smith@outlook.com> +;;; Copyright © 2022 Mathieu Othacehe <othacehe@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -44,6 +45,7 @@ #:use-module ((gnu packages base) #:prefix base:) #:use-module (gnu packages bison) #:use-module (gnu packages boost) + #:use-module (gnu packages check) #:use-module (gnu packages compression) #:use-module (gnu packages cross-base) #:use-module (gnu packages dejagnu) @@ -58,9 +60,11 @@ #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) #:use-module (gnu packages python-crypto) + #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) #:use-module (gnu packages swig) #:use-module (gnu packages texinfo) + #:use-module (gnu packages version-control) #:use-module (gnu packages xorg) #:use-module (srfi srfi-1)) @@ -1644,3 +1648,51 @@ families, plus many of their variants.") and console on a single serial port. agent-proxy creates network sockets, whereas kdmx creates pseudo-ttys.") (license license:gpl2)))) + +(define-public mbed-tools + (package + (name "mbed-tools") + (version "7.49.1") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mbed-tools" version)) + (sha256 + (base32 + "07w1h1093xzpg8agw9hjhki5856mam2c6f3q7jb2866n82cihkg9")))) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + ;; Remove this failing test. + (delete-file "tests/ci_scripts/test_sync_board_db.py") + (invoke "pytest" "-vv"))))))) + (native-inputs + (list python-pytest + python-pytest-cov + python-factory-boy + python-requests-mock + python-semver)) + (propagated-inputs + (list python-dotenv + python-click + python-pdoc3 + python-gitpython + python-tqdm + python-tabulate + python-requests + python-psutil + python-pyudev + python-typing-extensions + python-jinja2 + python-pyserial)) + (build-system python-build-system) + (home-page "https://github.com/ARMmbed/mbed-tools") + (synopsis "ARM Mbed command line tools") + (description "This package is the successor of @code{mbed-cli}. It +provides command line tools for Mbed OS to detect Mbed enabled devices +connected by USB, checkout Mbed projects and perform builds amongst other +operations.") + (license license:asl2.0))) |