From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2KEBZpV014466 for ; Tue, 20 Mar 2012 15:11:35 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqMDAFuPaE+7SSC5m2dsb2JhbABCgw6BW1axEyIBAQEBAQgJCwkUJ4IJAQEFDBcPAUYQCQIYAgImAgIgDQEpBgwHiAylKJIegS+OOYEWBJtMYIxb X-IronPort-AV: E=Sophos;i="4.73,618,1325458800"; d="scan'208";a="136947749" Received: from mta113.f1.k8.com.br ([187.73.32.185]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Mar 2012 15:11:28 +0100 Received: from localhost (localhost [127.0.0.1]) by smtpz.f1.k8.com.br (Postfix) with ESMTP id 4422E80480; Tue, 20 Mar 2012 14:11:26 +0000 (UTC) X-Virus-Scanned: amavisd-new at k8.com.br Received: from smtpz.f1.k8.com.br ([127.0.0.1]) by localhost (mta113.f1.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id OyPV5Mvt2NeE; Tue, 20 Mar 2012 14:11:26 +0000 (UTC) Received: from [10.7.5.14] (fosforo.f2.k8.com.br [200.150.156.10]) by smtpz.f1.k8.com.br (Postfix) with ESMTPA id AFADE80429; Tue, 20 Mar 2012 14:11:25 +0000 (UTC) Message-ID: <1332252706.31500.5.camel@andre> From: Andre Nathan To: =?ISO-8859-1?Q?J=E9r=E9mie?= Dimino Cc: caml-list@yquem.inria.fr Date: Tue, 20 Mar 2012 11:11:46 -0300 In-Reply-To: <20120319214534.33a8a89c@aurora> References: <1332182440.8276.8.camel@andre> <20120319214534.33a8a89c@aurora> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.2.2- Content-Transfer-Encoding: 8bit Mime-Version: 1.0 Subject: Re: [Caml-list] Building a camlp4 toplevel with oasis/ocamlbuild Thanks a lot. On Mon, 2012-03-19 at 21:45 +0100, Jérémie Dimino wrote: > Le Mon, 19 Mar 2012 15:40:40 -0300, > Andre Nathan a écrit : > > > $ ./ospec.byte > > Fatal error: exception Symtable.Error("Printexc") > > > > Can anyone give me a hand here? > > It is because ospec has not be linked with the Printexc module. Since > you define a library "ospec" and you use it for the executable "ospec", > it will be linked against "ospec.cma", and not all the .cmo as you did > before. OCaml remove unused units from ".cma" files passed on the > command line when linking, it only keeps units reachable from > ".cmo" files. Printexc has been removed because it was not used. To > prevent this behavior you must pass the "-linkall" switch (note that > you should always use it when you use dynlink). > > Cheers, >