From: Hendrik Boom <hendrik@topoi.pooq.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Oasis strange behavior
Date: Fri, 23 Sep 2016 10:47:39 -0400 [thread overview]
Message-ID: <20160923144738.GA14698@topoi.pooq.com> (raw)
In-Reply-To: <322479DE-44EB-4EB2-BCEC-8782C16FAAAA@m4x.org>
I've had that problem with Modula 3 compilation (nothing to do with
OCaml, but the cause may be similar. It seems to be failure in the
mechnism that does dependency analysis and determined what has to be
recompiled from scratch insted of from original source. The bug
hasn't been tracked down in Modula 3 either.
Deleting all compiler-generated files (which Modula 3 conveniently
keeps segregated in a directory of their own) makes everything work
again. After doing this, of course it isn't repeatable either.
-- hendrik
On Fri, Sep 23, 2016 at 07:24:12AM +0200, Simon Cruanes wrote:
> I have had the same issue (twice), but after randomly removing setup.*, _build, and the likes it worked again (and of course I could not reproduce later).
> --
> Simon
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
next prev parent reply other threads:[~2016-09-23 14:48 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-22 21:37 Yann Hamdaoui
2016-09-23 5:24 ` Simon Cruanes
2016-09-23 14:47 ` Hendrik Boom [this message]
2016-09-26 2:20 ` Boutillier, Pierre
2016-09-28 18:30 ` Ivan Gotovchits
2016-09-28 20:24 ` Yann Hamdaoui
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=20160923144738.GA14698@topoi.pooq.com \
--to=hendrik@topoi.pooq.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