[build] [hack] Sequential build.

Seems related to coq/coq#15608 and ocaml/dune#5833.
jscoq · Sep 3, 2022 · 1066d1a · 1066d1a
1 parent b753617
commit 1066d1a
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -5,9 +5,8 @@ WORKDIR = workdir
 .PHONY: all get
 
 all: $(WORKDIR)
-	# some Dune dependency mixup; build plugin first
-	dune build '%{cmxa:workdir/src/equations_plugin}'
-	dune build
+	# not parallel: some Dune dependency mixup with generating META file
+	dune build -j1
 
 get: $(WORKDIR)