From: Maxence Guesdon <maxence.guesdon@inria.fr>
To: David MENTRE <david.mentre@gmail.com>
Cc: Samuel Mimram <samuel.mimram@ens-lyon.org>,
Sylvain Le Gall <sylvain.le-gall@polytechnique.org>,
caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] Looking for a configuration file library
Date: Wed, 28 Sep 2005 09:06:38 +0200 [thread overview]
Message-ID: <20050928090638.5a654e1b@tintin.inria.fr> (raw)
In-Reply-To: <3d13dcfc0509272359142e0513@mail.gmail.com>
On Wed, 28 Sep 2005 08:59:45 +0200
David MENTRE <david.mentre@gmail.com> wrote:
> Hello,
>
> 2005/9/27, Samuel Mimram <samuel.mimram@ens-lyon.org>:
> [ About Config_file ]
> > Well, apparently it's now part of the new cameleon library which is
> > packaged in Debian. So I guess it's just a matter of time, until the
> > package gets updated.
>
> While browsing the debian packaging of Cameleon, I noticed that there
> is a liboptions-ocaml-dev for cameleon 1.3. Is it the same library
> that we are speaking about or a different one?
> http://packages.debian.org/stable/libdevel/liboptions-ocaml-dev
The Config_file library was originally the Options library included in Cameleon.
Jean-Baptiste Rouquier made from Options an object-oriented library,
Config_file, which is also easier to use.
In Cameleon2, the Options library has been replaced by the Config_file library.
So the Config_file library can be retrieved separately or with Cameleon2.
Regards,
--
Maxence Guesdon
next prev parent reply other threads:[~2005-09-28 7:06 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-09-27 13:09 David MENTRE
2005-09-27 13:23 ` [Caml-list] " Bruno De Fraine
2005-09-27 16:26 ` Samuel Mimram
2005-09-28 6:59 ` David MENTRE
2005-09-28 7:06 ` Maxence Guesdon [this message]
2005-09-27 17:02 ` brogoff
2005-09-28 7:06 ` David MENTRE
2005-09-28 15:15 ` brogoff
2005-09-28 16:37 ` skaller
2005-09-28 16:55 ` brogoff
2005-09-29 3:33 ` skaller
2005-09-29 4:02 ` brogoff
2005-09-29 7:24 ` Christian Lindig
2005-09-28 15:40 ` skaller
2005-10-05 10:16 ` Richard Jones
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=20050928090638.5a654e1b@tintin.inria.fr \
--to=maxence.guesdon@inria.fr \
--cc=caml-list@inria.fr \
--cc=david.mentre@gmail.com \
--cc=samuel.mimram@ens-lyon.org \
--cc=sylvain.le-gall@polytechnique.org \
/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