caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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


  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).