aboutsummaryrefslogtreecommitdiff
path: root/gn
diff options
context:
space:
mode:
authorArun Isaac2022-04-01 15:25:59 +0530
committerArun Isaac2022-04-01 15:25:59 +0530
commit7f1facbadde5e31fcbde36a70c4cb29d281f216f (patch)
tree81e96ced19e33b3eab1709320248c9302b6d5cad /gn
parent54a2df5f391c4bd367a4a7475a04297e907c137b (diff)
downloadguix-bioinformatics-7f1facbadde5e31fcbde36a70c4cb29d281f216f.tar.gz
gn: riscv-pk: Remove package.
riscv-pk has been upstreamed. * gn/packages/virtualization.scm: Do not import (guix build-system gnu) and (gnu packages cross-base). (riscv-pk): Delete variable.
Diffstat (limited to 'gn')
-rw-r--r--gn/packages/virtualization.scm50
1 files changed, 0 insertions, 50 deletions
diff --git a/gn/packages/virtualization.scm b/gn/packages/virtualization.scm
index 0613e20..5c08f11 100644
--- a/gn/packages/virtualization.scm
+++ b/gn/packages/virtualization.scm
@@ -5,13 +5,11 @@
#:use-module (guix packages)
#:use-module (guix download)
#:use-module (guix git-download)
- #:use-module (guix build-system gnu)
#:use-module (guix build-system scons)
#:use-module (gnu packages)
#:use-module (gnu packages boost)
#:use-module (gnu packages compression)
#:use-module (gnu packages cpp)
- #:use-module (gnu packages cross-base)
#:use-module (gnu packages graphviz)
#:use-module (gnu packages image)
#:use-module (gnu packages m4)
@@ -20,54 +18,6 @@
#:use-module (gnu packages python)
#:use-module (gnu packages python-xyz))
-(define-public riscv-pk
- (package
- (name "riscv-pk")
- (version "1.0.0")
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/riscv-software-src/riscv-pk")
- (commit (string-append "v" version))))
- (file-name (git-file-name name version))
- (sha256
- (base32 "1cc0rz4q3a1zw8756b8yysw8lb5g4xbjajh5lvqbjix41hbdx6xz"))))
- (build-system gnu-build-system)
- (arguments
- (list
- #:out-of-source? #t
- ;#:configure-flags
- ;#~(list "--host=riscv64-linux-gnu")
- #:target "riscv64-linux-gnu"
- ;; Add flags to keep symbols fromhost and tohost. These symbols are
- ;; required for the correct functioning of pk.
- #:strip-flags '(list "--strip-unneeded"
- "--keep-symbol=fromhost"
- "--keep-symbol=tohost"
- "--enable-deterministic-archives")
- #:phases
- #~(modify-phases %standard-phases
- (add-after 'unpack 'force-install-directory
- (lambda _
- (substitute* "Makefile.in"
- (("\\$\\(install_subdir\\)") "")))))))
- (native-inputs
- (if (not (string-prefix? "riscv64" (%current-system)))
- (list (cross-gcc "riscv64-linux-gnu")
- (cross-binutils "riscv64-linux-gnu"))
- '()))
- (home-page "https://github.com/riscv-software-src/riscv-pk")
- (synopsis "RISC-V Proxy Kernel")
- (description "The RISC-V Proxy Kernel, @code{pk}, is a lightweight
-application execution environment that can host statically-linked RISC-V ELF
-binaries. It is designed to support tethered RISC-V implementations with
-limited I/O capability and and thus handles I/O-related system calls by proxying
-them to a host computer. This package also contains the Berkeley Boot Loader,
-@code{bbl}, which is a supervisor execution environment for tethered RISC-V
-systems. It is designed to host the RISC-V Linux port.")
- (license license:bsd-3)))
-
(define-public gem5
(package
(name "gem5")