diff -urN MUMPS_5.4.0.orig/Makefile MUMPS_5.4.0/Makefile
--- MUMPS_5.4.0.orig/Makefile	2021-04-13 20:26:30.000000000 +0500
+++ MUMPS_5.4.0/Makefile	2021-04-18 10:46:39.868221100 +0500
@@ -11,23 +11,23 @@
 
 all: prerequisites
 	cd src; $(MAKE) all
-	cd examples; $(MAKE) all
+	#cd examples; $(MAKE) all
 
 s: prerequisites
 	cd src; $(MAKE) s
-	cd examples; $(MAKE) s
+	#cd examples; $(MAKE) s
 
 d: prerequisites
 	cd src; $(MAKE) d
-	cd examples; $(MAKE) d
+	#cd examples; $(MAKE) d
 
 c: prerequisites
 	cd src; $(MAKE) c
-	cd examples; $(MAKE) c
+	#cd examples; $(MAKE) c
 
 z: prerequisites
 	cd src; $(MAKE) z
-	cd examples; $(MAKE) z
+	#cd examples; $(MAKE) z
 
 
 # Is Makefile.inc available ?