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 WAA00658; Sun, 13 Jan 2002 22:39:28 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA00260 for ; Sun, 13 Jan 2002 22:39:27 +0100 (MET) Received: from leia.mandrakesoft.com (office.mandrakesoft.com [195.68.114.34]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0DLdQP07626 for ; Sun, 13 Jan 2002 22:39:26 +0100 (MET) Received: by leia.mandrakesoft.com (Postfix, from userid 505) id 09D1057D7; Sun, 13 Jan 2002 22:39:12 +0100 (CET) To: caml-list@inria.fr Subject: [Caml-list] -thread and ocamlc vs ocamlc.opt From: Pixel Date: 13 Jan 2002 22:39:11 +0100 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk % ocamlc -thread threads.cma % ocamlc.opt -thread threads.cma Error on dynamically loaded library: /usr/lib/ocaml/dllthreads.so: undefined symbol: extern_sp % ocamlopt -thread threads.cmxa Cannot find file threads.cmxa Questions: - in which case are ocamlc and ocamlc.opt not equivalent? - in which case are xxx and xxx.opt not equivalent? At least, it seems camlp4o.opt is pretty useless (one gets "native-code program cannot do a dynamic load") I've been trying to reduce the size of the ocaml rpm which is getting quite huge (27MB), and doing for i in /usr/bin/*.opt ; do ln -s `basename $i` `echo $i | sed "s/.opt$//"` done helps! - should threads.cmxa be included somehow/somewhere? The doc says ocamlopt -thread other options threads.cmxa other files is that wrong? Thanks! ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr