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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8299E7EEB9 for ; Tue, 27 Oct 2015 11:06:28 +0100 (CET) IronPort-PHdr: 9a23:WNiVORHoLoCxDuM59rA4w51GYnF86YWxBRYc798ds5kLTJ7/ps+wAkXT6L1XgUPTWs2DsrQf27eQ6vurATNIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niqbroNaLPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCKJ6mERW35eshNVGxTA5Rf8FsP4tCfgu+Nm2CCHJdHzRLYycSjn6KFvSRnlzisKYXpxukjTg812xIxBoQmqp1Q/yordYYfTOuB/ZajdVdcXVWtPX4BaUCkASMvoZo8GDuxHM/xZtIL9j18DvRqwBE+nA+a5jncCjXbz2eg+0v89OQDAxg0pWdwU+jyAp9zwMOIWUPup5KjO1zTKKf1Mj2TT8o/NJ1oapvyDQah3aY6Z7EgkFwrIih/Y/YnkNDOc2+BLqG+W4PZ6UvqHimg7pgU3qT+qkJR/wrLVj54YnwiXvR5yx5w4cJjhEBZ2 Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga14.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=192.55.52.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 192.55.52.115 as permitted sender) identity=mailfrom; client-ip=192.55.52.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.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@mga14.intel.com) identity=helo; client-ip=192.55.52.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga14.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BCAADVSy9WnHM0N8BdhApvBr5mAQ0jgTcZhgECgTs4FAEBAQEBAQEBEAEBAQEBBg0JCSEuQRABgVmCCAEBBDoPQAIBCBASFBAyJQEBBAEaiCcBxXcBAQEHAQEBAQEBARyGeYR8hFw4gxqBFAWWOAGpVR8BAYJpgV1ygkqCHoEGAQEB X-IPAS-Result: A0BCAADVSy9WnHM0N8BdhApvBr5mAQ0jgTcZhgECgTs4FAEBAQEBAQEBEAEBAQEBBg0JCSEuQRABgVmCCAEBBDoPQAIBCBASFBAyJQEBBAEaiCcBxXcBAQEHAQEBAQEBARyGeYR8hFw4gxqBFAWWOAGpVR8BAYJpgV1ygkqCHoEGAQEB X-IronPort-AV: E=Sophos;i="5.20,204,1444687200"; d="scan'208";a="184624681" Received: from mga14.intel.com ([192.55.52.115]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Oct 2015 11:06:27 +0100 Received: from orsmga003.jf.intel.com ([10.7.209.27]) by fmsmga103.fm.intel.com with ESMTP; 27 Oct 2015 03:06:25 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,204,1444719600"; d="scan'208";a="672578207" Received: from irsmsx106.ger.corp.intel.com ([163.33.3.31]) by orsmga003.jf.intel.com with ESMTP; 27 Oct 2015 03:06:23 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.98]) by IRSMSX106.ger.corp.intel.com ([169.254.8.229]) with mapi id 14.03.0248.002; Tue, 27 Oct 2015 10:06:23 +0000 From: "Soegtrop, Michael" To: Andreas Hauptmann , "Alain Frisch (alain.frisch@lexifi.com)" , "caml-list@inria.fr" Thread-Topic: [Caml-list] flexdll issue with lablgtk Thread-Index: AdEQDXYjbgpi+vXnSGa5BnoLQ46tXAAg+cKAAANRqcA= Date: Tue, 27 Oct 2015 10:06:22 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE33C29@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE338FF@IRSMSX102.ger.corp.intel.com> In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.181] Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] flexdll issue with lablgtk Dear Andreas, Alain, I just wanted to confirm that e.g. the following does build lablgtk success= fully: make world || true x86_64-w64-mingw32-strip.exe --strip-unneeded src/dlllablgtk2.dll make world Best regards, Michael Intel Deutschland GmbH Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul Chairperson of the Supervisory Board: Tiffany Doon Silva Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928