diff options
| -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)) |