[isabelle-dev] cygwin problem
pdf23ds at gmail.com
Tue Apr 21 21:31:18 CEST 2009
I just tried building Isabelle from a new machine, and somehow my
Cygwin got configured to make its home directory
/cygdrive/c/Documents\ and\ Settings/chris. I have the isabelle
sources there. The directory name having spaces seems to be a problem
in IsaMakefile, leading to a whole string of messages like this at
various line numbers:
IsaMakefile:204: warning: overriding commands for target `/cygdrive/c/Documents'
IsaMakefile:116: warning: ignoring old commands for target
If this is the default configuration of Cygwin nowadays (and I'm
pretty sure I didn't change anything away from the default) then it's
probably worth fixing.
"What is it like to be a bat? What is it like to bat a bee? What is it
like to be a bee being batted? What is it like to be a batted bee?"
-- The Mind's I (Hofstadter, Dennet)
More information about the isabelle-dev