summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xset_soenv.in24
1 files changed, 21 insertions, 3 deletions
diff --git a/set_soenv.in b/set_soenv.in
index 852818454db7..7ec8d3eabe8c 100755
--- a/set_soenv.in
+++ b/set_soenv.in
@@ -2093,11 +2093,29 @@ if ("@STALE_MAKE@" eq "TRUE" && $platform =~ m/cygwin/ ) {
print << 'EOS'
WARNING:
Your make version is known to be horribly slow, and hard to debug
-problems with. To get a reasonably functional make please run:
+problems with. To get a reasonably functional make please do:
-$ <three commands to be supplied by Norbert>
+to install a pre-compiled binary make for cygwin
+
+mkdir -p /opt/lo/bin
+cd /opt/lo/bin
+wget http://dev-www.libreoffice.org/bin/cygwin/make
+chmod +x make
+
+to install from source:
+place yourself in a working directory of you choice.
+
+git clone git://anongitfreedesktop.org/libreoffice/contrib/dev-tools
+cd dev-tools/make-3.82-gbuild
+./configure --prefix=/opt/lo
+make
+sudo make install
+
+Then re-run autogen.sh
+
+Note: autogen.sh will try to use /opt/lo/bin/make if the environment variable GNUMAKE is not already defined.
+Alternatively, you can install the 'new' make where ever you want and make sure that `which make` finds it.
-before building.
EOS
}