aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArun Isaac2022-05-03 13:39:47 +0530
committerArun Isaac2022-05-03 13:39:47 +0530
commit2aeeaf881219222bbbb50a242842bb7a91b91250 (patch)
treed3851cf83db79866dcae63e4779eba45bc45fb63
parent5fd6515c46e9890480bdc1136216eed72884fcc3 (diff)
downloadguix-bioinformatics-2aeeaf881219222bbbb50a242842bb7a91b91250.tar.gz
gn: cva6: Set #:make-flags instead of overriding the build phase.
* gn/packages/riscv.scm (cva6)[arguments]: Set #:make-flags instead of overriding the build phase.
-rw-r--r--gn/packages/riscv.scm9
1 files changed, 3 insertions, 6 deletions
diff --git a/gn/packages/riscv.scm b/gn/packages/riscv.scm
index 8c7c76a..ae4a72e 100644
--- a/gn/packages/riscv.scm
+++ b/gn/packages/riscv.scm
@@ -58,6 +58,9 @@
(arguments
(list
#:tests? #f
+ #:make-flags #~(list "verilate"
+ ;; Dummy RISCV to suppress Makefile error.
+ "RISCV=foo")
#:phases
#~(modify-phases %standard-phases
;; Patch cva6 to print to stdout correctly. See
@@ -68,12 +71,6 @@
(("rvfi_i\\[i\\].insn == 32'h00000073")
"0"))))
(delete 'configure)
- (replace 'build
- (lambda _
- (invoke "make" "verilate"
- (string-append "-j" (number->string (parallel-job-count)))
- ;; Set dummy RISCV to suppress Makefile error.
- "RISCV=foo")))
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(let ((bin (string-append (assoc-ref outputs "out")