|
@@ -297,6 +297,12 @@ fi;
|
|
|
echo "gettext installed: Ok"
|
|
|
|
|
|
|
|
|
+#############################################################
|
|
|
+#
|
|
|
+# check build system 'makeinfo'
|
|
|
+#
|
|
|
+#############################################################
|
|
|
+
|
|
|
if ! which makeinfo > /dev/null ; then \
|
|
|
echo "makeinfo installed: FALSE"
|
|
|
/bin/echo -e "\n\nMost likely some packages will fail to build their documentation"
|
|
@@ -306,6 +312,17 @@ else
|
|
|
echo "makeinfo installed: Ok"
|
|
|
fi
|
|
|
|
|
|
+#############################################################
|
|
|
+#
|
|
|
+# check build system 'patch'
|
|
|
+#
|
|
|
+#############################################################
|
|
|
+if ! which patch > /dev/null ; then \
|
|
|
+ echo "patch installed: FALSE"
|
|
|
+ /bin/echo -e "\n\nYou must install 'patch' on your build machine\n"; \
|
|
|
+ exit 1; \
|
|
|
+fi;
|
|
|
+echo "patch installed: Ok"
|
|
|
|
|
|
#############################################################
|
|
|
#
|