caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: David MENTRE <dmentre@linux-france.org>
To: Edgar Friendly <thelema314@gmail.com>
Cc: Tiphaine Turpin <Tiphaine.Turpin@irisa.fr>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Batteries and portability
Date: Thu, 11 Jun 2009 17:42:03 +0200	[thread overview]
Message-ID: <3d13dcfc0906110842l7525b0b7uf78bbc41b6609fb2@mail.gmail.com> (raw)
In-Reply-To: <4A311067.5010905@gmail.com>

Hello,

On Thu, Jun 11, 2009 at 16:10, Edgar Friendly<thelema314@gmail.com> wrote:
> If someone has a solution for this, we'd love to solve this problem in a
> not-too-hackish way, but I worry that a non-camomile build of batteries
> is the only way to eliminate this dependency.  Of course it's possible
> to depend on files stored elsewhere, but camomile is quite set up to use
> external files for its unicode conversion tables.

Wouldn't it be possible to convert those files into OCaml strings and
use them instead? They would be included in the compiled module but
not incorporated in the final binary except if needed.

Yours,
david


  parent reply	other threads:[~2009-06-11 15:42 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-06-11  9:24 Tiphaine Turpin
2009-06-11 14:10 ` [Caml-list] " Edgar Friendly
2009-06-11 14:23   ` Tiphaine Turpin
2009-06-11 15:42   ` David MENTRE [this message]
2009-06-12 12:09     ` David Rajchenbach-Teller
2009-06-11 15:46 ` dmitry grebeniuk
2009-06-11 16:38   ` Tiphaine Turpin
2009-06-11 15:59 ` dmitry grebeniuk
2009-06-12 13:08   ` Tiphaine Turpin
2009-06-13 17:50     ` Peng Zang
2009-06-13 21:44       ` dmitry grebeniuk

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=3d13dcfc0906110842l7525b0b7uf78bbc41b6609fb2@mail.gmail.com \
    --to=dmentre@linux-france.org \
    --cc=Tiphaine.Turpin@irisa.fr \
    --cc=caml-list@yquem.inria.fr \
    --cc=thelema314@gmail.com \
    /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).