coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Guillaume Melquiond <guillaume.melquiond AT inria.fr>
- To: Michael <michaelschausten AT googlemail.com>
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Problem with Gappa installation
- Date: Sat, 25 Sep 2010 16:14:05 +0200
Le samedi 25 septembre 2010 à 16:02 +0200, Michael a écrit :
> OCAMLOPT gappatac.ml
> File "gappatac.ml", line 10, characters 0-9:
> Error: Unbound module Util
> I couldn't figure out where to find that module Util, or what to do to
> compile
> it properly. I hope someone can help me with that problem.
The Util module is a module from the Coq distribution. On my
distribution (a Debian-based one), the file is located
at /usr/lib/coq/lib/util.cmi and provided by the libcoq-ocaml-dev
package. So make sure that you have installed the .cmi files of Coq
before compiling external plugins.
Best regards,
Guillaume
- [Coq-Club] Problem with Gappa installation, Michael
- <Possible follow-ups>
- Re: [Coq-Club] Problem with Gappa installation, Guillaume Melquiond
- Re: Re: [Coq-Club] Problem with Gappa installation, Michael
- Re: [Coq-Club] Problem with Gappa installation, Guillaume Melquiond
- Re: Re: [Coq-Club] Problem with Gappa installation, Michael
- Re: [Coq-Club] Problem with Gappa installation, Guillaume Melquiond
- Re: Re: [Coq-Club] Problem with Gappa installation, Michael
Archive powered by MhonArc 2.6.16.