<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body smarttemplateinserted="true" text="#000000" bgcolor="#FFFFFF">
<div id="smartTemplate4-template">I am not using Cygwin, but would
it be related with this:<br>
<a class="moz-txt-link-freetext" href="https://caml.inria.fr/mantis/view.php?id=7268">https://caml.inria.fr/mantis/view.php?id=7268</a><br>
<a class="moz-txt-link-freetext" href="https://github.com/alainfrisch/flexdll">https://github.com/alainfrisch/flexdll</a><br>
<br>
(Alain Frisch seems to be one of the persons maintaining
flexdll...)<br>
<br>
Frédéric<br>
<br>
<p>Fri, 6 Oct 2017 16:38:54 +0200, Makarius : </p>
</div>
<br>
<blockquote type="cite"
cite="mid:80db6744-bbf9-b05f-102e-5d8469987c2d@sketis.net">
<pre wrap="">We are moving towards uniform x86_64 support in Windows, including
x86_64-cygwin (which is likely to behave better concerning infamous "DLL
rebase" problems).
Presently (e.g. in Isabelle/0b3fa8e22f22) this causes a new problem with
OCaml, see also my thread on the Cygwin mailing list:
<a class="moz-txt-link-freetext" href="https://cygwin.com/ml/cygwin/2017-10/msg00037.html">https://cygwin.com/ml/cygwin/2017-10/msg00037.html</a>
$ ocaml nums.cma
Cannot load required shared library dllnums.
Reason: /usr/lib/ocaml/stublibs/dllnums.so: flexdll error: cannot
relocate RELOC_REL32, target is too far: 0xfffffffc02c4c753 0x2c4c753.
I am unsure what the situation of OCaml on Cygwin64 really is.
Maybe some OCaml expert can say more about it.
Makarius
_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>