Dear Achim and Brian,
Thank you very much for you suggestions. And as Achim guessed, I was trying
to build a ocaml based library: Menhir. Currently, my problem is still not
solved.
If I try:
-------
echo /usr/lib/ocaml/stublibs/ > /var/lib/rebase/dynpath.d/ocaml
-------
and then rebase, I get the following error:
-------
Fatal error: cannot load shared library dllunix
Reason: flexdll error: cannot relocate RELOC_REL32, target is too far:
0xfffffffc02088b5f 0x2088b5f
-------
I also tried to check whether BLODA is involved. I use
-------
export CYGWIN=detect_bloda
-------
But when I compile menhir, I get the same error message about fork() and
dllunix.so, but no bloda is detected. Also, if I try to search
"dllunix.so", I find the following instances:
-------
/lib/ocaml/stublibs/dllunix.so
/usr/lib/ocaml/stublibs/dllunix.so
/proc/sys/KernelObjects/HighCommitCondition/dllunix.so
/proc/sys/KernelObjects/HighMemoryCondition/dllunix.so
/proc/sys/KernelObjects/LowCommitCondition/dllunix.so
/proc/sys/KernelObjects/LowMemoryCondition/dllunix.so
/proc/sys/KernelObjects/MaximumCommitCondition/dllunix.so
/proc/sys/KernelObjects/MemoryErrors/dllunix.so
/proc/sys/KernelObjects/PhysicalMemoryChange/dllunix.so
--------
Is there a duplication there? I don't think I manually add any of these.
Best,
Qinxiang Cao
Shanghai Jiao Tong University, John Hopcroft Center
Room 1110-2, SJTUSE Building
800 Dongchuan Road, Shanghai, China, 200240
On Tue, Mar 3, 2020 at 1:33 AM Achim Gratz <strom...@nexgo.de> wrote:
> Brian Inglis writes:
> > Try what's documented in /usr/share/doc/Cygwin/_autorebase.README for
> DLLs under
> > non-standard system paths:
>
> …which by some extension means you shouldn't add system paths.
>
> > create a file /var/lib/rebase/dynpath.d/ocaml containing your .so
> directory path
> > /usr/lib/ocaml/stublibs/:
>
> Don't. The OCaml stublibs must not be rebased.
>
>
> Regards,
> Achim.
> --
> +<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+
>
> SD adaptation for Waldorf rackAttack V1.04R1:
> http://Synth.Stromeko.net/Downloads.html#WaldorfSDada
>
> --
> Problem reports: http://cygwin.com/problems.html
> FAQ: http://cygwin.com/faq/
> Documentation: http://cygwin.com/docs.html
> Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
>
>
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
