Re: [isabelle] "isabelle make" in windows-RC2
On Mon, 14 May 2012, Michael Norrish wrote:
The problem here is make, because it is inherently incapable of working
with spaces in file names.
This is inherently not true. Make has many infelicities but this is not
one of them. On Windows, you may also need to use the "call" command in
order to get your command-lines to work.
I did not know these tricks. Last time when we made an effort to improve
the situation was in 2004, and it was not possible to escape. But it also
means that it becomes again dependent on precise make versions -- there
are too many of them.
Anyway, I will make an effort to get rid of the static makefiles for the
next Isabelle release, or the one after it ...
This archive was generated by a fusion of
Pipermail (Mailman edition) and