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/
next prev parent 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