From: roberto@dicosmo.org
To: Sven Luther <luther@dpt-info.u-strasbg.fr>
Cc: roberto@dicosmo.org, Brian Hurt <brian.hurt@qlogic.com>,
Francois Rouaix <francois@rouaix.org>,
caml-list@inria.fr
Subject: Re: [Caml-list] Alternative proposal: COAN
Date: Tue, 25 Feb 2003 14:36:21 +0100 [thread overview]
Message-ID: <15963.29013.441245.60727@gargle.gargle.HOWL> (raw)
In-Reply-To: <20030225132032.GA2942@iliana>
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 <luther@dpt-info.u-strasbg.fr> 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
next prev parent reply other threads:[~2003-02-26 13:17 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-02-24 16:54 Benjamin C. Pierce
2003-02-24 18:24 ` Chris Hecker
2003-02-24 20:17 ` Francois Rouaix
2003-02-24 20:28 ` Basile STARYNKEVITCH
2003-02-24 21:03 ` Brian Hurt
2003-02-24 21:10 ` Brian Hurt
2003-02-24 21:22 ` Benjamin C. Pierce
2003-02-25 10:54 ` roberto
2003-02-25 13:20 ` Sven Luther
2003-02-25 13:36 ` roberto [this message]
2003-02-25 16:07 ` Sven Luther
2003-02-25 14:17 ` MikhailFedotov
2003-02-25 17:15 ` Eric C. Cooper
2003-02-25 21:48 ` Michal Moskal
2003-02-25 22:14 ` Lauri Alanko
2003-02-26 14:06 ` Sven Luther
2003-02-27 8:05 ` Blair Zajac
2003-02-27 8:29 ` Xavier Leroy
2003-02-23 16:51 ` Chet Murthy
2003-02-27 15:39 ` [Caml-list] hierarchical modules John Carr
2003-03-01 18:09 ` [Caml-list] " Xavier Leroy
2003-03-01 18:18 ` Michal Moskal
2003-03-02 15:58 ` Xavier Leroy
2003-02-25 22:59 ` [Caml-list] Alternative proposal: COAN Sven Luther
2003-02-26 9:47 ` Michal Moskal
2003-02-26 10:11 ` Sven Luther
2003-02-26 10:26 ` Michal Moskal
2003-02-26 11:53 ` Sven Luther
2003-02-26 10:35 ` Olivier Andrieu
2003-02-26 12:03 ` Sven Luther
2003-02-27 3:19 ` Nicolas Cannasse
2003-02-23 15:05 ` Chet Murthy
2003-02-27 4:54 ` Nicolas Cannasse
2003-02-23 16:13 ` Chet Murthy
2003-02-27 9:20 ` Sven Luther
2003-02-27 10:39 ` Damien Doligez
2003-02-28 9:20 ` Jacques Garrigue
2003-02-28 10:53 ` Sven Luther
2003-02-28 12:28 ` Jean-Christophe Filliatre
2003-02-28 13:08 ` Markus Mottl
2003-02-28 13:27 ` Sven Luther
2003-02-28 14:05 ` Jean-Christophe Filliatre
2003-02-28 14:43 ` Sven Luther
2003-02-28 15:58 ` Benjamin C. Pierce
2003-03-01 18:03 ` Michal Moskal
2003-03-01 8:14 ` Blair Zajac
2003-03-02 18:21 ` Xavier Leroy
2003-03-02 20:09 ` Sven Luther
2003-03-02 21:38 ` Doug Bagley
2003-03-03 2:39 ` Nicolas Cannasse
2003-03-03 9:07 ` Sven Luther
2003-03-03 9:24 ` Nicolas Cannasse
2003-03-03 9:37 ` Sven Luther
2003-02-26 18:42 Jeff Bowden
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=15963.29013.441245.60727@gargle.gargle.HOWL \
--to=roberto@dicosmo.org \
--cc=brian.hurt@qlogic.com \
--cc=caml-list@inria.fr \
--cc=francois@rouaix.org \
--cc=luther@dpt-info.u-strasbg.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).