[AWS] For installing on Windows, use make 3.81 or 3.80?

[Jocelyn Paine]

Pascal's posting for 19th July 2006 ,
http://lists.adacore.com/pipermail/aws/2006-July/000625.html , says that
when installing AWS under Windows, the Cygwin GNU make version 3.81
doesn't work, so we should use version 3.80.

Pascal, is this still true, or have you changed the AWS makefiles so
they work with 3.81? I looked in the AWS User's Guide at
https://libre.adacore.com/aws/aws-gpl-2.3.0.html , and in the INSTALL file
in the top-level AWS directory, but didn't notice anything that told me to
use 3.80.

I found information about how to get make 3.80 at
a page about building Mozilla:
http://developer.mozilla.org/en/Windows_build_prerequisites_using_cygwin
. This says you can download make 3.80 from Paracoda at
http://cygwin.paracoda.com/release/make/make-3.80-1.tar.bz2 . You can then
get it into Cygwin by opening a Cygwin command window and typing the
commands:
  cd /
  tar xjf /cygdrive/c/where-your-download-is/make-3.80-1.tar.bz2
  bin/make.exe --version
This, the page said, will place make.exe in your %cygwin%\bin\ directory.
You need to do this because make version 3.80 isn't available from the
Cygwin installer: only 3.81 is.

These instructions did indeed install make 3.80 on my Windows machine.

Thanks,

Jocelyn Paine
http://www.j-paine.org
+44 (0)7768 534 091