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 AAA08825; Tue, 15 Oct 2002 00:45:02 +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 AAA09547 for ; Tue, 15 Oct 2002 00:45:01 +0200 (MET DST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.186]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g9EMj0D11874; Tue, 15 Oct 2002 00:45:01 +0200 (MET DST) Received: from [212.227.126.160] (helo=mrelayng0.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 181DxM-0007B6-00; Tue, 15 Oct 2002 00:45:00 +0200 Received: from [80.129.99.103] (helo=gate.gerd-stolpmann.de) by mrelayng0.kundenserver.de with asmtp (Exim 3.35 #1) id 181DxL-0003e6-00; Tue, 15 Oct 2002 00:44:59 +0200 Received: from ice.gerd-stolpmann.de (ice.gerd-stolpmann.de [192.168.0.13]) by gate.gerd-stolpmann.de (Postfix) with ESMTP id 2BACDCCDD; Tue, 15 Oct 2002 00:44:58 +0200 (CEST) Received: from ice (localhost [127.0.0.1]) by ice.gerd-stolpmann.de (Postfix) with ESMTP id 61B88B0B7; Tue, 15 Oct 2002 00:44:57 +0200 (CEST) Date: Tue, 15 Oct 2002 00:44:57 +0200 From: Gerd Stolpmann To: Sven LUTHER Cc: Pierre Weis , caml-list@inria.fr Subject: Re: [Caml-list] CDK with Ocaml 3.06 (fwd) Message-ID: <20021014224457.GM1002@ice.gerd-stolpmann.de> References: <20021014181602.GA2620@iliana> <200210142038.WAA05623@pauillac.inria.fr> <20021014210719.GA3682@iliana> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20021014210719.GA3682@iliana>; from luther@dpt-info.u-strasbg.fr on Mon, Okt 14, 2002 at 23:07:19 +0200 X-Mailer: Balsa 1.4.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Am 2002.10.14 23:07 schrieb(en) Sven LUTHER: > On Mon, Oct 14, 2002 at 10:38:36PM +0200, Pierre Weis wrote: > > [...] > > > > 2) if we really need such a feature (for example just to have > > > > transparent access to packages between different linux distributions > > > > or between linux and windows and mac and ... worlds) who is > > > > responsible to keep an archive of available package gettable via > > > > ocamlfind or whatevere else? > > > > CPAN, APT, and other approaches work because someon set up an > > > > official or de-facto-official archive (Well, APT also support other > > > > repositories, but official one are the most used and trusted ...). > > > > > > If this happens, maybe we can prevail on inria and the ocaml team to > > > make disk space available to us ? > > > > Yes, indeed. There is no problem of disk space here. The problem is to > > grant access in a secure and reliable way. > > Well, debian uses a system with upload queues, and signed package witha > strong web of trust between developpers who are allowed to upload > packages. Sure we also have ssh access on most debian boxes, but this is > not necessary for uploading. > > I am sure a scheme could be found for this kindof distribution, with an > upload queue, where you could anonymously upload packages, which get > scanned for secure signatures and uploaded onto the server, or something > such. Maybe you could go without signatures even, since after all, there > is nothing critical and absolutely needing root access in the ocaml > packages. > > > > > 3) ocaml packages are usually distributed as source packages and we have > > > > not a standardized way to build and install them, the success of > > > > CPAN, APT, are due to the facts that _or_ the distribution is in > > > > binary form with standardadized file system sructure _or_ the > > > > distribution is in source form with standardized compilation and > > > > installation procedure > > > > > > Yes, this is the problematic part. > > > > I think we can set up a standardized compilation and installation > > procedure (meaning a standard Makefile for libraries, based on the > > configuration set up by the original Ocaml installation). We can start > > with the Caml team maintained software (the ``bazaar'') and encourage > > people to do the same for their own software by storing (and > > distributing) it on our server. This could be a lot of book-keeping > > but we could probably manage it... > > Well, the problem is more in the dependency handling, and could be worse > if you maintain binary distribution, like you do for windows. But > anyway, i don't believe you could really afford to do binary > distribution for something else than windows or maybe macOSX. > > It is very difficult to do this nicely without an integrated > distribution. Mmm, maybe it can be done, but would need lot of work, and > anyway, inria don't has the vast multi arch build farm that debian has, > so i don't know if it would be meaningfull. Just a few phenomenons that are hard to tackle : - Sometimes a Makefile is not enough, you need a configure script. Sometimes the configure script takes arguments (Where can certain C libraries be found? Which build variant is chosen?). These arguments cannot be found out automatically, they are beyond the intelligence of the configure script. So an automatic package fetcher would have to deal with this complication. Maybe it has to ask interactively. - Sometimes a single distribution tarball creates several libraries. - Sometimes there are alternative dependencies (you can choose whether you like package X or X' as antecendent) - Sometimes there are files to install that are neither libraries nor documentation. You need interaction with the operating system's idea of installing files, and if possible, with its package manager. - Authors usually cannot test source packages on lots of platforms. Problems range from /bin/sh incompatibilities to the Unix/Windows nightmare. Especially for the latter I really don't know how to cope with it, because porting Makefiles and scripts to Windows is time-intensive, and as a Unix fan I have the attitude "let the Windows users do it". These are not exoctic complications that are rarely found, they are normal. A reasonable source distribution format must deal with them, and there must be people willing to create such enhanced source packages. I don't say this is all impossible, but sure it is an ambitious project. Gerd ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------ ------------------- 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