diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-07 14:14:50 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-07 20:12:37 -0400 |
| commit | 06d82f8dab07fd95e7fbd112c4f19c754cd2fec0 (patch) | |
| tree | 563cac58e5b91b1f27bfc7792506bbbb4de21b8b | |
| parent | f80a606c6fe691ba111c65d04e345d0390315eb3 (diff) | |
Added build-flags and test-flags for serial build and check phases.
Change-Id: I171f0ab64e431567749341472ce27ddce5297aa6
| -rw-r--r-- | gnu/packages/rocq.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gnu/packages/rocq.scm b/gnu/packages/rocq.scm index 30fa2f0024a..2d0be38ff9d 100644 --- a/gnu/packages/rocq.scm +++ b/gnu/packages/rocq.scm @@ -23,7 +23,6 @@ #:use-module (gnu packages multiprecision) #:use-module (gnu packages ocaml) #:use-module (guix build-system dune) - #:use-module (guix build-system gnu) #:use-module (guix gexp) #:use-module (guix git-download) #:use-module (guix licenses) @@ -50,7 +49,7 @@ (add-before 'build 'make-dunestrap (lambda _ (invoke "make" "DUNEOPT=-j1" "dunestrap"))))) -(define-public rocq-runtime +(define rocq-template (package (name "rocq-runtime") (version "9.2.0") @@ -72,7 +71,9 @@ (arguments (list #:package "rocq-runtime" - #:phases rocq-phases)) + #:phases rocq-phases + #:build-flags ''("-j1") + #:test-flags ''("-j1"))) (propagated-inputs (list ocaml-zarith camlzip ocaml-lablgtk3-sourceview3 ocaml-yojson)) (inputs (list gmp)) |