Re: [isabelle] RC3: new installation isn't interested in building target, only dependencies?

On Mon, 11 Feb 2013, Rafal Kolanski wrote:

On 11/02/13 20:31, Christian Sternagel wrote:
On 02/11/2013 06:07 PM, Rafal Kolanski wrote:
I am assuming that the intended semantics for the "isabelle build"
command is to actually build the specified target.
I was told that it is not ;)

Ah. I heard rumors of something like that. Silly assumptions. My bad.

You have to explicitly give the "-b" flag for building, [...]

hope this helps

It does. Thank you for such a quick response!

There is also the Isabelle system manual, with a whole chapter on Isabelle sessions and build management, including real-life examples.

I'll go back to fixing wwwfind now, which definitely does not work.

You have approx. 24h left. I had reported its broken state almost 3 months ago. The Isabelle2013 release train will not wait for latecomers.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.