coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coqide on leopard?

From: Damien Doligez <damien.doligez AT inria.fr>
To: coq-club AT pauillac.inria.fr
Cc: Thorsten Altenkirch <txa AT cs.nott.ac.uk>
Subject: Re: [Coq-Club] coqide on leopard?
Date: Fri, 11 Apr 2008 15:54:59 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On 2008-04-10, at 11:46, Thorsten Altenkirch wrote:

sorry for this rather mundane question: How do I run coqide on the leopard (the latest version of MacOS)?

This is what worked for me:

1. install macports from < http://www.macports.org ;>
2. type "port install lablgtk2"
3. type "port install coq"

If you omit step 2, I think you won't have coqide.

-- Damien

[Coq-Club] coqide on leopard?, Thorsten Altenkirch
- Re: [Coq-Club] coqide on leopard?, Damien Doligez