gentoo-overlay/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch

--- a/Makefile.in	2023-04-02 22:54:43.160504917 +0200
+++ b/Makefile.in	2023-04-02 22:55:05.194152231 +0200
@@ -9,6 +9,8 @@
 #                                                                  #
 ####################################################################
 
+.NOTPARALLEL:
+
 VERBOSEMAKE ?= @enable_verbose_make@
 
 ifeq ($(VERBOSEMAKE),yes)