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: "Elie Soubiran" <soubiran AT lix.polytechnique.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 11:35:17 +0200
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=lzzCOAMmpwUzyDdD4tjHyVbRGoqWPl6/j9OuWyyi4XXCfXsJlzNzS8WOsqEp7r5Bm1OVQvQHaY54mQNaaKSUNNm8tr9L9o8IhuDhMTZuxA4reiUpEgh7xdpNmxdJHwWck1dJsqPxMVQafXKZWLKhsyhPQIXe1zbk9bjnhKvbOks=
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Bonjour,

Ce n'est pas possible de compiler Coq et Coqide en binaire universel.
Le meilleur moyen pour l'installer sur un mac ppc est de passer par Fink.

ftp://ftp.inria.fr/INRIA/coq/V8.1/fink/README

Choisis la procédure "installation from source".
Les fichiers .info sont dans:
ftp://ftp.inria.fr/INRIA/coq/V8.1/fink/

C'est un peu long mais ça marche.


Elie


On 9/24/07, avavrin <avavrin AT gmail.com> wrote:
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