caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Ocamlbuild_config
@ 2008-06-23 10:55 Matthieu Dubuget
  2008-06-23 11:10 ` [Caml-list] Ocamlbuild_config Nicolas Pouillard
  0 siblings, 1 reply; 2+ messages in thread
From: Matthieu Dubuget @ 2008-06-23 10:55 UTC (permalink / raw)
  To: caml-list

Hello,

during installation, one Caml module named Ocamlbuild_config is created
(at least when the ocamlbuild method is used).

Is this module installed anywhere, and are the values listed in it
accessible from an ocamlbuild plugin?

That would avoid to call ocamlc or ocamlopt and parse results.

Thanks

Ciao

Matt


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] Ocamlbuild_config
  2008-06-23 10:55 Ocamlbuild_config Matthieu Dubuget
@ 2008-06-23 11:10 ` Nicolas Pouillard
  0 siblings, 0 replies; 2+ messages in thread
From: Nicolas Pouillard @ 2008-06-23 11:10 UTC (permalink / raw)
  To: matthieu.dubuget; +Cc: caml-list

[-- Attachment #1: Type: text/plain, Size: 528 bytes --]

Excerpts from matthieu.dubuget's message of Mon Jun 23 12:55:56 +0200 2008:
> Hello,
> 
> during installation, one Caml module named Ocamlbuild_config is created
> (at least when the ocamlbuild method is used).
> 
> Is this module installed anywhere, and are the values listed in it
> accessible from an ocamlbuild plugin?

Not it is not installed.

> That would avoid to call ocamlc or ocamlopt and parse results.

Yes but this would add an extra effort about the maintainability of this file.

-- 
Nicolas Pouillard aka Ertai

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 194 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2008-06-23 11:11 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-06-23 10:55 Ocamlbuild_config Matthieu Dubuget
2008-06-23 11:10 ` [Caml-list] Ocamlbuild_config Nicolas Pouillard

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).