diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2016-12-25 21:56:42 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2017-01-01 13:56:28 +0100 |
commit | 3ebc86d9bd57b3e41e8d14d9ef54b1ed7bebf230 (patch) | |
tree | c54e945ef3b35a6f476aec633fc483e47a04ac2c | |
parent | 0a7860c4383b3b891d3d22acfe1c454d74210cd0 (diff) | |
download | guix-3ebc86d9bd57b3e41e8d14d9ef54b1ed7bebf230.tar.gz |
gnu: Add spinsim.
* gnu/packages/embedded.scm (spinsim): New variable.
-rw-r--r-- | gnu/packages/embedded.scm | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index c78054d12c..f44c7be3c1 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm @@ -663,3 +663,39 @@ 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.git") + (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)))) + |