I confirm that have the same problem. My system: amd64, Xubuntu 9.04 Jaunty Jackalope. I have installed mosml package which is required for HOL (http://hol.sourceforge.net). HOL installer (which uses mosml) crashes in the same way as described in this thread: ... Making tooks/mlyacc/src/mlyacc.exe /usr/bin//mosmlc -toplevel -c MLY_base-sig.sml /usr/bin//mosmlc -toplevel -c MLY_base-sig.ui MLY_join.sml *** glibc detected *** /usr/bin/camlrunm: double free or corruption (!prev): 0x0000000001b92000 *** ======= Backtrace: ========= /lib/libc.so.6[0x7f49a2381cb8] /lib/libc.so.6(cfree+0x76)[0x7f49a2384276] /usr/bin/camlrunm(alloc_shr+0x3b4)[0x40aaa4] /usr/bin/camlrunm(alloc_string+0xb7)[0x40aeb7] /usr/bin/camlrunm(interprete+0x1866)[0x4070d6] /usr/bin/camlrunm(main+0x2c4)[0x4092c4] /lib/libc.so.6(__libc_start_main+0xe6)[0x7f49a23285a6] /usr/bin/camlrunm[0x4057da] ======= Memory map: ======== 00400000-00417000 r-xp 00000000 08:01 167739 /usr/bin/camlrunm 00517000-00519000 rw-p 00017000 08:01 167739 /usr/bin/camlrunm 00519000-0051a000 rw-p 00519000 00:00 0 01b70000-01bf3000 rw-p 01b70000 00:00 0 [heap] 7f499c000000-7f499c021000 rw-p 7f499c000000 00:00 0 7f499c021000-7f49a0000000 ---p 7f499c021000 00:00 0 7f49a20f2000-7f49a2108000 r-xp 00000000 08:01 2393 /lib/libgcc_s.so.1 7f49a2108000-7f49a2308000 ---p 00016000 08:01 2393 /lib/libgcc_s.so.1 7f49a2308000-7f49a2309000 r--p 00016000 08:01 2393 /lib/libgcc_s.so.1 7f49a2309000-7f49a230a000 rw-p 00017000 08:01 2393 /lib/libgcc_s.so.1 7f49a230a000-7f49a2472000 r-xp 00000000 08:01 2371 /lib/libc-2.9.so 7f49a2472000-7f49a2672000 ---p 00168000 08:01 2371 /lib/libc-2.9.so 7f49a2672000-7f49a2676000 r--p 00168000 08:01 2371 /lib/libc-2.9.so 7f49a2676000-7f49a2677000 rw-p 0016c000 08:01 2371 /lib/libc-2.9.so 7f49a2677000-7f49a267c000 rw-p 7f49a2677000 00:00 0 7f49a267c000-7f49a267e000 r-xp 00000000 08:01 2385 /lib/libdl-2.9.so 7f49a267e000-7f49a287e000 ---p 00002000 08:01 2385 /lib/libdl-2.9.so 7f49a287e000-7f49a287f000 r--p 00002000 08:01 2385 /lib/libdl-2.9.so 7f49a287f000-7f49a2880000 rw-p 00003000 08:01 2385 /lib/libdl-2.9.so 7f49a2880000-7f49a2904000 r-xp 00000000 08:01 2404 /lib/libm-2.9.so 7f49a2904000-7f49a2b03000 ---p 00084000 08:01 2404 /lib/libm-2.9.so 7f49a2b03000-7f49a2b04000 r--p 00083000 08:01 2404 /lib/libm-2.9.so 7f49a2b04000-7f49a2b05000 rw-p 00084000 08:01 2404 /lib/libm-2.9.so 7f49a2b05000-7f49a2b25000 r-xp 00000000 08:01 2352 /lib/ld-2.9.so 7f49a2b93000-7f49a2d06000 rw-p 7f49a2b93000 00:00 0 7f49a2d21000-7f49a2d24000 rw-p 7f49a2d21000 00:00 0 7f49a2d24000-7f49a2d25000 r--p 0001f000 08:01 2352 /lib/ld-2.9.so 7f49a2d25000-7f49a2d26000 rw-p 00020000 08:01 2352 /lib/ld-2.9.so 7fffaad10000-7fffaad25000 rw-p 7ffffffea000 00:00 0 [stack] 7fffaadfe000-7fffaadff000 r-xp 7fffaadfe000 00:00 0 [vdso] ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] Aborted ...
-- mosml crashes https://bugs.launchpad.net/bugs/254843 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
