caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Camlp4s 4.02
Date: Tue, 10 Jul 2007 14:19:54 +0200	[thread overview]
Message-ID: <20070710121954.GB7621@yquem.inria.fr> (raw)
In-Reply-To: <20070710113259.GA16672@takhisis.invalid>

Hi,

On Tue, Jul 10, 2007 at 01:32:59PM +0200, Stefano Zacchiroli wrote:

> Does this also mean that it can be installed as a drop-in extension on
> top of OCaml >= 3.10?  Would CamlP4s conflict with the new CamlP4 which
> is shipped by OCaml itself?

Interesting question, thank you for asking :-)

Well, since my camlp4 is in the continuity of the previous official
one (what the "new" camlp4 is not), I did not change the names of
the commands, nor library files.

I may do, since I don't have the "official" version. I may change it
into "camlp5", "camlp42", or other without "camlp".

It does not help me, since I should also change the Makefiles of my
other programs, which are no more compilable with the "new" camlp4, to
call my camlp4 commands.

It is the reason why I kept the name, and I still hesitate to change.

In practice:

  While running "configure" without parameters, the binaries will be
  installed (after compilation) at the same place than the camlp4
  binaries installed by ocaml, overwriting them. The library files
  are installed in the directory "ocaml library +camlp4", the official
  one being moved to "ocaml library +ocamlp4".

  Otherwise, you can "configure" by using the parameters "-bindir",
  "-libdir", "-mandir", or, globally, "-prefix", to specify another
  installation place. In that case, the option "-I +camlp4" does not
  work in ocamlc, you have to use "-I $(camlp4 -where)" instead.

If I change the name, there will be no more problem of installing.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/


  reply	other threads:[~2007-07-10 12:19 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-07-09  9:40 Daniel de Rauglaudre
2007-07-09  9:58 ` [Caml-list] " Joel Reymont
2007-07-09 11:28   ` skaller
2007-07-10  8:33     ` Daniel de Rauglaudre
2007-07-10  9:08       ` skaller
2007-07-10  9:38         ` Olivier Andrieu
2007-07-10 13:19           ` Nicolas Pouillard
2007-07-10 11:13         ` Daniel de Rauglaudre
2007-07-10 13:05           ` skaller
2007-07-10 13:53             ` Daniel de Rauglaudre
2007-07-09 11:51   ` Richard Jones
2007-07-10 11:32 ` Stefano Zacchiroli
2007-07-10 12:19   ` Daniel de Rauglaudre [this message]
2007-07-10 12:33     ` Stefano Zacchiroli
2007-07-10 15:04       ` [Caml-list] Camlp4s 4.02 -> 4.03 Daniel de Rauglaudre
2007-07-10 15:08         ` Stefano Zacchiroli
2007-07-10 22:39           ` Markus E.L.
2007-07-10 23:30             ` [Caml-list] camlp4..camlp5 Daniel de Rauglaudre
2007-07-11  6:45               ` Stefano Zacchiroli
2007-07-11 10:54                 ` Markus E.L.
2007-07-11 16:11                 ` Daniel de Rauglaudre
2007-07-11 10:52               ` Markus E.L.
2007-07-11  7:52             ` [Caml-list] Camlp4s 4.02 -> 4.03 Nicolas Pouillard
2007-07-10 15:17         ` skaller
2007-07-10 15:46           ` Till Varoquaux
2007-07-10 15:58             ` skaller
2007-07-10 16:08               ` Till Varoquaux
2007-07-10 16:46                 ` skaller
2007-07-10 13:12     ` [Caml-list] Camlp4s 4.02 skaller
2007-07-10 13:54       ` Daniel de Rauglaudre
2007-07-10 14:40     ` Yitzhak Mandelbaum

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=20070710121954.GB7621@yquem.inria.fr \
    --to=daniel.de_rauglaudre@inria.fr \
    --cc=caml-list@inria.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).