caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
To: leary@nwlink.com
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Caml toplevel and readline
Date: Thu, 14 Jun 2001 17:36:11 +0900	[thread overview]
Message-ID: <20010614173611H.garrigue@kurims.kyoto-u.ac.jp> (raw)
In-Reply-To: <20010614005154.A28131@jean>

It looks like you've got the wrong subject line.
>From the context, you seem to be talking about GNU readline.

From: leary@nwlink.com
Subject: Re: [Caml-list] Repeat: is there a Qt binding for OCaml?

> Any chance of changing to or adding GPL?

To what? To the caml toplevel? And the bytecode compiler since it is
included? I'm in no position to answer, but if the goal is only to use
GNU readline, then I do not really see the point. There are many
alternatives avilable. Only very few libraries are distributed under
the GPL, and most of them you would not want to include by default in
the ocaml toplevel. (It might be OK to link with them as long as
you do not distribute the result, but I'm no expert in GPL.)

> Anyone written/writing a wrapper?

I don't know of any. Again, GNU readline, while being a useful tool,
is not unique, and making ledit into a library might be more
interesting.

Best regards,

Jacques Garrigue
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


  reply	other threads:[~2001-06-14  8:36 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-06-13 20:37 [Caml-list] Repeat: is there a Qt binding for OCaml? Adriaan de Groot
2001-06-14  6:57 ` Jacques Garrigue
2001-06-14  7:51   ` leary
2001-06-14  8:36     ` Jacques Garrigue [this message]
2001-06-14 15:25     ` Chris Curtis
2001-06-15  9:55       ` Sven LUTHER
2001-06-14 15:22   ` Chris Curtis
  -- strict thread matches above, loose matches on Subject: below --
2001-06-13 16:37 [Caml-list] Caml toplevel and readline John Max Skaller
2001-06-14  6:40 ` Mark Wotton
2001-06-14  6:45 ` Jacques Garrigue
2001-06-14 10:32   ` leary
2001-06-14 15:47   ` Brian Rogoff
2001-06-14 19:43   ` John Max Skaller
2001-06-14 21:03     ` Pierre Weis
2001-06-15  5:05       ` leary
2001-06-15 10:21         ` Daniel de Rauglaudre
2001-06-15 20:59       ` John Max Skaller
2001-06-15  9:13     ` Alan Schmitt
2001-06-15 14:12       ` Brian Rogoff
2001-06-15  9:34   ` Sven LUTHER
2001-06-16 17:46     ` leary
2001-06-18  7:32   ` Xavier Leroy
2001-06-18  9:48     ` Jacques Garrigue
2001-06-18 16:34       ` John Max Skaller
2001-06-19  1:39         ` Jacques Garrigue
2001-06-19 10:10           ` Sven LUTHER
2001-06-19 10:06         ` Sven LUTHER
     [not found]         ` <9gnrcd$4bv$1@qrnik.zagroda>
2001-06-21  6:05           ` Marcin 'Qrczak' Kowalczyk
2001-06-21  6:40             ` leary
2001-06-21  7:01               ` Jacques Garrigue
2001-06-22 14:56 ` Sven LUTHER
2001-06-22 15:36   ` Brian Rogoff
2001-06-24 20:59     ` Sven LUTHER
2001-06-22 17:52   ` Daniel de Rauglaudre

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=20010614173611H.garrigue@kurims.kyoto-u.ac.jp \
    --to=garrigue@kurims.kyoto-u.ac.jp \
    --cc=caml-list@inria.fr \
    --cc=leary@nwlink.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).