From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D10BC801D9 for ; Tue, 18 Jul 2017 15:50:42 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f170.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.170 as permitted sender) identity=mailfrom; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f170.google.com) identity=helo; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f170.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A069A2RftkqVEaVz9hOlzLNuylGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS4YR7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTy5OAo28?= =?us-ascii?q?YYUBDOQPIPhWoJXyqVYVsRu+HBOhCP/zxjNUhHL727Ax3eQ7EQHB2QwtB9MAv2?= =?us-ascii?q?7Po9XvNacdT+S1x7TVwzrfb/NZxy3955bSchs8pvyMUqh/ftHLyUkuCQzFik+c?= =?us-ascii?q?qZf5MDOVyOsNqXaU7/B7WOKgjm4osQBxojy1ysgwjYnJg5sYx1bZ/it3x4Y1IM?= =?us-ascii?q?e3SE99YdO8DZRfqTqVN4psTcMkWW1ovzw6yrIAtJWmfyYK0IwqywDDZ/GDaYSF?= =?us-ascii?q?4RLuWPyPLTtmin9pYq+zihSu/UWm1+byTNO70ExQoSpAitTMtm4C1xjU6sWfT/?= =?us-ascii?q?ty5Eah2TKW2wDS7eFIPVk4laTGJ5Mj3rI8jJUTsUPEHi/5nEX5krWaeVkj+uit?= =?us-ascii?q?8+jnY7PmqYGAN4JslA3yLqAjlta8DOk4KAQCQXaX9Oqm2LH+/0D1XK1Gjvgsna?= =?us-ascii?q?nYtJDaK94bpqm8AwJN3YYs8Q2wDy2n0NsGmXkLNklFdw6Hj4f3IVHBPur4AOyw?= =?us-ascii?q?g1SpijhrxvTGMqf9DZXKK3jPiK3hcqpl605A1AozyshS6I5OBbEEJPL/Q0vxtN?= =?us-ascii?q?3DDh8lKAG02ObmCNBl1owEQ26PA6mZMLnTsVCS/O4vLfOMN8cpv2PaL/Err97j?= =?us-ascii?q?l34/lhdJeq2g07MeZWi2GvkgL0jPMlT2hdJUPm4ApAszSKTRg12PSzNJLyK9Vq?= =?us-ascii?q?gm5zw/TpmtDYrZS5qFj7mI3SP9FZpTMDMVQmuQGGvlIt3XE8wHbzifd4o4ymQJ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AfAQBIEW5ZhqrfVdFcHQEFAQsBGAEFA?= =?us-ascii?q?QsBhBOBFAefaYkejGaCES6FFQICAoNKB0EWAQEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjMkAYJBAQIDIx0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhOKFgEDFRChej+MC?= =?us-ascii?q?oIEBQEcgwYFg2UKGScNVoJwAQEBAQEBBAEBAQEBAQEZAgEFEnmCHYNNhQWELzu?= =?us-ascii?q?DEzCCMQWfNIIlhSWMTJIvkBeDeBQfgRUlAYE7MSEjXhqCMYI5H4IPJDYBhieCM?= =?us-ascii?q?AEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AfAQBIEW5ZhqrfVdFcHQEFAQsBGAEFAQsBhBOBFAefaYk?= =?us-ascii?q?ejGaCES6FFQICAoNKB0EWAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMkAYJBAQIDI?= =?us-ascii?q?x0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhOKFgEDFRChej+MCoIEBQEcgwYFg2U?= =?us-ascii?q?KGScNVoJwAQEBAQEBBAEBAQEBAQEZAgEFEnmCHYNNhQWELzuDEzCCMQWfNIIlh?= =?us-ascii?q?SWMTJIvkBeDeBQfgRUlAYE7MSEjXhqCMYI5H4IPJDYBhieCMAEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,378,1496095200"; d="scan'208";a="231925778" Received: from mail-io0-f170.google.com ([209.85.223.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Jul 2017 15:50:41 +0200 Received: by mail-io0-f170.google.com with SMTP id l7so6827963iof.1 for ; Tue, 18 Jul 2017 06:50:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=yKjGaAT9hZOzGE+CGmMGSyRoh4nP4GsIPHPsiumUbWc=; b=TJF3B1jabhEk/gqlMGW75uoe2apcwUE8tCtt6w8l54DFxNzlQhvpeU+VekR1XQxv7A tN+oxObjBGpvZFpLzidtNdVKs4emac9EQg00ThTMaSsR9GlaSEhN7pl2oEoUVTSCRpoG 7zhtXeXv4eZRz3jWm0M1X5yOZf7DWYGK2YBqM797UDZCa0fEan4fvt9aR2ygTROVu0dD zejZVuRxw5Lwb9kgIqgnNa/0P3FtUXhAefhM5sVvzxdfeH477CQ4n18Df+YJbSXgRWqb lmomaq+10mZ+2BGnm0AxAh0ZOIgZdKmI+Fs04DU8sbvzThjBmg6vVZsua5zsvlASQ5fi 35aA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=yKjGaAT9hZOzGE+CGmMGSyRoh4nP4GsIPHPsiumUbWc=; b=l83fOM3SBgHjnER6P96zMOWS5sIhczeq7iqtKpgLWhnLqdRUIcErXtUEfqEQ1Xdu0d 23b32ZEJr1oNLeFS17pJ16C0omJVIvcWiaecVhWWe0yXRZhulJxu3Yoa08IqjSj39k+I 6YIvbUtmhgyP+P7/iMjhFPECExB9GQ0LW4/n8nPERJegBULg2HWTyoCBoNSV9nFVfEA5 KTk2kiEtXhnknei/o3mTJCLSXhCK1IDcyt2eeuqn8/Tscra+/5VLnGRqCumD0tYRuzsx GYqz+PS+IG3ozwjDWfDJ6L8hZHP/nDMvJFOH9WsdKveRDKTIBUPkw3QXk7CcsiRNJD3X SHOw== X-Gm-Message-State: AIVw113NGwcnD0L/KmcT2YlmWJ0drr2/mnS+hjZco6FvFKxlu6f8fGKJ t8DHsm+jmzMZ4xhSjdlDmnLs6qsmEQ== X-Received: by 10.107.153.140 with SMTP id b134mr1623646ioe.79.1500385839805; Tue, 18 Jul 2017 06:50:39 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.7.6 with HTTP; Tue, 18 Jul 2017 06:49:59 -0700 (PDT) In-Reply-To: <20170718134143.GD2151@aepfle.de> References: <20170718090258.GB2151@aepfle.de> <20170718134143.GD2151@aepfle.de> From: Gabriel Scherer Date: Tue, 18 Jul 2017 09:49:59 -0400 Message-ID: To: Olaf Hering Cc: =?UTF-8?Q?St=C3=A9phane_Glondu?= , caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] removal of C compiler variables in in 4.06 I think that it should not be too hard to use a bash sleight-of-hand to define a variable as BYTECC if it is defined and CC otherwise (or the other way around), to get a labltk makefile that works with both. (The Texp_function change is harder and you may need version-conditional preprocessing, typically using cppo, to handle them; this is the price to pay for accessing unstable compiler-internal definitions.) Note that labltk is currently hosted on the OCaml Forge, which is due to be closed soon, so moving to a different place would be required. If you are interested in labltk and helping its maintenance, you should contact the current maintainers, who may welcome help for the migration and the kind of maintenance work this thread is about. On Tue, Jul 18, 2017 at 9:41 AM, Olaf Hering wrote: > On Tue, Jul 18, St=C3=A9phane Glondu wrote: > >> FYI, I've fixed labltk with 4.05 in the Debian package (not yet uploaded= ): >> https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/labltk.git/tree= /debian/patches > > Thanks, I came up with the same changes, execpt the one for > "Texp_function". > > Olaf