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 DAA00655; Sat, 26 Jan 2002 03:00:40 +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 DAA00913 for ; Sat, 26 Jan 2002 03:00:37 +0100 (MET) Received: from mail6.speakeasy.net (mail6.speakeasy.net [216.254.0.206]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0Q20af11183 for ; Sat, 26 Jan 2002 03:00:36 +0100 (MET) Received: (qmail 13441 invoked from network); 26 Jan 2002 02:00:34 -0000 Received: from unknown (HELO kronstadt) ([64.81.49.223]) (envelope-sender ) by mail6.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 26 Jan 2002 02:00:34 -0000 Received: from itz by kronstadt with local (Exim 3.33 #1 (Debian)) id 16UI8v-0003yB-00; Fri, 25 Jan 2002 18:00:33 -0800 To: Jacques Garrigue Cc: caml-list@inria.fr Subject: Re: [Caml-list] Compiler ActiveDVI (CVS) References: <20020125151002.B16553@dpt-info.u-strasbg.fr> <20020126075921Y.garrigue@kurims.kyoto-u.ac.jp> <86pu3ylywc.fsf@speakeasy.org> <20020126104546G.garrigue@kurims.kyoto-u.ac.jp> From: Ian Zimmerman Date: 25 Jan 2002 18:00:33 -0800 In-Reply-To: <20020126104546G.garrigue@kurims.kyoto-u.ac.jp> Message-ID: <86lmelna66.fsf@speakeasy.org> User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques> The point is that the "right" way to compile an extension to Jacques> ocaml is to use ocamlc, which will automatically add Jacques> /usr/lib/ocaml to the include path. Interesting point. I have hacked on a few extensions, but I _always_ just called gcc directly. Somehow the fact that ocamlc is a full driver just like gcc doesn't easily enter one's consciousness, I'm afraid. Also, when one uses things like autoconf and hairy makefile rules, direct use of the C compiler is more conveient (think of all the -ccopt stuff you'd have to pass...) itz> The way I did it when I built Ocaml from sources was with a itz> symlink, so that it existed in both places. Jacques> A symlink avoids all these problems. And if you do it Jacques> yourself, you know that you're doing something nonstandard, Jacques> and will no bother the developpers with this. I was suggesting that the link be a part of the package. Users are not supposed to touch /usr/include on Debian. Best regards, -- Ian Zimmerman, Oakland, California, U.S.A. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087 In his own soul a man bears the source from which he draws all his sorrows and his joys. Sophocles. ------------------- 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