Re: [isabelle-dev] Towards the release

2016-10-25 Thread Makarius
On 25/10/16 14:29, Jasmin Blanchette wrote: > >> The Windows platform is a bit strange, but there are usually many ways >> to get things through eventually. > > Simon has found a way to avoid "ocamlbuild". It looks like we'll be able to > have the three binaries in place before the branch.

Re: [isabelle-dev] Towards the release

2016-10-25 Thread Jasmin Blanchette
Hi Makarius, > The Windows platform is a bit strange, but there are usually many ways > to get things through eventually. Simon has found a way to avoid "ocamlbuild". It looks like we'll be able to have the three binaries in place before the branch. Nonetheless, Nunchaku will remain labeled as

Re: [isabelle-dev] Towards the release

2016-10-25 Thread Simon Cruanes
Le Mon, 24 Oct 2016, Makarius a écrit : > Maybe we can sort out these problems now, within the next few weeks. Is > there a tracker item or other place to see this ocamlbuild isse? https://github.com/ocaml/ocamlbuild/issues/104 and the corresponding flexdll release