[isabelle-dev] Segmentation faults
makarius at sketis.net
Wed May 29 15:18:46 CEST 2013
On Wed, 29 May 2013, Lawrence Paulson wrote:
> I have just taken a look at the crash logs, and it's clear that some
> dynamic libraries from a previous installation had got loaded along with
> the latest ones.
Where did you see that in the log?
There is the following near the end, but it looks fine so far:
0x1000 - 0x56aff7 +poly (???) <7513623B-C8EF-B2EE-7AB8-86D56D558A10> /Users/USER/*/poly
0x59b000 - 0x5fbfeb +libpolyml.4.dylib (5) <2E0AD632-82FD-C839-A4EF-7C7D917E4C07> /Users/USER/*/libpolyml.4.dylib
0x1100000 - 0x1102fff +libsha1.so (0) <F18686EA-3708-0005-8488-0829107C5FFB> /Users/USER/*/libsha1.so
Maybe /Users/USER/* is just some anonymized version of the real locations.
More information about the isabelle-dev