0d165fba93
* gnu/packages/embedded.scm (jimtcl)[arguments]: Adjust custom phase 'delete-failing-tests/32bit to run for all 32-bit architectures.
1753 lines
74 KiB
Scheme
1753 lines
74 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2016, 2017, 2018, 2019, 2023 Ricardo Wurmus <rekado@elephly.net>
|
||
;;; Copyright © 2016, 2017 Theodoros Foradis <theodoros@foradis.org>
|
||
;;; Copyright © 2016 David Craven <david@craven.ch>
|
||
;;; Copyright © 2017, 2020 Efraim Flashner <efraim@flashner.co.il>
|
||
;;; Copyright © 2018, 2020 Tobias Geerinckx-Rice <me@tobias.gr>
|
||
;;; Copyright © 2018, 2019, 2021 Clément Lassieur <clement@lassieur.org>
|
||
;;; Copyright © 2020, 2022 Marius Bakke <marius@gnu.org>
|
||
;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
|
||
;;; Copyright © 2021 Julien Lepiller <julien@lepiller.eu>
|
||
;;; Copyright © 2020, 2021, 2022 Simon South <simon@simonsouth.net>
|
||
;;; Copyright © 2021 Morgan Smith <Morgan.J.Smith@outlook.com>
|
||
;;; Copyright © 2022 Mathieu Othacehe <othacehe@gnu.org>
|
||
;;; Copyright © 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
||
;;; Copyright © 2023 Janneke Nieuwenhuizen <janneke@gnu.org>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (gnu packages embedded)
|
||
#:use-module (guix utils)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix download)
|
||
#:use-module (guix gexp)
|
||
#:use-module (guix svn-download)
|
||
#:use-module (guix git-download)
|
||
#:use-module ((guix licenses) #:prefix license:)
|
||
#:use-module (guix build-system cmake)
|
||
#:use-module (guix build-system gnu)
|
||
#:use-module (guix build-system python)
|
||
#:use-module (guix build-system trivial)
|
||
#:use-module ((guix build utils) #:select (alist-replace delete-file-recursively))
|
||
#:use-module (gnu packages)
|
||
#:use-module (gnu packages admin)
|
||
#:use-module (gnu packages autotools)
|
||
#: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)
|
||
#:use-module (gnu packages flex)
|
||
#:use-module (gnu packages gcc)
|
||
#:use-module (gnu packages gdb)
|
||
#:use-module (gnu packages guile)
|
||
#:use-module (gnu packages libftdi)
|
||
#:use-module (gnu packages libusb)
|
||
#:use-module (gnu packages messaging)
|
||
#:use-module (gnu packages ncurses)
|
||
#:use-module (gnu packages perl)
|
||
#:use-module (gnu packages pkg-config)
|
||
#:use-module (gnu packages python)
|
||
#:use-module (gnu packages python-build)
|
||
#:use-module (gnu packages python-crypto)
|
||
#:use-module (gnu packages python-web)
|
||
#:use-module (gnu packages python-xyz)
|
||
#:use-module (gnu packages readline)
|
||
#:use-module (gnu packages swig)
|
||
#:use-module (gnu packages texinfo)
|
||
#:use-module (gnu packages tls)
|
||
#:use-module (gnu packages version-control)
|
||
#:use-module (gnu packages xorg)
|
||
#:use-module (srfi srfi-1))
|
||
|
||
;; We must not use the released GCC sources here, because the cross-compiler
|
||
;; does not produce working binaries. Instead we take the very same SVN
|
||
;; revision from the branch that is used for a release of the "GCC ARM
|
||
;; embedded" project on launchpad.
|
||
;; See https://launchpadlibrarian.net/218827644/release.txt
|
||
(define-public gcc-arm-none-eabi-4.9
|
||
(let ((xgcc (cross-gcc "arm-none-eabi"
|
||
#:xgcc gcc-4.9
|
||
#:xbinutils (cross-binutils "arm-none-eabi")))
|
||
(revision "1")
|
||
(svn-revision 227977))
|
||
(package (inherit xgcc)
|
||
(version (string-append (package-version xgcc) "-"
|
||
revision "." (number->string svn-revision)))
|
||
(source
|
||
(origin
|
||
(method svn-fetch)
|
||
(uri (svn-reference
|
||
(url "svn://gcc.gnu.org/svn/gcc/branches/ARM/embedded-4_9-branch/")
|
||
(revision svn-revision)))
|
||
(file-name (string-append "gcc-arm-embedded-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"113r98kygy8rrjfv2pd3z6zlfzbj543pq7xyq8bgh72c608mmsbr"))
|
||
|
||
(patches (cons (search-patch "gcc-4.9-inline.patch")
|
||
;; Remove the one patch that doesn't apply to this 4.9
|
||
;; snapshot (the patch is for 4.9.4 and later but this
|
||
;; svn snapshot is older).
|
||
(remove (lambda (patch)
|
||
(string=? (basename patch)
|
||
"gcc-arm-bug-71399.patch"))
|
||
(origin-patches (package-source xgcc)))))))
|
||
(native-inputs
|
||
`(("flex" ,flex)
|
||
("gcc@5" ,gcc-5)
|
||
,@(package-native-inputs xgcc)))
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments xgcc)
|
||
((#:phases phases)
|
||
#~(modify-phases #$phases
|
||
(add-after 'set-paths 'augment-CPLUS_INCLUDE_PATH
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(let ((gcc (assoc-ref inputs "gcc")))
|
||
;; Remove the default compiler from CPLUS_INCLUDE_PATH to
|
||
;; prevent header conflict with the GCC from native-inputs.
|
||
(setenv "CPLUS_INCLUDE_PATH"
|
||
(string-join
|
||
(delete (string-append gcc "/include/c++")
|
||
(string-split (getenv "CPLUS_INCLUDE_PATH")
|
||
#\:))
|
||
":"))
|
||
(format #t
|
||
"environment variable `CPLUS_INCLUDE_PATH' changed to ~a~%"
|
||
(getenv "CPLUS_INCLUDE_PATH")))))
|
||
(add-after 'unpack 'fix-genmultilib
|
||
(lambda _
|
||
(substitute* "gcc/genmultilib"
|
||
(("#!/bin/sh") (string-append "#!" (which "sh"))))))))
|
||
((#:configure-flags flags)
|
||
;; The configure flags are largely identical to the flags used by the
|
||
;; "GCC ARM embedded" project.
|
||
#~(append (list "--enable-multilib"
|
||
"--with-newlib"
|
||
"--with-multilib-list=armv6-m,armv7-m,armv7e-m"
|
||
"--with-host-libstdcxx=-static-libgcc -Wl,-Bstatic,-lstdc++,-Bdynamic -lm"
|
||
"--enable-plugins"
|
||
"--disable-decimal-float"
|
||
"--disable-libffi"
|
||
"--disable-libgomp"
|
||
"--disable-libmudflap"
|
||
"--disable-libquadmath"
|
||
"--disable-libssp"
|
||
"--disable-libstdcxx-pch"
|
||
"--disable-nls"
|
||
"--disable-shared"
|
||
"--disable-threads"
|
||
"--disable-tls")
|
||
(delete "--disable-multilib" #$flags)))))
|
||
(native-search-paths
|
||
(list (search-path-specification
|
||
(variable "CROSS_C_INCLUDE_PATH")
|
||
(files '("arm-none-eabi/include")))
|
||
(search-path-specification
|
||
(variable "CROSS_CPLUS_INCLUDE_PATH")
|
||
(files '("arm-none-eabi/include"
|
||
"arm-none-eabi/include/c++"
|
||
"arm-none-eabi/include/c++/arm-none-eabi")))
|
||
(search-path-specification
|
||
(variable "CROSS_LIBRARY_PATH")
|
||
(files '("arm-none-eabi/lib"))))))))
|
||
|
||
(define-public gcc-arm-none-eabi-6
|
||
(package
|
||
(inherit gcc-arm-none-eabi-4.9)
|
||
(version (package-version gcc-6))
|
||
(source (origin (inherit (package-source gcc-6))
|
||
(patches
|
||
(append
|
||
(origin-patches (package-source gcc-6))
|
||
(search-patches "gcc-6-cross-environment-variables.patch"
|
||
"gcc-6-arm-none-eabi-multilib.patch")))))))
|
||
|
||
(define-public newlib-arm-none-eabi
|
||
(package
|
||
(name "newlib")
|
||
(version "2.4.0")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "ftp://sourceware.org/pub/newlib/newlib-"
|
||
version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"01i7qllwicf05vsvh39qj7qp5fdifpvvky0x95hjq39mbqiksnsl"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:out-of-source? #t
|
||
;; The configure flags are identical to the flags used by the "GCC ARM
|
||
;; embedded" project.
|
||
#:configure-flags '("--target=arm-none-eabi"
|
||
"--enable-newlib-io-long-long"
|
||
"--enable-newlib-register-fini"
|
||
"--disable-newlib-supplied-syscalls"
|
||
"--disable-nls")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'fix-references-to-/bin/sh
|
||
(lambda _
|
||
(substitute* '("libgloss/arm/cpu-init/Makefile.in"
|
||
"libgloss/arm/Makefile.in"
|
||
"libgloss/libnosys/Makefile.in"
|
||
"libgloss/Makefile.in")
|
||
(("/bin/sh") (which "sh")))
|
||
#t)))))
|
||
(native-inputs
|
||
`(("xbinutils" ,(cross-binutils "arm-none-eabi"))
|
||
("xgcc" ,gcc-arm-none-eabi-4.9)
|
||
("texinfo" ,texinfo)))
|
||
(home-page "https://www.sourceware.org/newlib/")
|
||
(synopsis "C library for use on embedded systems")
|
||
(description "Newlib is a C library intended for use on embedded
|
||
systems. It is a conglomeration of several library parts that are easily
|
||
usable on embedded products.")
|
||
(license (license:non-copyleft
|
||
"https://www.sourceware.org/newlib/COPYING.NEWLIB"))))
|
||
|
||
(define-public newlib-nano-arm-none-eabi
|
||
(package (inherit newlib-arm-none-eabi)
|
||
(name "newlib-nano")
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments newlib-arm-none-eabi)
|
||
;; The configure flags are identical to the flags used by the "GCC ARM
|
||
;; embedded" project. They optimize newlib for use on small embedded
|
||
;; systems with limited memory.
|
||
((#:configure-flags flags)
|
||
''("--target=arm-none-eabi"
|
||
"--enable-multilib"
|
||
"--disable-newlib-supplied-syscalls"
|
||
"--enable-newlib-reent-small"
|
||
"--disable-newlib-fvwrite-in-streamio"
|
||
"--disable-newlib-fseek-optimization"
|
||
"--disable-newlib-wide-orient"
|
||
"--enable-newlib-nano-malloc"
|
||
"--disable-newlib-unbuf-stream-opt"
|
||
"--enable-lite-exit"
|
||
"--enable-newlib-global-atexit"
|
||
"--enable-newlib-nano-formatted-io"
|
||
"--disable-nls"))
|
||
((#:phases phases)
|
||
`(modify-phases ,phases
|
||
;; XXX: Most arm toolchains offer both *.a and *_nano.a as newlib
|
||
;; and newlib-nano respectively. The headers are usually
|
||
;; arm-none-eabi/include/newlib.h for newlib and
|
||
;; arm-none-eabi/include/newlib-nano/newlib.h for newlib-nano. We
|
||
;; have two different toolchain packages for each which works but
|
||
;; is a little strange.
|
||
(add-after 'install 'hardlink-newlib
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out")))
|
||
;; The nano.specs file says that newlib-nano files should end
|
||
;; in "_nano.a" instead of just ".a". Note that this applies
|
||
;; to all the multilib folders too.
|
||
(for-each
|
||
(lambda (file)
|
||
(link file
|
||
(string-append
|
||
;; Strip ".a" off the end
|
||
(substring file 0 (- (string-length file) 2))
|
||
;; Add "_nano.a" onto the end
|
||
"_nano.a")))
|
||
(find-files
|
||
out
|
||
"^(libc.a|libg.a|librdimon.a|libstdc\\+\\+.a|libsupc\\+\\+.a)$"))
|
||
|
||
;; newlib.h is usually in this location instead so both
|
||
;; newlib and newlib-nano can be in the toolchain at the same
|
||
;; time
|
||
(mkdir (string-append out "/arm-none-eabi/include/newlib-nano"))
|
||
(symlink
|
||
"../newlib.h"
|
||
(string-append out "/arm-none-eabi/include/newlib-nano/newlib.h"))
|
||
#t)))))))
|
||
(synopsis "Newlib variant for small systems with limited memory")))
|
||
|
||
|
||
;;; The following definitions are for the "7-2018-q2-update" variant of the
|
||
;;; ARM cross toolchain as offered on https://developer.arm.com
|
||
(define-public gcc-arm-none-eabi-7-2018-q2-update
|
||
(let ((xgcc (cross-gcc "arm-none-eabi"
|
||
#:xgcc gcc-7
|
||
#:xbinutils (cross-binutils "arm-none-eabi")))
|
||
(revision "1")
|
||
(svn-revision 261907))
|
||
(package (inherit xgcc)
|
||
(version (string-append "7-2018-q2-update-"
|
||
revision "." (number->string svn-revision)))
|
||
(source
|
||
(origin
|
||
(method svn-fetch)
|
||
(uri (svn-reference
|
||
(url "svn://gcc.gnu.org/svn/gcc/branches/ARM/embedded-7-branch/")
|
||
(revision svn-revision)))
|
||
(file-name (string-append "gcc-arm-embedded-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"192ggs63bixf3irpijgfkjks73yx1r3a4i6grk1y0i0iny76pmx5"))
|
||
(patches
|
||
(append
|
||
(origin-patches (package-source gcc-7))
|
||
(search-patches "gcc-7-cross-environment-variables.patch")))))
|
||
(native-inputs
|
||
(modify-inputs (package-native-inputs xgcc)
|
||
(delete "isl")
|
||
(prepend flex isl-0.18)))
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments xgcc)
|
||
((#:phases phases)
|
||
#~(modify-phases #$phases
|
||
(add-after 'unpack 'expand-version-string
|
||
(lambda _
|
||
(make-file-writable "gcc/DEV-PHASE")
|
||
(with-output-to-file "gcc/DEV-PHASE"
|
||
(lambda ()
|
||
(display "7-2018-q2-update")))))
|
||
(add-after 'unpack 'fix-genmultilib
|
||
(lambda _
|
||
(substitute* "gcc/genmultilib"
|
||
(("#!/bin/sh") (string-append "#!" (which "sh"))))))
|
||
(add-after 'set-paths 'augment-CPLUS_INCLUDE_PATH
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(let ((gcc (assoc-ref inputs "gcc")))
|
||
;; Remove the default compiler from CPLUS_INCLUDE_PATH to
|
||
;; prevent header conflict with the GCC from native-inputs.
|
||
(setenv "CPLUS_INCLUDE_PATH"
|
||
(string-join
|
||
(delete (string-append gcc "/include/c++")
|
||
(string-split (getenv "CPLUS_INCLUDE_PATH")
|
||
#\:))
|
||
":"))
|
||
(format #t
|
||
"environment variable `CPLUS_INCLUDE_PATH' changed to ~a~%"
|
||
(getenv "CPLUS_INCLUDE_PATH")))))))
|
||
((#:configure-flags flags)
|
||
;; The configure flags are largely identical to the flags used by the
|
||
;; "GCC ARM embedded" project.
|
||
#~(append (list "--enable-multilib"
|
||
"--with-newlib"
|
||
"--with-multilib-list=rmprofile"
|
||
"--with-host-libstdcxx=-static-libgcc -Wl,-Bstatic,-lstdc++,-Bdynamic -lm"
|
||
"--enable-plugins"
|
||
"--disable-decimal-float"
|
||
"--disable-libffi"
|
||
"--disable-libgomp"
|
||
"--disable-libmudflap"
|
||
"--disable-libquadmath"
|
||
"--disable-libssp"
|
||
"--disable-libstdcxx-pch"
|
||
"--disable-nls"
|
||
"--disable-shared"
|
||
"--disable-threads"
|
||
"--disable-tls")
|
||
(delete "--disable-multilib" #$flags)))))
|
||
(native-search-paths
|
||
(list (search-path-specification
|
||
(variable "CROSS_C_INCLUDE_PATH")
|
||
(files '("arm-none-eabi/include")))
|
||
(search-path-specification
|
||
(variable "CROSS_CPLUS_INCLUDE_PATH")
|
||
(files '("arm-none-eabi/include"
|
||
"arm-none-eabi/include/c++"
|
||
"arm-none-eabi/include/c++/arm-none-eabi")))
|
||
(search-path-specification
|
||
(variable "CROSS_LIBRARY_PATH")
|
||
(files '("arm-none-eabi/lib"))))))))
|
||
|
||
(define-public newlib-arm-none-eabi-7-2018-q2-update
|
||
;; This is the same commit as used for the 7-2018-q2-update release
|
||
;; according to the release.txt.
|
||
(let ((commit "3ccfb407af410ba7e54ea0da11ae1e40b554a6f4")
|
||
(revision "0"))
|
||
(package
|
||
(inherit newlib-arm-none-eabi)
|
||
(version (git-version "3.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "http://sourceware.org/git/newlib-cygwin.git")
|
||
(commit commit)))
|
||
(file-name (git-file-name "newlib" commit))
|
||
(sha256
|
||
(base32
|
||
"1dq23fqrk75g1a4v7569fvnnw5q440zawbxi3w0g05n8jlqsmvcy"))))
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments newlib-arm-none-eabi)
|
||
;; The configure flags are identical to the flags used by the "GCC ARM
|
||
;; embedded" project.
|
||
((#:configure-flags flags)
|
||
`(cons* "--enable-newlib-io-c99-formats"
|
||
"--enable-newlib-retargetable-locking"
|
||
"--with-headers=yes"
|
||
,flags))))
|
||
(native-inputs
|
||
`(("xbinutils" ,(cross-binutils "arm-none-eabi"))
|
||
("xgcc" ,gcc-arm-none-eabi-7-2018-q2-update)
|
||
("texinfo" ,texinfo))))))
|
||
|
||
(define-public newlib-nano-arm-none-eabi-7-2018-q2-update
|
||
(package (inherit newlib-arm-none-eabi-7-2018-q2-update)
|
||
(name "newlib-nano")
|
||
(arguments
|
||
(package-arguments newlib-nano-arm-none-eabi))
|
||
(synopsis "Newlib variant for small systems with limited memory")))
|
||
|
||
|
||
(define (make-libstdc++-arm-none-eabi xgcc newlib)
|
||
(let ((libstdc++ (make-libstdc++ xgcc)))
|
||
(package (inherit libstdc++)
|
||
(name "libstdc++-arm-none-eabi")
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments libstdc++)
|
||
((#:configure-flags flags)
|
||
``("--target=arm-none-eabi"
|
||
"--host=arm-none-eabi"
|
||
"--disable-libstdcxx-pch"
|
||
"--enable-multilib"
|
||
"--with-multilib-list=armv6-m,armv7-m,armv7e-m"
|
||
"--disable-shared"
|
||
"--disable-tls"
|
||
"--disable-plugin"
|
||
"--with-newlib"
|
||
,(string-append "--with-gxx-include-dir="
|
||
(assoc-ref %outputs "out")
|
||
"/arm-none-eabi/include/c++")))))
|
||
(native-inputs
|
||
`(("newlib" ,newlib)
|
||
("xgcc" ,xgcc)
|
||
,@(package-native-inputs libstdc++))))))
|
||
|
||
(define (arm-none-eabi-toolchain xgcc newlib)
|
||
"Produce a cross-compiler toolchain package with the compiler XGCC and the C
|
||
library variant NEWLIB."
|
||
(let ((newlib-with-xgcc (package (inherit newlib)
|
||
(native-inputs
|
||
(alist-replace "xgcc" (list xgcc)
|
||
(package-native-inputs newlib))))))
|
||
(package
|
||
(name (string-append "arm-none-eabi"
|
||
(if (string=? (package-name newlib-with-xgcc)
|
||
"newlib-nano")
|
||
"-nano" "")
|
||
"-toolchain"))
|
||
(version (package-version xgcc))
|
||
(source #f)
|
||
(build-system trivial-build-system)
|
||
(arguments
|
||
'(#:modules ((guix build union))
|
||
#:builder
|
||
(begin
|
||
(use-modules (ice-9 match)
|
||
(guix build union))
|
||
(match %build-inputs
|
||
(((names . directories) ...)
|
||
(union-build (assoc-ref %outputs "out")
|
||
directories)
|
||
#t)))))
|
||
(propagated-inputs
|
||
`(("binutils" ,(cross-binutils "arm-none-eabi"))
|
||
("libstdc++" ,(make-libstdc++-arm-none-eabi xgcc newlib-with-xgcc))
|
||
("gcc" ,xgcc)
|
||
("newlib" ,newlib-with-xgcc)))
|
||
(synopsis "Complete GCC tool chain for ARM bare metal development")
|
||
(description "This package provides a complete GCC tool chain for ARM
|
||
bare metal development. This includes the GCC arm-none-eabi cross compiler
|
||
and newlib (or newlib-nano) as the C library. The supported programming
|
||
languages are C and C++.")
|
||
(home-page (package-home-page xgcc))
|
||
(license (package-license xgcc)))))
|
||
|
||
(define-public arm-none-eabi-toolchain-4.9
|
||
(arm-none-eabi-toolchain gcc-arm-none-eabi-4.9
|
||
newlib-arm-none-eabi))
|
||
|
||
(define-public arm-none-eabi-nano-toolchain-4.9
|
||
(arm-none-eabi-toolchain gcc-arm-none-eabi-4.9
|
||
newlib-nano-arm-none-eabi))
|
||
|
||
(define-public arm-none-eabi-toolchain-6
|
||
(arm-none-eabi-toolchain gcc-arm-none-eabi-6
|
||
newlib-arm-none-eabi))
|
||
|
||
(define-public arm-none-eabi-nano-toolchain-6
|
||
(arm-none-eabi-toolchain gcc-arm-none-eabi-6
|
||
newlib-nano-arm-none-eabi))
|
||
|
||
(define-public arm-none-eabi-toolchain-7-2018-q2-update
|
||
(arm-none-eabi-toolchain gcc-arm-none-eabi-7-2018-q2-update
|
||
newlib-arm-none-eabi-7-2018-q2-update))
|
||
|
||
(define-public arm-none-eabi-nano-toolchain-7-2018-q2-update
|
||
(arm-none-eabi-toolchain gcc-arm-none-eabi-7-2018-q2-update
|
||
newlib-nano-arm-none-eabi-7-2018-q2-update))
|
||
|
||
(define-public gdb-arm-none-eabi
|
||
(package
|
||
(inherit gdb)
|
||
(name "gdb-arm-none-eabi")
|
||
(arguments
|
||
`(#:configure-flags '("--target=arm-none-eabi"
|
||
"--enable-multilib"
|
||
"--enable-interwork"
|
||
"--enable-languages=c,c++"
|
||
"--disable-nls")
|
||
,@(package-arguments gdb)))))
|
||
|
||
(define-public libjaylink
|
||
(package
|
||
(name "libjaylink")
|
||
(version "0.3.1")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://repo.or.cz/libjaylink.git")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1wps72ir2kwdr7dphx4vp6cy0d46dm3nkwbk0mpryn9la09l7lm1"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs
|
||
(list autoconf automake libtool pkg-config))
|
||
(inputs
|
||
(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
|
||
SEGGER J-Link and compatible devices.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public jimtcl
|
||
(package
|
||
(name "jimtcl")
|
||
(version "0.82")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/msteveb/jimtcl")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"01nxqzn41797ypph1vpwjfh3zqgks0l8ihh6932b4kb83apy6f08"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list #:phases
|
||
#~(modify-phases %standard-phases
|
||
(replace 'configure
|
||
;; This package doesn't use autoconf.
|
||
(lambda _
|
||
(invoke "./configure"
|
||
(string-append "--prefix=" #$output))))
|
||
(add-before 'check 'delete-failing-tests
|
||
(lambda _
|
||
;; XXX All but 1 SSL tests fail (tries connecting to Google
|
||
;; servers).
|
||
(delete-file "tests/ssl.test")))
|
||
#$@(if (not (target-64bit?))
|
||
#~((add-after 'unpack 'delete-failing-tests/32bit
|
||
(lambda _
|
||
(delete-file "tests/file.test"))))
|
||
#~()))))
|
||
(inputs (list openssl))
|
||
(native-inputs
|
||
;; For tests.
|
||
(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
|
||
language.")
|
||
(license license:bsd-2)))
|
||
|
||
(define-public openocd
|
||
(package
|
||
(name "openocd")
|
||
(version "0.12.0")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://git.code.sf.net/p/openocd/code")
|
||
(commit (string-append "v" version))))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"09wb11zlmrw6rx1bql3kafgi3ilzp9mhvb6j6rql216by06csing"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs
|
||
(list autoconf
|
||
automake
|
||
libtool
|
||
base:which
|
||
pkg-config
|
||
texinfo))
|
||
(inputs
|
||
(list hidapi jimtcl libftdi libjaylink openssl))
|
||
(arguments
|
||
'(#:configure-flags
|
||
(append (list "LIBS=-lutil -lcrypto -lssl"
|
||
"--disable-werror"
|
||
"--enable-sysfsgpio"
|
||
"--disable-internal-jimtcl"
|
||
"--disable-internal-libjaylink")
|
||
(map (lambda (programmer)
|
||
(string-append "--enable-" programmer))
|
||
'("amtjtagaccel" "armjtagew" "buspirate" "ftdi"
|
||
"gw16012" "jlink" "opendous" "osbdm"
|
||
"parport" "aice" "cmsis-dap" "dummy" "jtag_vpi"
|
||
"remote-bitbang" "rlink" "stlink" "ti-icdi" "ulink"
|
||
"usbprog" "vsllink" "usb-blaster-2" "usb_blaster"
|
||
"presto" "openjtag" "rshim" "ft232r" "xds110"
|
||
"cmsis-dap-v2" "nulink" "kitprog" "jtag_dpi"
|
||
"bcm2835gpio" "imx_gpio" "ep93xx" "at91rm9200"
|
||
"sysfsgpio" "xlnx-pcie-xvc")))
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(replace 'bootstrap
|
||
(lambda _
|
||
;; Make build reproducible.
|
||
(substitute* "src/Makefile.am"
|
||
(("-DPKGBLDDATE=") "-DDISABLED_PKGBLDDATE="))
|
||
(patch-shebang "bootstrap")
|
||
(invoke "./bootstrap" "nosubmodule")))
|
||
(add-after 'unpack 'change-udev-group
|
||
(lambda _
|
||
(substitute* "contrib/60-openocd.rules"
|
||
(("plugdev") "dialout"))))
|
||
(add-after 'install 'install-udev-rules
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(install-file "contrib/60-openocd.rules"
|
||
(string-append
|
||
(assoc-ref outputs "out")
|
||
"/lib/udev/rules.d/")))))))
|
||
(home-page "https://openocd.org/")
|
||
(synopsis "On-Chip Debugger")
|
||
(description "OpenOCD provides on-chip programming and debugging support
|
||
with a layered architecture of JTAG interface and TAP support.")
|
||
(license license:gpl2+)))
|
||
|
||
;; The commits for all propeller tools are the stable versions published at
|
||
;; https://github.com/propellerinc/propgcc in the release_1_0. According to
|
||
;; personal correspondence with the developers in July 2017, more recent
|
||
;; versions are currently incompatible with the "Simple Libraries".
|
||
|
||
(define propeller-binutils
|
||
(let ((xbinutils (cross-binutils "propeller-elf"))
|
||
(commit "4c46ecbe79ffbecd2ce918497ace5b956736b5a3")
|
||
(revision "2"))
|
||
(package
|
||
(inherit xbinutils)
|
||
(name "propeller-binutils")
|
||
(version (string-append "0.0.0-" revision "." (string-take commit 9)))
|
||
(source (origin (inherit (package-source xbinutils))
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/parallaxinc/propgcc")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" commit "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0w0dff3s7wv2d9m78a4jhckiik58q38wx6wpbba5hzbs4yxz35ck"))
|
||
(patches '())))
|
||
(arguments
|
||
`(;; FIXME: For some reason there are many test failures. It's not
|
||
;; obvious how to fix the failures.
|
||
#:tests? #f
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _ (chdir "binutils") #t)))
|
||
,@(substitute-keyword-arguments (package-arguments xbinutils)
|
||
((#:configure-flags flags)
|
||
`(cons "--disable-werror" ,flags)))))
|
||
(native-inputs
|
||
`(("bison" ,bison)
|
||
("flex" ,flex)
|
||
("texinfo" ,texinfo)
|
||
("dejagnu" ,dejagnu)
|
||
,@(package-native-inputs xbinutils))))))
|
||
|
||
(define-public propeller-gcc-6
|
||
(let ((xgcc (cross-gcc "propeller-elf"
|
||
#:xbinutils propeller-binutils))
|
||
(commit "b4f45a4725e0b6d0af59e594c4e3e35ca4105867")
|
||
(revision "1"))
|
||
(package (inherit xgcc)
|
||
(name "propeller-gcc")
|
||
(version (string-append "6.0.0-" revision "." (string-take commit 9)))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/totalspectrum/gcc-propeller")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" commit "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0d9kdxm2fzanjqa7q5850kzbsfl0fqyaahxn74h6nkxxacwa11zb"))
|
||
(patches
|
||
(append
|
||
(origin-patches (package-source gcc-6))
|
||
(search-patches "gcc-cross-environment-variables.patch")))))
|
||
(native-inputs
|
||
(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
|
||
(list (search-path-specification
|
||
(variable "CROSS_C_INCLUDE_PATH")
|
||
(files '("propeller-elf/include")))
|
||
(search-path-specification
|
||
(variable "CROSS_LIBRARY_PATH")
|
||
(files '("propeller-elf/lib")))))
|
||
(home-page "https://github.com/totalspectrum/gcc-propeller")
|
||
(synopsis "GCC for the Parallax Propeller"))))
|
||
|
||
(define-public propeller-gcc-4
|
||
(let ((xgcc propeller-gcc-6)
|
||
(commit "4c46ecbe79ffbecd2ce918497ace5b956736b5a3")
|
||
(revision "2"))
|
||
(package (inherit xgcc)
|
||
(name "propeller-gcc")
|
||
(version (string-append "4.6.1-" revision "." (string-take commit 9)))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/parallaxinc/propgcc")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" commit "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0w0dff3s7wv2d9m78a4jhckiik58q38wx6wpbba5hzbs4yxz35ck"))
|
||
(patch-flags (list "-p1" "--directory=gcc"))
|
||
(patches
|
||
(append
|
||
(origin-patches (package-source gcc-4.7))
|
||
(search-patches "gcc-4.6-gnu-inline.patch"
|
||
"gcc-cross-environment-variables.patch")))))
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments propeller-gcc-6)
|
||
((#:phases phases)
|
||
#~(modify-phases #$phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _ (chdir "gcc")))))))
|
||
(native-inputs
|
||
(modify-inputs (package-native-inputs propeller-gcc-6)
|
||
(prepend gcc-4.9)))
|
||
(home-page "https://github.com/parallaxinc/propgcc")
|
||
(supported-systems (delete "aarch64-linux" %supported-systems)))))
|
||
|
||
;; Version 6 is experimental and may not work correctly. This is why we
|
||
;; default to version 4, which is also used in the binary toolchain bundle
|
||
;; provided by Parallax Inc.
|
||
(define-public propeller-gcc propeller-gcc-4)
|
||
|
||
|
||
;; FIXME: We do not build the tiny library because that would require C++
|
||
;; headers, which are not available. This may require adding a propeller-elf
|
||
;; variant of the libstdc++ package.
|
||
(define-public proplib
|
||
(let ((commit "4c46ecbe79ffbecd2ce918497ace5b956736b5a3")
|
||
(revision "2"))
|
||
(package
|
||
(name "proplib")
|
||
(version (string-append "0.0.0-" revision "." (string-take commit 9)))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/parallaxinc/propgcc")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" commit "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0w0dff3s7wv2d9m78a4jhckiik58q38wx6wpbba5hzbs4yxz35ck"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; no tests
|
||
#:make-flags
|
||
(list (string-append "PREFIX=" (assoc-ref %outputs "out"))
|
||
(string-append "BUILD=" (getcwd) "/build"))
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(add-after 'unpack 'chdir
|
||
(lambda _ (chdir "lib") #t))
|
||
(add-after 'chdir 'fix-Makefile
|
||
(lambda _
|
||
(substitute* "Makefile"
|
||
;; Control the installation time of the headers.
|
||
((" install-includes") ""))
|
||
#t))
|
||
;; The Makefile does not separate building from installation, so we
|
||
;; have to create the target directories at build time.
|
||
(add-before 'build 'create-target-directories
|
||
(lambda* (#:key make-flags #:allow-other-keys)
|
||
(apply invoke "make" "install-dirs" make-flags)))
|
||
(add-before 'build 'set-cross-environment-variables
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(setenv "CROSS_LIBRARY_PATH"
|
||
(string-append (assoc-ref outputs "out")
|
||
"/propeller-elf/lib:"
|
||
(or (getenv "CROSS_LIBRARY_PATH") "")))
|
||
(setenv "CROSS_C_INCLUDE_PATH"
|
||
(string-append (assoc-ref outputs "out")
|
||
"/propeller-elf/include:"
|
||
(or (getenv "CROSS_C_INCLUDE_PATH") "")))
|
||
#t))
|
||
(add-before 'install 'install-includes
|
||
(lambda* (#:key make-flags #:allow-other-keys)
|
||
(apply invoke "make" "install-includes" make-flags))))))
|
||
(native-inputs
|
||
(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
|
||
micro-controller.")
|
||
;; Most of the code is released under the Expat license. Some of the
|
||
;; included code is public domain and some changes are BSD licensed.
|
||
(license license:expat))))
|
||
|
||
(define-public propeller-toolchain
|
||
(package
|
||
(name "propeller-toolchain")
|
||
(version (package-version propeller-gcc))
|
||
(source #f)
|
||
(build-system trivial-build-system)
|
||
(arguments '(#:builder (begin (mkdir %output) #t)))
|
||
(propagated-inputs
|
||
`(("binutils" ,propeller-binutils)
|
||
("libc" ,proplib)
|
||
("gcc" ,propeller-gcc)))
|
||
(synopsis "Complete GCC tool chain for Propeller micro-controllers")
|
||
(description "This package provides a complete GCC tool chain for
|
||
Propeller micro-controller development.")
|
||
(home-page (package-home-page propeller-gcc))
|
||
(license (package-license propeller-gcc))))
|
||
|
||
(define-public openspin
|
||
(package
|
||
(name "openspin")
|
||
(version "1.00.78")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/parallaxinc/OpenSpin")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0ghk8hj4717ydhqzx2pfs6737s1cxng6sgg2xgbkwvcfclxdbrd0"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; no tests
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(add-after 'unpack 'remove-timestamp
|
||
(lambda _
|
||
(substitute* "SpinSource/openspin.cpp"
|
||
((" Compiled on.*$") "\\n\");"))
|
||
#t))
|
||
;; Makefile does not include "install" target
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((bin (string-append (assoc-ref outputs "out")
|
||
"/bin")))
|
||
(mkdir-p bin)
|
||
(install-file "build/openspin" bin)
|
||
#t))))))
|
||
(home-page "https://github.com/parallaxinc/OpenSpin")
|
||
(synopsis "Spin/PASM compiler for the Parallax Propeller")
|
||
(description "OpenSpin is a compiler for the Spin/PASM language of the
|
||
Parallax Propeller. It was ported from Chip Gracey's original x86 assembler
|
||
code.")
|
||
(license license:expat)))
|
||
|
||
(define-public propeller-load
|
||
(let ((commit "4c46ecbe79ffbecd2ce918497ace5b956736b5a3")
|
||
(revision "2"))
|
||
(package
|
||
(name "propeller-load")
|
||
(version "3.4.0")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/parallaxinc/propgcc")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" commit "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0w0dff3s7wv2d9m78a4jhckiik58q38wx6wpbba5hzbs4yxz35ck"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; no tests
|
||
#:make-flags
|
||
(list "OS=linux"
|
||
(string-append "TARGET=" (assoc-ref %outputs "out")))
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _ (chdir "loader") #t))
|
||
(delete 'configure))))
|
||
(native-inputs
|
||
(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
|
||
upload binaries to a Parallax Propeller micro-controller.")
|
||
(license license:expat))))
|
||
|
||
(define-public spin2cpp
|
||
(package
|
||
(name "spin2cpp")
|
||
(version "3.6.4")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/totalspectrum/spin2cpp")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0wznqvsckzzz4hdy2rpvj6jqpxw4yn7i0c7zxfm6i46k8gg9327b"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ;; The tests assume that a micro-controller is connected.
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(add-before 'build 'set-cross-environment-variables
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(setenv "CROSS_LIBRARY_PATH"
|
||
(string-append (assoc-ref inputs "propeller-toolchain")
|
||
"/propeller-elf/lib"))
|
||
(setenv "CROSS_C_INCLUDE_PATH"
|
||
(string-append (assoc-ref inputs "propeller-toolchain")
|
||
"/propeller-elf/include"))
|
||
#t))
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((bin (string-append (assoc-ref outputs "out")
|
||
"/bin")))
|
||
(for-each (lambda (file)
|
||
(install-file (string-append "build/" file)
|
||
bin))
|
||
'("testlex" "spin2cpp" "fastspin")))
|
||
#t)))))
|
||
(native-inputs
|
||
(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
|
||
the Parallax Propeller micro-controller into C or C++ code, into PASM, or even
|
||
directly into an executable binary. The binaries produced use LMM PASM, so
|
||
they are much faster than regular Spin bytecodes (but also quite a bit
|
||
larger).")
|
||
(license license:expat)))
|
||
|
||
(define-public spinsim
|
||
(let ((commit "66915a7ad1a3a2cf990a725bb341fab8d11eb620")
|
||
(revision "1"))
|
||
(package
|
||
(name "spinsim")
|
||
(version (string-append "0.75-" revision "." (string-take commit 9)))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/parallaxinc/spinsim")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" commit "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"1n9kdhlxsdx7bz6c80w8dhi96zp633gd6qs0x9i4ii8qv4i7sj5k"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; no tests
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((bin (string-append (assoc-ref outputs "out")
|
||
"/bin")))
|
||
(install-file "build/spinsim" bin))
|
||
#t)))))
|
||
(home-page "https://github.com/parallaxinc/spinsim")
|
||
(synopsis "Spin simulator")
|
||
(description "This package provides the tool @code{spinsim}, a simulator
|
||
and simple debugger for Spin programs written for a Parallax Propeller
|
||
micro-controller. Spinsim supports execution from cog memory and hub
|
||
execution, but it does not support multi-tasking. It supports about
|
||
two-thirds of the opcodes in the P2 instruction set.")
|
||
(license license:expat))))
|
||
|
||
(define-public propeller-development-suite
|
||
(package
|
||
(name "propeller-development-suite")
|
||
(version (package-version propeller-gcc))
|
||
(source #f)
|
||
(build-system trivial-build-system)
|
||
(arguments '(#:builder (begin (mkdir %output) #t)))
|
||
(propagated-inputs
|
||
`(("toolchain" ,propeller-toolchain)
|
||
("openspin" ,openspin)
|
||
("propeller-load" ,propeller-load)
|
||
("spin2cpp" ,spin2cpp)
|
||
("spinsim" ,spinsim)))
|
||
(synopsis "Complete development suite for Propeller micro-controllers")
|
||
(description "This meta-package provides a complete environment for the
|
||
development with Parallax Propeller micro-controllers. It includes the GCC
|
||
toolchain, the loader, the Openspin compiler, the Spin2cpp tool, and the Spin
|
||
simulator.")
|
||
(home-page (package-home-page propeller-gcc))
|
||
(license (package-license propeller-gcc))))
|
||
|
||
(define-public binutils-vc4
|
||
(let ((commit "708acc851880dbeda1dd18aca4fd0a95b2573b36"))
|
||
(package
|
||
(name "binutils-vc4")
|
||
(version (string-append "2.23.51-0." (string-take commit 7)))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/puppeh/binutils-vc4")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"1kdrz6fki55lm15rwwamn74fnqpy0zlafsida2zymk76n3656c63"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:configure-flags '("--target=vc4-elf"
|
||
"--disable-werror"
|
||
"--enable-cgen-maint")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'unpack-cgen
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(copy-recursively (string-append (assoc-ref inputs "cgen")
|
||
"/cgen") "cgen")
|
||
#t))
|
||
(add-after 'unpack-cgen 'fix-cgen-guile
|
||
(lambda _
|
||
(substitute* "opcodes/Makefile.in"
|
||
(("guile\\{,-\\}1.8") "guile"))
|
||
(invoke "which" "guile"))))))
|
||
(native-inputs
|
||
`(("cgen"
|
||
,(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/puppeh/cgen")
|
||
(commit "d8e2a9eb70425f180fdd5bfd032884b0855f2032")))
|
||
(sha256
|
||
(base32
|
||
"14b3h2ji740s8zq5vwm4qdcxs4aa4wxi6wb9di3bv1h39x14nyr9"))))
|
||
("texinfo" ,texinfo)
|
||
("flex" ,flex)
|
||
("bison" ,bison)
|
||
("guile-1.8" ,guile-1.8)
|
||
("which" ,base:which)))
|
||
(synopsis "Binutils for VC4")
|
||
(description "This package provides @code{binutils} for VideoCore IV,
|
||
the Raspberry Pi chip.")
|
||
(license license:gpl3+)
|
||
(home-page "https://github.com/puppeh/vc4-toolchain/"))))
|
||
|
||
(define-public gcc-vc4
|
||
(let ((commit "0fe4b83897341742f9df65797474cb0feab4b377")
|
||
(xgcc (cross-gcc "vc4-elf" #:xgcc gcc-6 #:xbinutils binutils-vc4)))
|
||
(package (inherit xgcc)
|
||
(name "gcc-vc4")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/puppeh/gcc-vc4")
|
||
(commit commit)))
|
||
(file-name (string-append name
|
||
"-"
|
||
(package-version xgcc)
|
||
"-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0kvaq4s0assvinmmicwqp07d0wwldcw0fv6f4k13whp3q5909jnr"))
|
||
(patches
|
||
(search-patches "gcc-6-fix-buffer-size.patch"
|
||
"gcc-6-fix-isl-includes.patch"))))
|
||
(native-inputs
|
||
(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."))))
|
||
|
||
(define-public imx-usb-loader
|
||
;; There are no proper releases.
|
||
(let ((commit "30b43d69770cd69e84c045dc9dcabb1f3e9d975a")
|
||
(revision "0"))
|
||
(package
|
||
(name "imx-usb-loader")
|
||
;; For the version string, see IMX_LOADER_VERSION in imx_loader.h.
|
||
(version (git-version "0.2pre" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/boundarydevices/imx_usb_loader")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1jdxbg63qascyl8x32njs9k9gzy86g209q7hc0jp74qyh0i6fwwc"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list #:test-target "tests"
|
||
#:make-flags #~(list (string-append "CC=" #$(cc-for-target))
|
||
(string-append "prefix=" #$output))
|
||
#:phases #~(modify-phases %standard-phases
|
||
(delete 'configure))))
|
||
(native-inputs (list pkg-config))
|
||
(inputs (list libusb))
|
||
(home-page "https://github.com/boundarydevices/imx_usb_loader")
|
||
(synopsis "USB and UART loader for i.MX5/6/7/8 series")
|
||
(description "This utility downloads and executes code on Freescale
|
||
i.MX5/i.MX6/i.MX7 and Vybrid SoCs through the Serial Download Protocol (SDP).
|
||
Depending on the board, there is usually some kind of recovery button to bring
|
||
the SoC into serial download boot mode; check the documentation of your
|
||
hardware. The utility support USB and UART as serial link.")
|
||
(license license:lgpl2.1+))))
|
||
|
||
(define-public python-libmpsse
|
||
(package
|
||
(name "python-libmpsse")
|
||
(version "1.4.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/daym/libmpsse")
|
||
(commit (string-append "v" version))))
|
||
(file-name "libmpsse-checkout")
|
||
(sha256
|
||
(base32
|
||
"1rypfb96k2szqgygp3jnwg2zq9kwmfz0460dsahn3r2vkzml8wn7"))))
|
||
(build-system gnu-build-system)
|
||
(inputs
|
||
(list libftdi python))
|
||
(native-inputs
|
||
(list pkg-config swig base:which))
|
||
(arguments
|
||
`(#:tests? #f ; No tests exist.
|
||
#:parallel-build? #f ; Would be buggy.
|
||
#:make-flags
|
||
(list (string-append "CFLAGS=-Wall -fPIC -fno-strict-aliasing -g -O2 "
|
||
"$(shell pkg-config --cflags libftdi1)"))
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'set-environment-up
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((python (assoc-ref inputs "python")))
|
||
(chdir "src")
|
||
(setenv "PYDEV" (string-append python
|
||
"/include/python"
|
||
,(version-major+minor (package-version python))))
|
||
#t)))
|
||
(replace 'install
|
||
(lambda* (#:key inputs outputs make-flags #:allow-other-keys #:rest args)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(out-python (string-append out
|
||
"/lib/python"
|
||
,(version-major+minor (package-version python))
|
||
"/site-packages"))
|
||
(install (assoc-ref %standard-phases 'install)))
|
||
(install #:make-flags (cons (string-append "PYLIB=" out-python)
|
||
make-flags))))))))
|
||
(home-page "https://code.google.com/archive/p/libmpsse/")
|
||
(synopsis "Python library for MPSSE SPI I2C JTAG adapter by FTDI")
|
||
(description "This package provides a library in order to support the
|
||
MPSSE (Multi-Protocol Synchronous Serial Engine) adapter by FTDI that can do
|
||
SPI, I2C, JTAG.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public picprog
|
||
(package
|
||
(name "picprog")
|
||
(version "1.9.1")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "http://www.iki.fi/hyvatti/pic/picprog-"
|
||
version ".tar.gz"))
|
||
(file-name (string-append name "-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"1r04hg1n3v2jf915qr05la3q9cxy7a5jnh9cc98j04lh6c9p4x85"))
|
||
(patches (search-patches "picprog-non-intel-support.patch"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; No tests exist.
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'patch-paths
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(substitute* "Makefile"
|
||
(("/usr/local") (assoc-ref outputs "out"))
|
||
((" -o 0 -g 0 ") " ")
|
||
(("testport") ""))
|
||
#t))
|
||
(add-before 'install 'mkdir
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out")))
|
||
(mkdir-p (string-append out "/bin"))
|
||
(mkdir-p (string-append out "/man/man1"))
|
||
#t)))
|
||
(delete 'configure))))
|
||
(synopsis "Programs Microchip's PIC microcontrollers")
|
||
(description "This program programs Microchip's PIC microcontrollers.")
|
||
(home-page "https://hyvatti.iki.fi/~jaakko/pic/picprog.html")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public fc-host-tools
|
||
(package
|
||
(name "fc-host-tools")
|
||
(version "15")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "ftp://ftp.freecalypso.org/pub/GSM/"
|
||
"FreeCalypso/fc-host-tools-r" version ".tar.bz2"))
|
||
(sha256
|
||
(base32
|
||
"17v3xc44mmlvp0irwm1p55zdgzd31ic3nsjxnv8y28a1i85103cv"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; No tests exist.
|
||
#:make-flags
|
||
(list (string-append "INSTALL_PREFIX=" %output)
|
||
(string-append "INCLUDE_INSTALL_DIR=" %output "include/rvinterf"))
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'patch-installation-paths
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(substitute* (cons* "miscutil/c139explore"
|
||
"miscutil/pirexplore"
|
||
(find-files "." "^(.*\\.[ch]|Makefile)$"))
|
||
(("/opt/freecalypso/bin/fc-simtool")
|
||
"fc-simtool")
|
||
(("/opt/freecalypso/bin/fc-uicc-tool")
|
||
"fc-uicc-tool")
|
||
(("/opt/freecalypso/loadtools")
|
||
(string-append (assoc-ref outputs "out") "/lib/freecalypso/loadtools"))
|
||
(("\\$\\{INSTALL_PREFIX\\}/loadtools")
|
||
(string-append (assoc-ref outputs "out") "/lib/freecalypso/loadtools"))
|
||
(("\\$\\{INSTALL_PREFIX\\}/target-bin")
|
||
(string-append (assoc-ref outputs "out") "/lib/freecalypso/target-bin"))
|
||
(("/opt/freecalypso")
|
||
(assoc-ref outputs "out")))
|
||
#t))
|
||
(delete 'configure))))
|
||
(inputs
|
||
(list libx11))
|
||
(synopsis "Freecalypso host tools")
|
||
(description "This package provides some tools for debugging FreeCalypso phones and the FreeCalypso FCDEV3B dev board.
|
||
|
||
@enumerate
|
||
@item fc-e1decode: Decodes a binary Melody E1 file into an ASCII source file.
|
||
@item fc-e1gen: Encodes an ASCII Melody E1 file into a binary Melody E1 file.
|
||
@item fc-fr2tch: Converts a GSM 06.10 speech recording from libgsm to hex
|
||
strings of TCH bits to be fed to the GSM 05.03 channel encoder of a TI
|
||
Calypso GSM device.
|
||
@item fc-tch2fr: Converts hex strings of TCH bits to libgsm.
|
||
@item fc-gsm2vm: utility converts a GSM 06.10 speech sample from the libgsm
|
||
source format into a voice memo file that can be uploaded into the FFS of a
|
||
FreeCalypso device and played with the audio_vm_play_start() API or the
|
||
AT@@VMP command that invokes the latter.
|
||
@item fc-rgbconv: Convers RGB 5:6:5 to RGB 8:8:8 and vice versa.
|
||
@item rvinterf: Communicates with a TI Calypso GSM device via RVTMUX.
|
||
@item rvtdump: produces a human-readable dump of all output emitted by a
|
||
TI-based GSM fw on the RVTMUX binary packet interface.
|
||
@item fc-shell: FreeCalypso firmwares have a feature of our own invention
|
||
(not present in any pre-existing ones) to accept AT commands over the RVTMUX
|
||
interface. It is useful when no second UART is available for a dedicated
|
||
standard AT command interface. fc-shell is the tool that allows you to send
|
||
AT commands to the firmware in this manner.
|
||
@item fc-memdump: Captures a memory dump from a GSM device.
|
||
@item fc-serterm: Trivial serial terminal. Escapes binary chars.
|
||
@item fc-fsio: Going through rvinterf, this tool connects to GSM devices and
|
||
allows you to manipulate the device's flash file system.
|
||
@item tiaud-compile: Compiles an audio mode configuration table for TI's
|
||
Audio Service from our own ASCII source format into the binary format for
|
||
uploading into FreeCalypso GSM device FFS with fc-fsio.
|
||
@item tiaud-decomp: Decodes TI's audio mode configuration files read out of
|
||
FFS into our own ASCII format.
|
||
@item tiaud-mkvol: Generates the *.vol binary files which need to accompany
|
||
the main *.cfg ones.
|
||
@item fc-compalram: Allows running programs on the device without writing
|
||
them to flash storage.
|
||
@item fc-xram: Allows running programs on the device without writing them
|
||
to flash storage.
|
||
@item fc-iram: Allows running programs on the device without writing them
|
||
to flash storage.
|
||
@item fc-loadtool: Writes programs to the device's flash storage.
|
||
@item fc-simint: Loads and runs simagent on the phone, then calls fc-simtool
|
||
(see @url{https://www.freecalypso.org/hg/fc-sim-tools,fc-sim-tools
|
||
repository}) on the host to connect to it.
|
||
@item pirffs: Allows listing and extracting FFS content captured as a raw
|
||
flash image from Pirelli phones.
|
||
@item mokoffs: Allows listing and extracting FFS content captured as a raw
|
||
flash image from OpenMoko phones.
|
||
@item tiffs: Allows listing and extracting FFS content captured as a raw
|
||
flash image from TI phones.
|
||
@item c139explore: Run-from-RAM program for C139 phones that
|
||
exercises their peripheral hardware: LCD, keypad backlight, buzzer, vibrator.
|
||
@item pirexplore: Run-from-RAM program for Pirelli DP-L10 phones that
|
||
exercises their peripheral hardware, primarily their LCD.
|
||
@item tfc139: Breaks into Mot C1xx phones via shellcode injection, allowing
|
||
you to reflash locked phones with new firmware with fc-loadtool.
|
||
@item ctracedec: GSM firmwares built in TI's Windows environment have a
|
||
compressed trace misfeature whereby many of the ASCII strings
|
||
in debug trace messages get replaced with numeric indices at
|
||
build time, and these numeric indices are all that gets emitted
|
||
on the RVTMUX serial channel. This tools decodes these numeric indices
|
||
back to strings in trace output.
|
||
@item fc-cal2text: This utility takes a dump of TI's /gsm/rf flash file system
|
||
directory subtree as input (either extracted in vitro with tiffs
|
||
or read out in vivo with fc-fsio) and converts all RF tables
|
||
found therein into a readable ASCII format.
|
||
@item imei-luhn: Computes or verifies the Luhn check digit of an IMEI number.
|
||
@item fc-dspapidump: Reads and dumps the contents of the DSP API RAM in a
|
||
target Calypso GSM device.
|
||
@item fc-vm2hex: Converts the old-fashioned (non-AMR) voice memo files read
|
||
out of FFS into hex strings.
|
||
@item fc-buzplay: Plays piezoelectic buzzer melodies on an actual
|
||
Calypso device equipped with such a buzzer (Mot C1xx, TI's D-Sample board,
|
||
our planned future HSMBP) by loading a buzplayer agent onto the target and
|
||
feeding melodies to be played to it.
|
||
@item fc-tmsh: TI-based GSM firmwares provide a rich set of Test Mode commands
|
||
that can be issued through the RVTMUX (debug trace) serial channel.
|
||
This program is our test mode shell for sending Test Mode commands to targets
|
||
and displaying decoded target responses.
|
||
@item fcup-smsend: Send a short message via SMS
|
||
@item fcup-smsendmult: Send multiple short messages via SMS in one go
|
||
@item fcup-smsendpdu: Send multiple short messages given in PDU format via SMS
|
||
@item sms-pdu-decode: Decode PDU format messages
|
||
@item fc-dspromdump: Dump DSP ROM.
|
||
@item pcm-sms-decode: Decode /pcm/SMS binary files read out of FFS maintained
|
||
by Pirelli DP-L10. Display the SMS in human-readable form.
|
||
@item srec-regions: Parse S-record (TI's *.m0), identify the set of
|
||
discontiguous regions into which this SREC image deposits bits, and list
|
||
these identified regions.
|
||
@end enumerate")
|
||
(home-page "https://www.freecalypso.org/")
|
||
(license license:public-domain)))
|
||
|
||
(define-public stcgal
|
||
(package
|
||
(name "stcgal")
|
||
(version "1.6")
|
||
(source (origin
|
||
;; Neither the unit tests nor the "doc" subdirectory referred to
|
||
;; by stcgal's setup.py is present in the source distribution on
|
||
;; PyPI, so we fetch directly from the project's git repository
|
||
;; instead.
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/grigorig/stcgal")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1d10qxyghz66zp7iqpm8q8rfv9jz9n609gxmfcav1lssmf1dlyk3"))
|
||
(modules '((guix build utils)))
|
||
(snippet
|
||
;; Make tests compatible with PyYAML 6 and later.
|
||
'(substitute* '("tests/test_program.py"
|
||
"tests/test_fuzzing.py")
|
||
(("yaml\\.load\\(test_file\\.read\\(\\)\\)")
|
||
"yaml.load(test_file.read(), Loader=yaml.SafeLoader)")))))
|
||
(build-system python-build-system)
|
||
(propagated-inputs
|
||
(list python-pyserial python-pyusb python-tqdm))
|
||
(native-inputs
|
||
;; For tests.
|
||
(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
|
||
MCU's line of Intel 8051-compatible microcontrollers, including those in the
|
||
STC89, STC90, STC10, STC11, STC12, STC15 and STC8 series.")
|
||
(license license:expat)))
|
||
|
||
(define-public stlink
|
||
(package
|
||
(name "stlink")
|
||
(version "1.7.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/stlink-org/stlink")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"03xypffpbp4imrczbxmq69vgkr7mbp0ps9dk815br5wwlz6vgygl"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
`(#:tests? #f ;no tests
|
||
#:configure-flags
|
||
(let* ((out (assoc-ref %outputs "out"))
|
||
(etc (in-vicinity out "etc"))
|
||
(modprobe (in-vicinity etc "modprobe.d"))
|
||
(udev-rules (in-vicinity etc "udev/rules.d")))
|
||
(list (string-append "-DSTLINK_UDEV_RULES_DIR=" udev-rules)
|
||
(string-append "-DSTLINK_MODPROBED_DIR=" modprobe)))))
|
||
(inputs
|
||
(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
|
||
STM32VL discovery kits) and ST-LINK/V2 (on STM32L discovery and later kits).
|
||
Two different transport layers are used: ST-LINK/V1 uses SCSI passthru
|
||
commands over USB, and ST-LINK/V2 and ST-LINK/V2-1 (seen on Nucleo boards) use
|
||
raw USB commands.")
|
||
(home-page "https://github.com/stlink-org/stlink")
|
||
;; The flashloaders/stm32l0x.s and flashloaders/stm32lx.s source files are
|
||
;; licensed under the GPLv2+.
|
||
(license (list license:bsd-3 license:gpl2+))))
|
||
|
||
(define-public west
|
||
(package
|
||
(name "west")
|
||
(version "0.13.1")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "west" version))
|
||
(sha256
|
||
(base32
|
||
"1hw9qas8ry8prn24iqka8kw2nv7ndxr95mvwr5lww53w2sr7p807"))))
|
||
(propagated-inputs
|
||
(list python-colorama
|
||
python-packaging
|
||
python-pykwalify
|
||
python-pyyaml))
|
||
(build-system python-build-system)
|
||
(home-page "https://github.com/zephyrproject-rtos/west")
|
||
(synopsis "Zephyr RTOS Project meta-tool")
|
||
(description "West is the swiss-army knife command line tool of the Zephyr
|
||
project. Its built-in commands provide a multiple repository management
|
||
system with features inspired by Google’s Repo tool and Git submodules. West
|
||
simplifies configuration and is also pluggable: you can write your own west
|
||
\"extension commands\" which add additional features to west. Zephyr uses
|
||
this feature to provide conveniences for building applications, flashing and
|
||
debugging them, and more.")
|
||
(license license:expat)))
|
||
|
||
(define-public ebusd
|
||
(package
|
||
(name "ebusd")
|
||
(version "3.4")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/john30/ebusd")
|
||
(commit (string-append "v" version))))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0iva70bam7wdx60bpd3an9kxr28zxlvp3vprivgqshwwdhqa0hzp"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'install 'install-config
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((config-destination
|
||
(string-append (assoc-ref outputs "out")
|
||
"/share/ebusd")))
|
||
(copy-recursively (string-append (assoc-ref inputs "config")
|
||
"/ebusd-2.1.x")
|
||
config-destination)
|
||
#t))))))
|
||
(inputs
|
||
(list mosquitto))
|
||
(native-inputs
|
||
`(("automake" ,automake)
|
||
("autoconf" ,autoconf)
|
||
("config"
|
||
,(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/john30/ebusd-configuration")
|
||
(commit "666c0f6b9c4d7545eff7f43ab28a1c7baeab7913")))
|
||
(file-name "config-checkout")
|
||
(sha256
|
||
(base32
|
||
"0yxnx8p4lbk614l16854r9s9d8s9c7ixgczfs8mph94xz0wkda7x"))))))
|
||
(synopsis "Daemon for communicating with eBUS devices")
|
||
(description "This package provides @command{ebusd}, a daemon for
|
||
handling communication with eBUS devices connected to a 2-wire bus system
|
||
(\"energy bus\" used by numerous heating systems).")
|
||
(home-page "https://ebusd.eu/")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public ucsim
|
||
(package
|
||
(name "ucsim")
|
||
(version "0.7.1")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"http://mazsola.iit.uni-miskolc.hu/ucsim/download/unix/"
|
||
"source/v" (version-major+minor version) ".x/"
|
||
"ucsim-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"080471wvkjdzxz5j3zdaq1apjcj84ql50kn26b7p4ansixnimml4"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'patch-makefiles
|
||
(lambda _
|
||
(substitute* (find-files "." "(\\.mk$|\\.in$)")
|
||
(("/bin/sh") (which "sh"))))))))
|
||
(inputs
|
||
(list ncurses))
|
||
(native-inputs
|
||
(append (list bison flex)
|
||
;; Certain tests use assemblers provided by SDCC.
|
||
(if (not (%current-target-system))
|
||
(list sdcc)
|
||
'())))
|
||
(home-page "http://mazsola.iit.uni-miskolc.hu/ucsim/")
|
||
(synopsis "Simulators for various microcontroller families")
|
||
(description "μCsim is a collection of software simulators for
|
||
microcontrollers in the Atmel AVR; Intel MCS-51 (8051); MOS Technology 6502;
|
||
Motorola 6800, 68HC08 and 6809; P1516; Padauk PDK13, PDK14 and PDK15;
|
||
STMicroelectronics ST7 and STM8; Xilinx PicoBlaze; and Zilog Z80 families,
|
||
plus many of their variants.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public sdcc
|
||
(package
|
||
(name "sdcc")
|
||
(version "4.2.0")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"mirror://sourceforge/sdcc/sdcc"
|
||
"/" version "/sdcc-src-" version ".tar.bz2"))
|
||
(sha256
|
||
(base32
|
||
"0ly0m3q9vzjb9kcfjh79s77wpl4w7xhybzy4h9x0bmmw4cfsx6xl"))
|
||
(modules '((guix build utils)))
|
||
(snippet
|
||
'(begin
|
||
;; Remove non-free source files
|
||
(delete-file-recursively "device/non-free")
|
||
;; Remove bundled μCsim source
|
||
(delete-file-recursively "sim")
|
||
#t))
|
||
(patches (search-patches "sdcc-disable-non-free-code.patch"))))
|
||
(build-system gnu-build-system)
|
||
(inputs
|
||
(list readline))
|
||
(native-inputs
|
||
(list bison boost flex python-2 texinfo zlib))
|
||
(arguments
|
||
`(;; GPUTILS is required for the PIC ports, but the licensing status of
|
||
;; some of the files contained in its distribution is unclear (see
|
||
;; https://issues.guix.gnu.org/44557). For this reason it is not yet
|
||
;; available as a package in Guix.
|
||
#:configure-flags
|
||
'("--disable-pic14-port" "--disable-pic16-port" "--disable-ucsim")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'patch-makefiles
|
||
(lambda _
|
||
(substitute* (find-files "." "(\\.mk$|\\.in$)")
|
||
(("/bin/sh") (which "sh")))
|
||
;; --disable-ucsim disables sdcc-misc, patch it back in.
|
||
(substitute* "Makefile.in"
|
||
(("debugger/mcs51" line)
|
||
(string-append line "\n"
|
||
"TARGETS += sdcc-misc\n"
|
||
"PKGS += $(SDCC_MISC)")))
|
||
#t)))))
|
||
(home-page "https://sdcc.sourceforge.net")
|
||
(synopsis "C compiler suite for 8-bit microcontrollers")
|
||
(description "SDCC is a retargetable, optimizing Standard C compiler suite
|
||
that targets 8-bit microcontrollers in the Intel MCS-51 (8051); MOS Technology
|
||
6502; Motorola 68HC08; Padauk PDK13, PDK14 and PDK15; STMicroelectronics STM8;
|
||
and Zilog Z80 families, plus many of their variants.")
|
||
(license (list license:gpl2+
|
||
license:gpl3+
|
||
license:lgpl2.0+
|
||
license:lgpl2.1+
|
||
license:lgpl3+
|
||
license:public-domain
|
||
license:zlib))))
|
||
|
||
(define-public python-psptool
|
||
(package
|
||
(name "python-psptool")
|
||
(version "2.2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "psptool" version))
|
||
(sha256
|
||
(base32
|
||
"1kx0xpfx67m4zclk4gs97wiwjms8i7z4f6b6m68y8sfgpshy4rf3"))
|
||
(modules '((guix build utils)))
|
||
(snippet
|
||
'(begin
|
||
;; IPython is not used by the package at all
|
||
(substitute* '("psptool/directory.py" "psptool/entry.py")
|
||
(("from IPython.*") ""))))))
|
||
(build-system python-build-system)
|
||
(propagated-inputs
|
||
(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")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public agent-proxy
|
||
(let ((commit "8927798a71d246871ea8fc22b4512296a3fa1765")
|
||
(revision "0"))
|
||
(package
|
||
(name "agent-proxy")
|
||
(version (git-version "1.98" revision commit))
|
||
(home-page
|
||
"https://git.kernel.org/pub/scm/utils/kernel/kgdb/agent-proxy.git")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference (url home-page) (commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1bxkzwsqfld4pknmiq8j3k55pv90n8s6kzh0xh42bhy2jv1wxz2z"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(add-after 'build 'build-kdmx
|
||
(lambda _
|
||
(invoke "make" "-C" "kdmx")
|
||
#t))
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((bin (string-append (assoc-ref outputs "out") "/bin")))
|
||
(install-file "agent-proxy" bin)
|
||
(install-file "kdmx/kdmx" bin)
|
||
#t))))))
|
||
(synopsis "Proxies to run kgdb/gdbserver and console on a serial port")
|
||
(description "These programs are proxies allowing to run kgdb/gdbserver
|
||
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.53.0")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "mbed-tools" version))
|
||
(sha256
|
||
(base32
|
||
"0gdmyxy97bqr9bmkg90v3axmrr2db734nwzq2l05z84x9qiarc9i"))))
|
||
(arguments
|
||
`(#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'relax-requirements
|
||
(lambda _
|
||
(substitute* "setup.py"
|
||
(("\"Click>=7.1,<8\"")
|
||
"\"Click>=7.1\""))))
|
||
(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)))
|
||
|
||
(define-public ts4900-utils
|
||
;; There are no proper release nor tag; use the latest commit.
|
||
(let ((revision "0")
|
||
(commit "e10a12f8050d1d1229e711c7cfab8a0d5d93ee58"))
|
||
(package
|
||
(name "ts4900-utils")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/embeddedTS/ts4900-utils")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1vr8i425qijbwgbc10av3wr35p3x11wy6y442w0ja0yny7si8wp8"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs (list autoconf automake))
|
||
(home-page "https://github.com/embeddedTS/ts4900-utils")
|
||
(synopsis "Utilities for the TS-4900 board family")
|
||
(description "This package contains utilities useful for boards of the
|
||
TS-4900 family. The included commands are:
|
||
@itemize @code
|
||
@item adc8390
|
||
@item gpioctl
|
||
@item isl12020rtc
|
||
@item load_fpga
|
||
@item nvramctl
|
||
@item tshwctl
|
||
@item tsmicroctl
|
||
@item tsmicroupdate
|
||
@item tssilomon
|
||
@end itemize")
|
||
(license license:bsd-2))))
|