Thanks for your continuing attention to this; much appreciated.
Vincent Torri wrote, quoting me:
>> ac_default_prefix=`cd /usr/local && pwd -W`
>> in my config.site file. This would have identically the same
>> effect as that `CONFIGURE_OPTIONS` setting, (`win32path is a
>> function, which if PREFIX is set to /usr/local, effectively
>> expands to that same command).
> I've just tried on my computer:
> cd /usr/local && pwd -W
> the result is:
> win32path returns indeed the value of pwd -W, so the problem is
> that function.
The problem is *not* the win32path function -- it does exactly what
it is intended to.
The problem is with the assumption that a configure script running
under MSYS should always encode $prefix using native Woe32 semantics.
In the majority of cases, that is the recommended behaviour, and the
*default* behaviour in mingwPORT is to set it thus.
Unfortunately, there are some cases where this default is *not*
appropriate; building the autotools appears to be one such case.
In such cases, the mingwPORT *must* override the default assignment
of `CONFIGURE_OPTIONS', to ensure that POSIX semantics are preserved
in the assignment of $prefix. The problem is that your mingwPORT
didn't do this.
This is not intended as a criticism of anything you've done; this
functionality is still very much under development, and is, as yet,
undocumented -- you surely could not have been expected to know of
this requirement. Your work, and in particular your reporting of
the problems you encounter, is extremely valuable in helping us to
refine the mingwPORT framework; that's why I'm particularly keen
to know if overriding the assignment of `CONFIGURE_OPTIONS', by
setting it explicitly in mingwPORT.ini as
or maybe it needs extra quoting
does actually work as I expect, and resolves the issue for your
mingwPORT of autoconf-2.61.
> I don't really know the options of pwd (I have found no doc about the
> MSYS version), but it seems that there is 3 available parameters : P,
> L and W.
It's built into the shell, and accessible via the `help' command:
$ help pwd
pwd: pwd [-LPW]
Print the current working directory. With the -P option, pwd
prints the physical directory, without any symbolic links; the
-L option makes pwd follow symbolic links; the -W option makes
pwd print the Win32 value of the physical directory.
BTW, there are two reasons why I use a `win32path' function, rather
than simply invoking `pwd -W' directly:
1) `cd /path/for/prefix && pwd -W' fails, if `/path/for/prefix'
represents a directory which has yet to be created; the
function `win32path' catches that, and recursively decomposes
the path until it finds an initial prefix for which `pwd -W'
succeeds, then reassembles the full path, relative to the
result of that translation.
2) When I'm developing mingwPORTs, working on my GNU/Linux box,
I can redefine `win32path' in a mingwPORT.site file, so that
I can map a virtual Woe32 file system, for use by the port
code, without needing to modify that code itself.