Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] Cannot "make base.opt" after making changes to asmcomp/closure.ml and asmcomp/compilenv.ml
@ 2015-06-17 15:11 Evgeny Roubinchtein
  0 siblings, 0 replies; only message in thread
From: Evgeny Roubinchtein @ 2015-06-17 15:11 UTC (permalink / raw)
  To: caml-list

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

Hello, OCaml users,

I am making some changes to the native compiler for my Master's project,
and I have found myself in a situtation where I can compile the native
compiler itself ("make opt"), but do not seem to be able to recompile the
native compiler itself ("make base.opt").  The error message is identical
to the message mentioned at http://caml.inria.fr/mantis/view.php?id=6344;
however, doing a "make bootstrap" and/or following the "Hard bootstrapping"
sequence in the top-level Makefile does not seem to help.  Interestingly
(or perhaps coincidentally), if I go back a couple of commits, then I can
build al the way to "make opt.opt", but I am not sure if I can somehow use
the native compiler to help me bootstrap the next version of the native
compiler.

I am not sure I see how the changes I made would cause misbehavior in the
main path of  the compiler (I am essentially adding a few extensions to
Lambda and Ulambda -- but my extensions, as near as I can tell, are
isolated from the standard OCaml language constructs).

Do you have ideas/suggestions?  Thank you in advance!

-- 
Best,
Evgeny

[-- Attachment #2: Type: text/html, Size: 1349 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2015-06-17 15:11 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-06-17 15:11 [Caml-list] Cannot "make base.opt" after making changes to asmcomp/closure.ml and asmcomp/compilenv.ml Evgeny Roubinchtein

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox