Hi,
I'm trying to compile Coq (coq-8.0pl3-1) on a Intel based Mac.
The compiling of the Coq binary in Objective Caml goes without a problem,
although warns about unused variables and the deprecation of pa_macro.
The process produces coqtop.opt, which crashes immediately with an
Illegal instruction error. All my other packages compile just fine. Any ideas?
Cheers,
Matija
**********
Host Name: Aberlyn
Date/Time: 2006-10-05 11:11:07.364 +0100
OS Version: 10.4.6 (Build 8I1119)
Report Version: 4
Command: coqtop.opt
Path: bin/coqtop.opt
Parent: make [19947]
Version: ??? (???)
PID: 21699
Thread: 0
Exception: EXC_BAD_INSTRUCTION (0x0002)
Code[0]: 0x0000000d
Code[1]: 0x00000000
Thread 0 Crashed:
0 coqtop.opt 0x002e847e 0x1000 + 3044478
1 coqtop.opt 0x002e8518 0x1000 + 3044632
2 coqtop.opt 0x002e6d5a 0x1000 + 3038554
Thread 0 crashed with i386 Thread State:
eax: 0x00008000 ebx: 0x002e83bf ecx:0x00475fa8 edx: 0x0047d000
edi: 0x00000000 esi: 0x0049d000 ebp:0xbffff5f0 esp: 0xbffff5c8
ss: 0x0000002f efl: 0x00010206 eip:0x002e847e cs: 0x00000027
ds: 0x0000002f es: 0x0000002f fs:0x00000000 gs: 0x00000037
Binary Images Description:
0x1000 - 0x2f6fff coqtop.opt
/sw/src/fink.build/coq-8.0pl3-1/coq-8.0pl3/bin/coqtop.opt
0x8fe00000 - 0x8fe4bfff dyld 44.17 /usr/lib/dyld
0x90000000 - 0x9016efff libSystem.B.dylib /usr/lib/libSystem.B.dylib
0x901be000 - 0x901c0fff libmathCommon.A.dylib
/usr/lib/system/libmathCommon.A.dylib
0x90bc6000 - 0x90bcdfff libgcc_s.1.dylib /usr/lib/libgcc_s.1.dylib
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Fink-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/fink-users
