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

[Pascal Obry]

Jocelyn,

> 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.

Old stuff!

> 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.

No it is fine to use make 3.81 now.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595