From 06d82f8dab07fd95e7fbd112c4f19c754cd2fec0 Mon Sep 17 00:00:00 2001
From: Dan Rostovtsev <dan@rostovtsev.org>
Date: Tue, 7 Apr 2026 14:14:50 -0400
Subject: Added build-flags and test-flags for serial build and check phases.

Change-Id: I171f0ab64e431567749341472ce27ddce5297aa6
---
 gnu/packages/rocq.scm | 7 ++++---
 1 file 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))
-- 
cgit v1.3