Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Dario Teixeira <dario.teixeira@nleyten.com>
To: caml-list <caml-list@inria.fr>
Subject: [Caml-list] Telling OCamlbuild via _tags that a file has no dependencies
Date: Wed, 14 Jan 2015 19:48:38 +0000	[thread overview]
Message-ID: <613c24f6412e9cd1d9aae73401e1a4e9@nleyten.com> (raw)

Hi,

(I was tipped off off-list that my previous emails on this subject
may have been eaten by an over-zealous spam-filter.  Hopefully a
change of domain will take care of that problem).

To summarise, I'm trying to use 4.02's newfangled no-alias-deps on
a project whose build system is generated via OASIS.  Problem is,
OASIS uses OCamlbuild, which relies on OCamldep, which is oblivious
to no-alias-deps.  Nevertheless, for this particular use case one
could get around OCamldep's limitations simply by telling OCamlbuild
that a given file has *no* dependencies, and therefore that it should
not invoke OCamldep for it.

I know that OCamlbuild's API includes a non_dependency function.  
However,
to make integration with OASIS easier, it would be useful if one could
also express the non dependency using only _tags.  Is this at all 
possible
somehow?  Or can someone think of an alternative method of achieving the
same goal?

Thanks in advance for your attention!
Best regards,
Dario Teixeira


                 reply	other threads:[~2015-01-14 19:48 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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=613c24f6412e9cd1d9aae73401e1a4e9@nleyten.com \
    --to=dario.teixeira@nleyten.com \
    --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