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 https://github.com/alainfrisch/flexdll/releases/tag/0.35 > The Windows platform is a bit strange, but there are usually many ways > to get things through eventually. > > > > Would it make sense to push the source code only, with no binary component, > > for Isabelle2016-1? It's about 2000 lines of code and could go to > > "Library". Or would a Linux/Mac-only binary component be acceptable for > > such a (for the moment, experimental) tool? Otherwise, we can wait for the > > next release. > -- Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6
signature.asc
Description: PGP signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
