diff options
Diffstat (limited to 'gn')
| -rw-r--r-- | gn/packages/riscv.scm | 9 |
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") |