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 JAA26954; Sat, 26 Jan 2002 09:12:08 +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 JAA28185 for ; Sat, 26 Jan 2002 09:12:07 +0100 (MET) Received: from mallaury.noc.nerim.net (mallaury.noc.nerim.net [62.4.17.82]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0Q8C7f14810 for ; Sat, 26 Jan 2002 09:12:07 +0100 (MET) Received: from alan-schm1p.inria.fr (aboukir-101-1-10-alanschmitt.adsl.nerim.net [62.212.98.49]) by mallaury.noc.nerim.net (Postfix) with ESMTP id C39B762D03; Sat, 26 Jan 2002 09:12:06 +0100 (CET) Received: by alan-schm1p.inria.fr (Postfix, from userid 11207) id C58A223610; Sat, 26 Jan 2002 09:06:35 +0100 (CET) Date: Sat, 26 Jan 2002 09:06:35 +0100 From: Alan Schmitt To: Jacques Garrigue Cc: caml-list@inria.fr Subject: Re: [Caml-list] CDK support Message-ID: <20020126090635.D1425@alan-schm1p> Mail-Followup-To: Jacques Garrigue , caml-list@inria.fr References: <3C5107ED.4030508@free.fr> <20020125201853.C1425@alan-schm1p> <20020126074015J.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20020126074015J.garrigue@kurims.kyoto-u.ac.jp>; from garrigue@kurims.kyoto-u.ac.jp on sam, jan 26, 2002 at 07:40:15 +0900 X-Editor: Vim http://vim.sf.net/ X-Info: http://pauillac.inria.fr/~aschmitt/ X-Operating-System: Linux/2.4.17 (i686) X-Uptime: 9:01am up 13:31, 1 user, load average: 0.14, 0.10, 0.09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk * Jacques Garrigue (garrigue@kurims.kyoto-u.ac.jp) wrote: > Hi, > > Talking of the CDK, wouldn't it be better to move it to a more > standard framework using findlib and ocamldoc ? > Why not. I'd need to look at findlib. I should have some time free in a few months (famous last words ;-) > While I'm interested in this effort, requiring downloading and > installing of the whole CDK before being able to use any of its > functionality seems an hindrance, particularly when your architecture > is badly supported by the CDK, and you have to patch your way out. > It's true the cdk needs some way to do package management. > Also, it should be easy to write makefiles that work both with and > without the tools installed. Well, findlib might be a requirement, > since its functionality is basic enough. A patch on the compiler is > completely impractical when I have to recompile several times a week. > If you're talking about a tool that might use the cdk, it's easy (that's active dvi case). If you're talking about a library that might be integrated in the cdk, then I think this is related to the package management issue, and it's a more difficult problem. > Cheers, and hoping for an even better CDK. > > Jacques Alan -- The hacker: someone who figured things out and made something cool happen. ------------------- 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