Re: [isabelle] Problem installing on an intel mac



Dear Julien,

> Started at Fri Dec 22 14:19:18 CET 2006 (smlnj-110_x86-darwin on
> 135.8.98-84.rev.gaoland.net)
> /usr/local/Isabelle2005/lib/Tools/make: line 27: exec: make: not found
> Finished at Fri Dec 22 14:19:18 CET 2006
> 0:00:01 total elapsed time

The "exec" refers to the POSIX system call "exec" - what you are really
missing is a GNU make.

Hope this helps
Florian

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.