From 069bc2cb8cf9500502316fb447d863b535f82f7b Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 25 Feb 2025 15:25:05 +0100
Subject: [PATCH] Add NOTPARALLEL to Makefile

To avoid dune issues
---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 5f9a8bdbf..1d8225489 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,10 @@ dune_wrap = $(shell command -v coqc > /dev/null || echo "etc/with-rocq-wrap.sh")
 dune = $(dune_wrap) dune $(1) $(DUNE_$(1)_FLAGS --stop-on-first-error
 DUNE_IN_FILES = $(shell find . -name "dune.in" | sed -e 's/.in$$//')
 
+# This makefile is mostly calling dune and dune doesn't like
+# being called in parralel, so we enforce -j1
+.NOTPARALLEL:
+
 all: $(DUNE_IN_FILES)
 	$(call dune,build)
 	$(call dune,build) builtin-doc