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
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and