From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA12453; Mon, 5 Jul 2004 04:00:56 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA12412 for ; Mon, 5 Jul 2004 04:00:54 +0200 (MET DST) Received: from mail1.ecc.u-tokyo.ac.jp (mail1.ecc.u-tokyo.ac.jp [133.11.171.216]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i6520qEV032313 for ; Mon, 5 Jul 2004 04:00:53 +0200 Received: from spam005.ecc.u-tokyo.ac.jp (spam005.ecc.u-tokyo.ac.jp [133.11.50.198]) by mail1.ecc.u-tokyo.ac.jp (Postfix) with ESMTP id 4948A700F0 for ; Mon, 5 Jul 2004 11:00:52 +0900 (JST) Received: from md001.ecc.u-tokyo.ac.jp ( [133.11.50.201]) by spam005.ecc.u-tokyo.ac.jp (SpamBlock.pst 3.4.25) with ESMTP id <1FA32794-CE27-11D8-80FD-000393CC1F60@mist.i.u-tokyo.ac.jp> for ; Mon, 5 Jul 2004 11:00:49 +0900 Received: from [192.168.0.90] (psd-gw.psdlab.org [220.110.80.17]) by md001.ecc.u-tokyo.ac.jp (MOS 3.4.5-GR) with ESMTP id AEW46296 (AUTH via LOGINBEFORESMTP); Mon, 5 Jul 2004 11:00:47 +0900 (JST) In-Reply-To: <40E81DB7.4090206@tiscali.it> References: <40E81DB7.4090206@tiscali.it> Mime-Version: 1.0 (Apple Message framework v618) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <1FA32794-CE27-11D8-80FD-000393CC1F60@mist.i.u-tokyo.ac.jp> Content-Transfer-Encoding: 7bit Cc: caml-list@inria.fr X-Image-Url: http://homepage.mac.com/ksk1227/.cv/thumbs/me.thumbnail From: Keisuke Nakano X-Face: =?ISO-8859-1?Q?%itTM9zcQiDnd<7KqT X-Mailer: Apple Mail (2.618) X-IP: 133.11.50.201 X-FROM-DOMAIN: mist.i.u-tokyo.ac.jp X-FROM-EMAIL: ksk@mist.i.u-tokyo.ac.jp X-Miltered: at nez-perce with ID 40E8B654.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; u-tokyo:01 caml-list:01 2004:99 hallo:99 ocamlc:01 -pp:01 camlp:01 usr:01 3.07:01 camlp:01 usr:01 3.07:01 u-tokyo:01 ocaml:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 2004/07/05, at 0:09, Luca wrote: > Hallo, I just finished writing an implementation of logic resolution > in > Ocaml, I always worked in toplevel but now that I tired to have a > standalone executable I get the following error > > > # ocamlc -pp "camlp4o" prog.ml > Error while loading "/usr/lib/ocaml/3.07/camlp4/camlp4o.cma": error > while linking /usr/lib/ocaml/3.07/camlp4/camlp4o.cma. > Reference to undefined global `Toploop' > Preprocessor error > > In toplevel everything works fine, my file starts with > > #load "camlp4o.cma";; > use Genlex;; How about loading "camlp4.cma" instead of "camlp4o.cma" ? "camlp4o.cma" should be used at toplevel. --------------------------------------------------------------- Keisuke Nakano Department of Mathematical Engineering and Information Physics, University of Tokyo ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners