[isabelle-dev] cygwin problem

Chris Capel 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
`/cygdrive/c/Documents'

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.

Chris Capel
-- 
"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 mailing list