From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8CBC77EEBF for ; Wed, 17 Jun 2015 17:11:16 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of zhenya1007@gmail.com) identity=pra; client-ip=209.85.218.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of zhenya1007@gmail.com designates 209.85.218.51 as permitted sender) identity=mailfrom; client-ip=209.85.218.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f51.google.com) identity=helo; client-ip=209.85.218.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="postmaster@mail-oi0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CDBgCcjYFVlDPaVdFCGoNkXwaDGKgkAQaBToYNig2CEAEJhykHTAEBAQEBARIBAQEBBwsLCR8wQQWDdREdARseAxIJAQY3AiQBEQEFAVeHdwEDEg06o1CDMT4xiz+Ba4J5i1AKGScNV4UQAQUOhgyKTYIXDC8SgTEFjG2GeQKEU4Z0gXWUYRIjgQwJEYFqZ4FdHjEBgkcBAQE X-IPAS-Result: A0CDBgCcjYFVlDPaVdFCGoNkXwaDGKgkAQaBToYNig2CEAEJhykHTAEBAQEBARIBAQEBBwsLCR8wQQWDdREdARseAxIJAQY3AiQBEQEFAVeHdwEDEg06o1CDMT4xiz+Ba4J5i1AKGScNV4UQAQUOhgyKTYIXDC8SgTEFjG2GeQKEU4Z0gXWUYRIjgQwJEYFqZ4FdHjEBgkcBAQE X-IronPort-AV: E=Sophos;i="5.13,633,1427752800"; d="scan'208";a="165834989" Received: from mail-oi0-f51.google.com ([209.85.218.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Jun 2015 17:11:15 +0200 Received: by oial131 with SMTP id l131so36344830oia.3 for ; Wed, 17 Jun 2015 08:11:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=6uCJuwJEjhg97rQ4Vxl3ScUDMGXETx215+u3090Hc2Q=; b=vi6rbBn70UjqTO2p5GaXc2YalbvkzCulrcsElV4NRvAdvXHdLiOTdxNDmTopMWCq6T 2UJG63lo1l5r9xULS/9wYKsrjHI1633wTKtbNQKnX3Y5tOa/ewddxZvgJmLPFhycKRUj mlQJP5uLDQhNWlmxJKctQcYd6ev8FNu5jrbKjijY+Y9W2IdMe++w7nzO2S/UCIUrWlSX H2UDVosReyMz/VYdEYKR4cty70FgYT4B4ovc6TcSe8C104pBc40smP3Zbjjb5mHeSNUb kaZiQv5cL7apZtR1vo5aQDI9KDxs5YYTazKl2doNPUzMMpB5VI/m85t7LUTXhqmwvDrp n4GA== MIME-Version: 1.0 X-Received: by 10.202.232.69 with SMTP id f66mr4828520oih.18.1434553874382; Wed, 17 Jun 2015 08:11:14 -0700 (PDT) Received: by 10.60.156.193 with HTTP; Wed, 17 Jun 2015 08:11:14 -0700 (PDT) Date: Wed, 17 Jun 2015 08:11:14 -0700 Message-ID: From: Evgeny Roubinchtein To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a1141b93a18068b0518b81a1b X-Validation-by: zhenya1007@gmail.com Subject: [Caml-list] Cannot "make base.opt" after making changes to asmcomp/closure.ml and asmcomp/compilenv.ml --001a1141b93a18068b0518b81a1b Content-Type: text/plain; charset=UTF-8 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 --001a1141b93a18068b0518b81a1b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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 compile= r itself ("make opt"), but do not seem to be able to recompile th= e native compiler itself ("make base.opt").=C2=A0 The error messa= ge is identical to the message mentioned at http://caml.inria.fr/mantis/view.php?id=3D6344<= /a>; however, doing a "make bootstrap" and/or following the "= ;Hard bootstrapping" sequence in the top-level Makefile does not seem = to help.=C2=A0 Interestingly (or perhaps coincidentally), if I go back a co= uple of commits, then I can build al the way to "make opt.opt", b= ut I am not sure if I can somehow use the native compiler to help me bootst= rap the next version of the native compiler.


Do you have i= deas/suggestions?=C2=A0 Thank you in advance!

--
Best,
=
Evgeny
--001a1141b93a18068b0518b81a1b--