1 files changed, 13 insertions, 0 deletions
diff --git a/sci-mathematics/acl2/files/acl2-use_make_variable.patch b/sci-mathematics/acl2/files/acl2-use_make_variable.patch
new file mode 100644
index 000000000..32e0f05da
--- /dev/null
+++ b/sci-mathematics/acl2/files/acl2-use_make_variable.patch
@@ -0,0 +1,13 @@
+use make variable to avoid QA issue: "make[1]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule"
+
+--- a/GNUmakefile
++++ b/GNUmakefile
+@@ -576,7 +576,7 @@ doc/home-page.html: doc/home-page.lisp
+ # xdoc::save that populates doc/manual/ (not under books/).
+ acl2-manual: check-books
+ 	rm -rf doc/manual books/system/doc/acl2-manual.cert
+-	cd books ; make USE_QUICKLISP=1 system/doc/acl2-manual.cert
++	cd books ; $(MAKE) USE_QUICKLISP=1 system/doc/acl2-manual.cert
+ 	rm -rf doc/manual/download/*
+ 
+ # WARNING: The dependency list just below isn't complete, since it