From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=NO_RELAYS autolearn=disabled version=3.1.3 Received: by yquem.inria.fr (Postfix, from userid 25991) id A4139BC6B; Wed, 12 Dec 2007 18:28:24 +0100 (CET) Date: Wed, 12 Dec 2007 18:28:24 +0100 From: Daniel de Rauglaudre To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Coq 8.1 and Ocaml 3.10 Message-ID: <20071212172824.GB28343@yquem.inria.fr> References: <47601894.1080105@fmf.uni-lj.si> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <47601894.1080105@fmf.uni-lj.si> User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; rauglaudre:01 rauglaudre:01 coq:01 ocaml:01 0100,:01 andrej:01 ocamlopt:01 constr:01 cmo:01 constr:01 cmo:01 camlp:01 coq:01 tactics:98 wrote:01 Hi, On Wed, Dec 12, 2007 at 06:21:24PM +0100, Andrej Bauer wrote: > OCAMLOPT4 tactics/hipattern.ml4 > Error while loading "parsing/q_constr.cmo": file not found in path. > Preprocessor error The file q_constr.cmo is not part of Camlp5, but of Coq. Write to the Coq team, rather. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/