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 OAA06463; Wed, 26 Feb 2003 14:17:14 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA06009 for caml-list@pauillac.inria.fr; Wed, 26 Feb 2003 14:17:12 +0100 (MET) 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 OAA05200 for ; Tue, 25 Feb 2003 14:36:37 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h1PDaaT02588 for ; Tue, 25 Feb 2003 14:36:36 +0100 (MET) Received: from helium.pps.jussieu.fr (helium.pps.jussieu.fr [134.157.168.2]) by shiva.jussieu.fr (8.12.5/jtpda-5.4) with ESMTP id h1PDaYYY036721 ; Tue, 25 Feb 2003 14:36:34 +0100 (CET) Received: from localhost (helium.pps.jussieu.fr [134.157.168.2]) by helium.pps.jussieu.fr (8.11.6/jtpda-5.3.2) with ESMTP id h1PDaXd04155 ; Tue, 25 Feb 2003 14:36:33 +0100 (CET) Received: from localhost ([127.0.0.1] ident=dicosmo) by localhost with esmtp (Exim 3.35 #1 (Debian)) id 18nfFt-0003fL-00; Tue, 25 Feb 2003 14:36:21 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15963.29013.441245.60727@gargle.gargle.HOWL> Date: Tue, 25 Feb 2003 14:36:21 +0100 To: Sven Luther Cc: roberto@dicosmo.org, Brian Hurt , Francois Rouaix , caml-list@inria.fr Subject: Re: [Caml-list] Alternative proposal: COAN In-Reply-To: <20030225132032.GA2942@iliana> References: <02103BF1-4835-11D7-B97A-000A95773ED2@rouaix.org> <15963.19322.759255.37091@gargle.gargle.HOWL> <20030225132032.GA2942@iliana> X-Mailer: VM 7.04 under 21.4 (patch 8) "Honest Recruiter" XEmacs Lucid Reply-To: Roberto Di Cosmo From: roberto@dicosmo.org X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear Sven, actually, in the latest version of DemoLinux (a Live CD pretty older than Knoppix, distribution-independent, even if now based on Debian) distributed with the CD of free software from Inria, there is advi, whyzzitex and ocaml preinstalled and you are pretty welcome to download it from www.demolinux.org (I had to edit a bit your packages to make it suitable for the Debian installed in DemoLinux, but it was rather easy work...) Now, it is a long time since DemoLinux did not go through a major upgrade, partly because I still dream of rewriting all the configuration/detection/ installation stuff in Ocaml, but I did not convince myself to really start the real work... But if some people is interested ... :-) --Roberto >>>>> "Sven" == Sven Luther writes: Sven> On Tue, Feb 25, 2003 at 11:54:50AM +0100, roberto@dicosmo.org wrote: >> - easy installation: >> >> Issue: I want to run advi to give flashy LaTeX presentation, and I want >> to just get a binary for my nice OS I love so much, without having to >> recompile anything Sven> BTW, i have much been thinking of generating a version of knoppix Sven> (single CD debian distros, which boots directly from the CD), which Sven> would include advi and all other parts needed for it to run, and maybe Sven> have a script that would generate a CD image including your Sven> presentation. Sven> Such a CD should boot on every hardware out there without much Sven> problems, so you would just need to go to your conference insert the Sven> CD and reboot the box. Sven> As for other stuff, well, you could just use debian and use our Sven> packages which solve most of the dependency issues, with more to come Sven> in my next upload of the ocaml_packaging_policy. I think you could Sven> also use the mingw cross compiler or something such to automatically Sven> build win32 packages out of the debian packages, but i didn't look Sven> much into this. Sven> Friendly, Sven> Sven Luther ------------------- To unsubscribe, mail Sven> caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: Sven> http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Sven> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners -- --Roberto Di Cosmo ------------------------------------------------------------------ Professeur (on leave at/detache a INRIA Roquencourt) PPS E-mail: roberto@dicosmo.org Universite Paris VII WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(1)-39 63 51 97 2, place Jussieu Fax : ++33-(1)-44 27 68 49 F-75251 Paris Cedex 05 FRANCE. MIME/NextMail accepted ------------------------------------------------------------------ Office location: Paris VII INRIA Roquencourt Bureau 6C14 (6th floor) Bureau 13, Batiment 5 175, rue du Chevaleret, XIII Domaine de Voluceau Metro Chevaleret, ligne 6 Roquencourt ------------------------------------------------------------------ ------------------- 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