coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Problem with compiling Ring_polynom.v

From: Gyesik Lee <gslee AT ropas.snu.ac.kr>
To: coq-club <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] Problem with compiling Ring_polynom.v
Date: Mon, 20 Apr 2009 17:08:27 +0900
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type:content-transfer-encoding; b=lkpB8+9dTJu5eJXXQTNJO8Maj1A7DPdVfzt37B0e4c2T02HolAPZGloPN6BWDc26fy px9Pn6Pw2570GF6wogeWruYGjQvSktMYgSe1DCG+R7qOIGjT4+HNWeLLFrHACz7B92Qh FecI0XX9DaDkxLoVpTK+p0vOxjJ7Sxju4FGds=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

I am trying to install Coq on top of Debian.
But during the installation, it hangs with the compilation of Ring_polynom.v
(more than several hours....)
(I was doing the installation without using any option.)

Would someone tell me why and how to fix the problem?

Thanks in advance.

Gyesik

[Coq-Club] Problem with compiling Ring_polynom.v, Gyesik Lee