[isabelle] Build problems on Windows



Dear list,

I'm seeing a strange problem when building under Windows:

Session Pure/Pure
Session Unsorted/Codec
Session Unsorted/Protocol2015
Building Pure ...
chmod:
/cygdrive/c/Users/appveyor/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin/Pure:
new permissions are r--rwxr--, not r--r-xr--
Finished Pure (0:00:25 elapsed time, 0:00:13 cpu time, factor 0.52)
Building Codec ...
Finished Codec (0:00:04 elapsed time, 0:00:00 cpu time)
Building Protocol2015 ...
Unknown logic "Codec" -- no heap file found in:

/cygdrive/c/Users/appveyor/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin

/cygdrive/c/projects/libisabelle/contrib/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin
Protocol2015 FAILED
(see also
C:\Users\appveyor\.isabelle\Isabelle2015\heaps\polyml-5.5.2_x86-cygwin\log\Protocol2015)

Unfinished session(s): Protocol2015

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

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). It
works just fine on another Windows box. Any ideas?

Environment: 32 bit, Windows Server 2012 R2

Cheers
Lars




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