Email Gateway (Aug 22 2022 at 15:27): Email Gateway (Aug 22 2022 at 15:27):From: Nedim Muminovic <nedimm@outlook.com>
Hi,
I am having trouble with installation. My OS is Windows 10 (Creators update). When I try to run Isabelle 64 bit I get following message:
1 [main] bash (8552) C:\Users\Nedim\Documents\Isabelle2016-1\contrib\cygwin\bin\bash.exe: *** fatal error - cygheap base mismatch detected - 0x11A9408/0x1269408.
This problem is probably due to using incompatible versions of the cygwin DLL.
Search for cygwin1.dll using the Windows Start->Find/Search facility
and delete all but the most recent version. The most recent version should
reside in x:\cygwin\bin, where 'x' is the drive on which you have
installed the cygwin distribution. Rebooting is also suggested if you
are unable to find another cygwin DLL.
0 [main] bash 5452 fork: child -1 - forked process 8552 died unexpectedly, retry 0, exit code 0xC0000142, errno 11
/etc/profile: fork: retry: No child processes
1 [main] bash (5812) C:\Users\Nedim\Documents\Isabelle2016-1\contrib\cygwin\bin\bash.exe: *** fatal error - cygheap base mismatch detected - 0x11A9408/0xF99408.
This problem is probably due to using incompatible versions of the cygwin DLL.
Search for cygwin1.dll using the Windows Start->Find/Search facility
and delete all but the most recent version. The most recent version should
reside in x:\cygwin\bin, where 'x' is the drive on which you have
installed the cygwin distribution. Rebooting is also suggested if you
are unable to find another cygwin DLL.
1151235 [main] bash 5452 fork: child -1 - forked process 5812 died unexpectedly, retry 0, exit code 0xC0000142, errno 11
/etc/profile: fork: retry: No child processes
1 [main] bash (11060) C:\Users\Nedim\Documents\Isabelle2016-1\contrib\cygwin\bin\bash.exe: *** fatal error - cygheap base mismatch detected - 0x11A9408/0x1149408.
This problem is probably due to using incompatible versions of the cygwin DLL.
Search for cygwin1.dll using the Windows Start->Find/Search facility
and delete all but the most recent version. The most recent version should
reside in x:\cygwin\bin, where 'x' is the drive on which you have
installed the cygwin distribution. Rebooting is also suggested if you
are unable to find another cygwin DLL.
3207234 [main] bash 5452 fork: child -1 - forked process 11060 died unexpectedly, retry 0, exit code 0xC0000142, errno 11
/etc/profile: fork: retry: No child processes
1 [main] bash (11448) C:\Users\Nedim\Documents\Isabelle2016-1\contrib\cygwin\bin\bash.exe: *** fatal error - cygheap base mismatch detected - 0x11A9408/0x11B9408.
This problem is probably due to using incompatible versions of the cygwin DLL.
Search for cygwin1.dll using the Windows Start->Find/Search facility
and delete all but the most recent version. The most recent version should
reside in x:\cygwin\bin, where 'x' is the drive on which you have
installed the cygwin distribution. Rebooting is also suggested if you
are unable to find another cygwin DLL.
7260234 [main] bash 5452 fork: child -1 - forked process 11448 died unexpectedly, retry 0, exit code 0xC0000142, errno 11
/etc/profile: fork: retry: No child processes
2 [main] bash (11004) C:\Users\Nedim\Documents\Isabelle2016-1\contrib\cygwin\bin\bash.exe: *** fatal error - cygheap base mismatch detected - 0x11A9408/0x13D9408.
This problem is probably due to using incompatible versions of the cygwin DLL.
Search for cygwin1.dll using the Windows Start->Find/Search facility
and delete all but the most recent version. The most recent version should
reside in x:\cygwin\bin, where 'x' is the drive on which you have
installed the cygwin distribution. Rebooting is also suggested if you
are unable to find another cygwin DLL.
15333671 [main] bash 5452 fork: child -1 - forked process 11004 died unexpectedly, retry 0, exit code 0xC0000142, errno 11
/etc/profile: fork: Resource temporarily unavailable
As far as I know there is only one file, so it is not possible to have two versions of same file.
Best regards,
Nedim
Email Gateway (Aug 22 2022 at 15:27):From: Makarius <makarius@sketis.net>
This looks like one of these "rebase" problems of Cygwin. In principle
the bundled Cygwin of Isabelle should be OK with its automatic
invocation of rebaseall on first startup, but there might be corner
cases that don't work.
Searching the web for Cygwin rebase issues on Windows 10, I get the
impression that a proper reboot of the OS could be sufficient, although
part of the problem is that Windows 10 uses suspend/resume by default.
So if a plain restart does not help, here are some hints to force a true
shutdown
http://windowsten.info/tutorials/5767-how-to-fully-shut-down-windows-10
and thus have a really clean restart afterwards.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC