diff options
Diffstat (limited to 'gnu/packages/embedded.scm')
| -rw-r--r-- | gnu/packages/embedded.scm | 83 |
1 files changed, 31 insertions, 52 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index 4315cc0618..1c8b76c11d 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm @@ -295,9 +295,9 @@ usable on embedded products.") (origin-patches (package-source gcc-7)) (search-patches "gcc-7-cross-environment-variables.patch"))))) (native-inputs - `(("flex" ,flex) - ("isl" ,isl-0.18) - ,@(alist-delete "isl" (package-native-inputs xgcc)))) + (modify-inputs (package-native-inputs xgcc) + (delete "isl") + (prepend flex isl-0.18))) (arguments (substitute-keyword-arguments (package-arguments xgcc) ((#:phases phases) @@ -517,12 +517,9 @@ languages are C and C++.") "0ndyfh51hiqyv2yscpj6qd091w7myxxjid3a6rx8f6k233vy826q")))) (build-system gnu-build-system) (native-inputs - `(("autoconf" ,autoconf) - ("automake" ,automake) - ("libtool" ,libtool) - ("pkg-config" ,pkg-config))) + (list autoconf automake libtool pkg-config)) (inputs - `(("libusb" ,libusb))) + (list libusb)) (home-page "https://repo.or.cz/w/libjaylink.git") (synopsis "Library to interface Segger J-Link devices") (description "libjaylink is a shared library written in C to access @@ -560,7 +557,7 @@ SEGGER J-Link and compatible devices.") ))) (native-inputs ;; For tests. - `(("inetutils" ,inetutils))) ; for hostname + (list inetutils)) ; for hostname (home-page "http://jim.tcl.tk/index.html") (synopsis "Small footprint Tcl implementation") (description "Jim is a small footprint implementation of the Tcl programming @@ -585,18 +582,14 @@ language.") "1q536cp80v2bcy6xwk08f1r2ljyw13jchx3a1z7d3ni3vqql7rc6")))) (build-system gnu-build-system) (native-inputs - `(("autoconf" ,autoconf) - ("automake" ,automake) - ("libtool" ,libtool) - ("which" ,base:which) - ("pkg-config" ,pkg-config) - ("texinfo" ,texinfo))) + (list autoconf + automake + libtool + base:which + pkg-config + texinfo)) (inputs - `(("hidapi" ,hidapi) - ("jimtcl" ,jimtcl) - ("libftdi" ,libftdi) - ("libjaylink" ,libjaylink) - ("libusb-compat" ,libusb-compat))) + (list hidapi jimtcl libftdi libjaylink libusb-compat)) (arguments '(#:configure-flags (append (list "LIBS=-lutil" @@ -699,8 +692,8 @@ with a layered architecture of JTAG interface and TAP support.") (origin-patches (package-source gcc-6)) (search-patches "gcc-cross-environment-variables.patch"))))) (native-inputs - `(("flex" ,flex) - ,@(package-native-inputs xgcc))) + (modify-inputs (package-native-inputs xgcc) + (prepend flex))) ;; All headers and cross libraries of the propeller toolchain are ;; installed under the "propeller-elf" prefix. (native-search-paths @@ -808,9 +801,7 @@ with a layered architecture of JTAG interface and TAP support.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "install-includes" make-flags)))))) (native-inputs - `(("propeller-gcc" ,propeller-gcc) - ("propeller-binutils" ,propeller-binutils) - ("perl" ,perl))) + (list propeller-gcc propeller-binutils perl)) (home-page "https://github.com/parallaxinc/propgcc") (synopsis "C library for the Parallax Propeller") (description "This is a C library for the Parallax Propeller @@ -902,8 +893,7 @@ code.") (lambda _ (chdir "loader") #t)) (delete 'configure)))) (native-inputs - `(("openspin" ,openspin) - ("propeller-toolchain" ,propeller-toolchain))) + (list openspin propeller-toolchain)) (home-page "https://github.com/parallaxinc/propgcc") (synopsis "Loader for Parallax Propeller micro-controllers") (description "This package provides the tool @code{propeller-load} to @@ -948,9 +938,7 @@ upload binaries to a Parallax Propeller micro-controller.") '("testlex" "spin2cpp" "fastspin"))) #t))))) (native-inputs - `(("bison" ,bison) - ("propeller-load" ,propeller-load) - ("propeller-toolchain" ,propeller-toolchain))) + (list bison propeller-load propeller-toolchain)) (home-page "https://github.com/totalspectrum/spin2cpp") (synopsis "Convert Spin code to C, C++, or PASM code") (description "This is a set of tools for converting the Spin language for @@ -1090,8 +1078,8 @@ the Raspberry Pi chip.") (search-patches "gcc-6-fix-buffer-size.patch" "gcc-6-fix-isl-includes.patch")))) (native-inputs - `(("flex" ,flex) - ,@(package-native-inputs xgcc))) + (modify-inputs (package-native-inputs xgcc) + (prepend flex))) (synopsis "GCC for VC4") (description "This package provides @code{gcc} for VideoCore IV, the Raspberry Pi chip.")))) @@ -1112,12 +1100,9 @@ the Raspberry Pi chip.")))) "1rypfb96k2szqgygp3jnwg2zq9kwmfz0460dsahn3r2vkzml8wn7")))) (build-system gnu-build-system) (inputs - `(("libftdi" ,libftdi) - ("python" ,python))) + (list libftdi python)) (native-inputs - `(("pkg-config" ,pkg-config) - ("swig" ,swig) - ("which" ,base:which))) + (list pkg-config swig base:which)) (arguments `(#:tests? #f ; No tests exist. #:parallel-build? #f ; Would be buggy. @@ -1257,7 +1242,7 @@ SPI, I2C, JTAG.") #t)) (delete 'configure)))) (inputs - `(("libx11" ,libx11))) + (list libx11)) (synopsis "Freecalypso host tools") (description "This package provides some tools for debugging FreeCalypso phones and the FreeCalypso FCDEV3B dev board. @@ -1370,12 +1355,10 @@ these identified regions. "1d10qxyghz66zp7iqpm8q8rfv9jz9n609gxmfcav1lssmf1dlyk3")))) (build-system python-build-system) (propagated-inputs - `(("python-pyserial" ,python-pyserial) - ("python-pyusb" ,python-pyusb) - ("python-tqdm" ,python-tqdm))) + (list python-pyserial python-pyusb python-tqdm)) (native-inputs ;; For tests. - `(("python-pyyaml" ,python-pyyaml))) + (list python-pyyaml)) (home-page "https://github.com/grigorig/stcgal") (synopsis "Programmer for STC 8051-compatible microcontrollers") (description "stcgal is a command-line flash-programming tool for STC @@ -1408,7 +1391,7 @@ STC89, STC90, STC10, STC11, STC12, STC15 and STC8 series.") (list (string-append "-DSTLINK_UDEV_RULES_DIR=" udev-rules) (string-append "-DSTLINK_MODPROBED_DIR=" modprobe))))) (inputs - `(("libusb" ,libusb))) + (list libusb)) (synopsis "Programmer for STM32 Discovery boards") (description "This package provides a firmware programmer for the STM32 Discovery boards. It supports two versions of the chip: ST-LINK/V1 (on @@ -1433,10 +1416,8 @@ raw USB commands.") (base32 "0ql6ij1hrj2ir5wkxm96zgig5qwvfwa75w77wh2y13w6b9cqcr4b")))) (propagated-inputs - `(("python-colorama" ,python-colorama) - ("python-configobj" ,python-configobj) - ("python-pykwalify" ,python-pykwalify) - ("python-pyyaml" ,python-pyyaml))) + (list python-colorama python-configobj python-pykwalify + python-pyyaml)) (build-system python-build-system) (home-page "https://github.com/zephyrproject-rtos/west") (synopsis "Zephyr RTOS Project meta-tool") @@ -1476,7 +1457,7 @@ debugging them, and more.") config-destination) #t)))))) (inputs - `(("mosquitto" ,mosquitto))) + (list mosquitto)) (native-inputs `(("automake" ,automake) ("autoconf" ,autoconf) @@ -1528,8 +1509,7 @@ handling communication with eBUS devices connected to a 2-wire bus system (string-append (assoc-ref outputs "out") "/share/man")) #t))))) (native-inputs - `(("bison" ,bison) - ("flex" ,flex))) + (list bison flex)) (home-page "http://mazsola.iit.uni-miskolc.hu/ucsim/") (synopsis "Simulators for various microcontroller families") (description "μCsim is a collection of software simulators for @@ -1619,8 +1599,7 @@ families, plus many of their variants.") (("from IPython.*") "")))))) (build-system python-build-system) (propagated-inputs - `(("python-cryptography" ,python-cryptography) - ("python-prettytable" ,python-prettytable))) + (list python-cryptography python-prettytable)) (home-page "https://github.com/PSPReverse/psptool") (synopsis "Tool for dealing with AMD binary blobs") (description "PSPTool is a tool for dealing with AMD binary blobs") |