-------------- Original message ---------------------- From: Matija Pretnar <[EMAIL PROTECTED]> > 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 > > >
There were some problems reported with ocaml on Intel macs a couple of months ago but I thought they were fixed. Do you have the most current version (3.09.2-1000) installed? (As far as I know this package wasn't tested on an Intel Mac, so it may need additional tweaking) -- Alexander K. Hansen Fink Documenter ------------------------------------------------------------------------- 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
