Re: [isabelle] Build problems on Windows



On Tue, 15 Sep 2015, Lars Hupel wrote:

Unknown logic "Codec" -- no heap file found in:

(This is using PIDE 'isabelle.Build.build', not the command line
'isabelle build'.)

What happens with the shell command-line tool?


The same happens when building in system mode. What's strange is that
the "Codec" session doesn't list its theory files (verbose is on).

The log file looks like nothing actually happened. Somehow the build process was aborted, shortly after starting up the ML process.


It works just fine on another Windows box. Any ideas?

Environment: 32 bit, Windows Server 2012 R2

Does the other Windows box have the same version of Windows?


	Makarius




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