Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] CoqIDE sous MacOSX PowerPC

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] CoqIDE sous MacOSX PowerPC


chronological Thread 
  • From: Benjamin Werner <benjamin.werner AT inria.fr>
  • To: avavrin <avavrin AT gmail.com>
  • Cc: coq-club AT pauillac.inria.fr
  • Subject: Re: [Coq-Club] CoqIDE sous MacOSX PowerPC
  • Date: Tue, 25 Sep 2007 14:17:18 +0200
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer:sender; b=Az3drD5gY2aULw9t7rdE9MpAxW/tLNVMemMnlgqJvbmcjcaRx2v273Lz5wXnz7EyR+eAQV29QE8I6iv8v8OetI5b7l/pSyr5oWiC8sVpe8XHF7V5xNvKeKljrmwCpHISK/8/obT8O93rQNWAb+6W9uufpKvCr0hqRJCyUAirxk8=
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hello,

Last time I tried, it was possible to get coqIDE running on OSX using Fink.
But it can be tedious, because you need to have the right version numbers
for caml and the various graphical packages.

I use proof-general with aquamacs and find this solution satisfying.
You may need to take a recent version of proof-general for not running
into troubles with utf-8 (the problem where coq seems not not respond;
check the older messages of the coq-club in that case)

Bonne chance,


Benjamin

Le 24 sept. 07 à 22:48, avavrin a écrit :

Bonjour,

Je voulais savoir si il était possible de compiler la version actuel de CoqIDE pour i386 en Universal Binary.
Je suis étudiant en M2 et je vais faire pas mal de coq cette année.

Je vous remercie.

Sylvain HERAUD



Archive powered by MhonArc 2.6.16.

Top of Page