From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 5BC4BBC6B for ; Tue, 8 Jan 2008 21:35:28 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAH5tg0fRVca5kmdsb2JhbACDIox5AQEBAQcCBimSUoYx X-IronPort-AV: E=Sophos;i="4.24,259,1196636400"; d="scan'208";a="21031913" Received: from rv-out-0910.google.com ([209.85.198.185]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Jan 2008 21:35:27 +0100 Received: by rv-out-0910.google.com with SMTP id k20so6353284rvb.3 for ; Tue, 08 Jan 2008 12:35:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=bad2bhaXA7duorsa7HgpblEIaVGPAZv4wlW2YEpv2ew=; b=mFFp+tl02JFtMTiqt1PXJz5D4o2nLsEuGmz9lPh90bE7YH1fAjSZBVQ0Xyt0k5bFXIdsunH9r/bAzKFtERCnyhvtUCSwH4vNz3rkIBc4OUBNdDxbZVZ7hMHL6yEHSYs66bYziG5tdp2iD4zCA1G2C8GcZxTcESsANU3j0HuWCv4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=ALNbnb1mzU9vYlT/dcANwIko1ThmC4/cyPCm2ZtPbynSt+F4y9W5iISOPqJA9KnidEEPRW04TjgI0VVqvWu3M6shSNdr8fpFNGi+bBs1bPtQvrmV1+Bphka3E1spOa7LtDJzwHQAUrZ5SGyvAmXdLHcDAnodFLLUJrkRelRYq8M= Received: by 10.140.226.14 with SMTP id y14mr695492rvg.164.1199824525888; Tue, 08 Jan 2008 12:35:25 -0800 (PST) Received: by 10.140.134.3 with HTTP; Tue, 8 Jan 2008 12:35:25 -0800 (PST) Message-ID: <666572260801081235s7129e1dao7702a723b4c8f709@mail.gmail.com> Date: Tue, 8 Jan 2008 21:35:25 +0100 From: Adrien To: "Philippe Wang" Subject: Re : [Caml-list] An ocaml livecd Cc: caml-list@yquem.inria.fr In-Reply-To: <4d1b2df20801080830o592d9344t91f830ac2af71a97@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <666572260801080658o226cba0bs8696e3bf01e61e61@mail.gmail.com> <200801081517.34568.jon@ffconsultancy.com> <4d1b2df20801080829j8c2fecg5b2b06be665805c1@mail.gmail.com> <4d1b2df20801080830o592d9344t91f830ac2af71a97@mail.gmail.com> X-Spam: no; 0.00; ocaml:01 bug:01 ocamlopt:01 ocamlopt:01 ocaml:01 toplevel:01 bug:01 o'caml:01 o'caml:01 findlib:01 ledit:01 findlib:01 ledit:01 usr:01 emacs:01 First, I encountered a bug with ocamlopt, ocamlopt.opt : they do not run correctly and issue an "Input/Output error". The executables run correctly on my hard drive-installed system though. ocaml runs well though as the toplevel shows. Also, I have forgotten to include the firefox package/module as I don't use it myself (I don't like firefox that much...). The default browser, midori, is nice but beta especially with a tab-related bug (if you use only windows, not tab, you're safe). links is available if needed. 2008/1/8, Jon Harrop : > Great stuff! Thanks. :) > You might like to quantify the most popular libraries among OCaml > programmers > to make sure you provide what most people need. For example, the Ubuntu > package popularity contest gives: 2008/1/8, K.D.P.Ross : > I think the idea of an O'Caml live CD is fantastic! Would it be possible > to have > (or have options for) -- in addition to libraries -- all the O'Caml > "goodies" > like findlib, menhir, ledit, ocaml+twt, etc.? -or- Perhaps provide godi > and the > sources to compile / set up packages on demand? At first, I did not want to have too many things but I then realized ocaml libraries were usually small and installed in a clean way so I'll probably add many libraries. There won't be gl-related things though, or at least not now : gl applications needs somethings as mesa, proper drivers and the most difficult part, configuration. Currently the livecd uses vesa drivers, resolution ranges from 640x480 to 1280x1024 without problems and except for colour depth/xfce's terminal, display has worked everywhere I tried. Note findlib and ledit are already present but there is a bug I had forgotten about : findlib seems to really insist on using /usr/local which I don't want or fftw2 doesn't properly install (it gets installed in its source directory). I can't pronounce myself right now though. 2008/1/8, K.D.P.Ross : > -and- Would it also be possible to offer a choice between Taureg and the > O'Caml > Emacs mode (http://caml.inria.fr/pub/docs/u3-ocaml/emacs/ocaml.emacs.tgz)? Of course. Thanks for noticing me about the availability of the latter. 2008/1/8, Philippe Wang : > Hi! > > Maybe you should take a look at this page: > > http://www-sysdef.lip6.fr/~gonzales/knoppix/index.php > > (it's in French, and based on Knoppix 4 -- I see knoppix as the best > linux live CD, but I might be wrong...) > > It has been made for undergrad students of Paris 6 University > (http://www.upmc.fr), I think you can ask the author > Christophe.Gonzales/*/lip6.fr if you want to customize it a bit more. If I'm not mistaken, this is "Juppix" : Paris 6 is also called "Jussieu" and when you mix this name with "Knoppix", you get Juppix. ;) However Juppix is too heavy for what I have in mind. Moreover I have never been really happy with Knoppix or its derivatives : sure it is great but its size is an obstacle too performance. If you use a cd and especially on a laptop, you will nearly continuously hear the cd being accessed. 2008/1/8, Mehdi Dogguy : > You can try to make it work using an usb key. And could possibly then > add/remove any package. If you are a Debian lover, you can test it with : > http://live.debian.net/debian-cd/4.0_r0-rc1/i386/usb-hdd/ > or even > http://live.debian.net/debian-cd/4.0_r0-rc1/i386/iso-cd/ by editing ISOs You can make more than trying : you can make it. ;) I know many people who are using usb keys instead of CD/DVDs : they have a better throughput, are tinier and survive longer. Usb keys are nice when it comes to saving work you've done but, at least in its current implementation, this can also lead to problems when you try to have your changes automatically recorded (this is not available in this livecd atm). Hopefully this only happens after several times and hand-copying a package/module or saving a file won't do any damage. As for this cd, this is an excerpt of the build script: > echo "* run $CDDATA/$LIVECDNAME/make_iso.bat to create ISO image" > echo "* or copy content of $CDDATA to your USB device" > echo "and run ./boot/bootinst.sh (from the device!) to setup boot sector" If you try, please, don't forget the "from the device!" part. ;) --- Adrien Nader