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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 23D01BC6B for ; Wed, 11 Apr 2007 13:35:10 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.236]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3BBZ81F010298 for ; Wed, 11 Apr 2007 13:35:09 +0200 Received: by nz-out-0506.google.com with SMTP id l8so113672nzf for ; Wed, 11 Apr 2007 04:35:08 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=H8lhessSCtFveZtMNtgOeDzdCsrJSXnM+HAjyWggIWBmDOcZvcnOFIbfYQKbIxxzpXneXx5oomEEGnCizfy+JN2z4sBYCHN8T2c/9daGOzMhUhmLq32P2Ti3J4pUT2GDnhxNEIKHBqkECKGvAEfgJt/eS4qHLMzW54ZJ07CuXK8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=mgecnGKGpbGMK/WlA8vA8KlVn/bgoE8JXr6CAev3V9e1kKwh9n9dXEYuF932heeJ3vzB4drhP9Z8Arh3DqFGkRcEIe3kbTJ8c4Nxupw+ZFG5wDQfTaqndKDUb6/uJmSWCMFM9jP5CbZnaXKkmrmInhAJk8t8jj1+VqaKxtxB5A4= Received: by 10.114.12.9 with SMTP id 9mr228347wal.1176291307095; Wed, 11 Apr 2007 04:35:07 -0700 (PDT) Received: by 10.114.181.18 with HTTP; Wed, 11 Apr 2007 04:35:07 -0700 (PDT) Message-ID: Date: Wed, 11 Apr 2007 13:35:07 +0200 From: "Nicolas Pouillard" To: "Jeff Henrikson" Subject: Re: [Caml-list] nonresolved .cma files and errors Cc: caml-list@inria.fr In-Reply-To: <461C50C7.6090802@yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <461C50C7.6090802@yahoo.com> X-j-chkmail-Score: MSGID : 461CC7ED.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 461CC7ED.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; henrikson:01 jehenrik:01 camlp:01 camlp:01 notation:01 cmo:01 jehenrik:01 ocamlc:01 -pp:01 functor:01 ocamlc:01 -pp:01 cmo:01 functor:01 toplevel:01 On 4/11/07, Jeff Henrikson wrote: > Hello caml-list, > > I recently had a shocking realization about why some of my experiments > with camlp4 weren't compiling. I had been linking camlp4.cma, which was > the old name of the library. Now camlp4.cma doesn't exist and there are > multiple flavors Camlp4xxx.cma where the xxx is the same flavor notation > of the the preprocessor binaries. So the trouble is, why was linking > such a library not a fatal? Apparently all missing .cma and .cmo files > passed on the command line are considered non-errors. It seems intutive > to me that both should be fatals! > > ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -pp camlp4orf junk.cma > camlp4orf.cma -c dynamic_functor_example3.ml > ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -pp camlp4orf junk.cmo > camlp4orf.cma -c dynamic_functor_example3.ml > ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -pp camlp4orf junk.ml > camlp4orf.cma -c dynamic_functor_example3.ml > I/O error: "junk.ml: No such file or directory" > Preprocessor error > Good answers are already here, I just takes the lasts bits... There is a list of libraries provided with camlp4: camlp4{o,of,orf,r,rf}.cma are toplevel libs there are only made to be loaded in the ocaml toplevel camlp4lib.cma contains the Camlp4 module which holds the camlp4 kernel. camlp4fullilb.cma contains modules of camlp4lib.cma plus all parsers and filters. -- Nicolas Pouillard