PR# 12701 Compiler issues VD80 warnings for config files not pointed to by environment variables

I compiled the sample graphical application, with same_uuid="true" specified
to enable this warning.  Prior to compilation, I deleted the EIFGENs tree and
~/.es directory.  The ISE_LIBRARY environment variable was not set.

The compiler reported the following warnings:

Warning code: VD80
Configuration warning


Two different configuration files have the same uuid:
/home/dave/eiffel/Eiffel6.0.68275/library/base/base.ecf
/home/dave/estudio/60dev/trunk/Src/library/base/base.ecf

-------------------------------------------------------------------------------
Warning code: VD80
Configuration warning


Two different configuration files have the same uuid:
/home/dave/eiffel/Eiffel6.0.68275/library/base/base.ecf
/home/dave/estudio/60dev/trunk/Src/library/base/base.ecf

-------------------------------------------------------------------------------
Warning code: VD80
Configuration warning


Two different configuration files have the same uuid:
/home/dave/eiffel/Eiffel6.0.68275/library/vision2/vision2.ecf
/home/dave/estudio/60dev/trunk/Src/library/vision2/vision2.ecf



Eiffel 6.0.68285 is installed in /home/dave/eiffel/Eiffel6.0.68275.
I built estudio from a checkout of svn in /home/dave/estudio/60dev/trunk.
When I built estudio, ISE_LIBRARY was set to 
/home/dave/estudio/60dev/trunk/Src, but when I ran the compiler I had
built ISE_LIBRARY was not set.

This seems like a bug to me.  Is the value of the ISE_LIBRARY environment
variable remembered when building the compiler?
I have attached a listing of my environment variables in case that sheds
some light on the matter.

No, I didn't get any such warning with either graphical IDE or command line
compiler.  Remember, ISE_LIBRARY was defined when I built estudio and then
was not defined when I ran the Eiffel compiler, which might be different than
a "change of environment variable value".

Also, if I did get a warning in such a case, it seems that I would always
get VD80 warnings for every build of EiffelStudio, since (at least when I
build it) ISE_LIBRARY is always set to a value that will be different from
ISE_EIFFEL when estudio is installed.

This behavior is correct. When loading the project after unsetting ISE_LIBRARY you should have seen some warnings stating that ISE_LIBRARY has changed and asking you if you want to continue or not. Wasn'it the case?

Attachments for problem report #12701