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 422ED7EEB9 for ; Tue, 27 Oct 2015 10:05:26 +0100 (CET) IronPort-PHdr: 9a23:AVhBsxw1/IMG/TPXCy+O+j09IxM/srCxBDY+r6Qd0OIRIJqq85mqBkHD//Il1AaPBtWGrasewLOP7ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZ3tnLnrptX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DDFQRGC72BUcmwLigZNCg7DpEXzWJvrvyLhtuNgwDWfNMvwZaxxXjKm7qFmDhPl3mNPHjow8WefpNZxl6lb6EaooxV+xcjaeoCOP/pWeq7NfN0bA2FGW5AVH2ZKC4a4Ko8OFPYpPOBCroC7qUFE5U+1DAyoQefu0SNgh3ns3KR83f53Qi/c2wl1VekJvXvIttLtcO83UOu1xaTMh32XavJd2T7w7M7TdR0uveuLRZpxd9bczQ8kEAaT3QbYkpDsIz7AjrdFiGOc9ec1ELv302M= 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@mga03.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=134.134.136.65; 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 134.134.136.65 as permitted sender) identity=mailfrom; client-ip=134.134.136.65; 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@mga03.intel.com) identity=helo; client-ip=134.134.136.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga03.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AxAACXPS9WnEGIhoZehApvBr5fDiOBNxmGAQKBPTgUAQEBAQEBAQEQAQEBAQEGDQkJIS6CK4IIAQEESSsVAgEIEBIkAjAlAQEEARoGiCEBxXgBAQEBAQEEAQEBAQEBAQEBEQmGeYR8hFwWIoMagRQFljcBglCBYaUgHwGCaoFdcoRogQYBAQE X-IPAS-Result: A0AxAACXPS9WnEGIhoZehApvBr5fDiOBNxmGAQKBPTgUAQEBAQEBAQEQAQEBAQEGDQkJIS6CK4IIAQEESSsVAgEIEBIkAjAlAQEEARoGiCEBxXgBAQEBAQEEAQEBAQEBAQEBEQmGeYR8hFwWIoMagRQFljcBglCBYaUgHwGCaoFdcoRogQYBAQE X-IronPort-AV: E=Sophos;i="5.20,204,1444687200"; d="scan'208";a="184609062" Received: from mga03.intel.com ([134.134.136.65]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Oct 2015 10:05:23 +0100 Received: from orsmga002.jf.intel.com ([10.7.209.21]) by orsmga103.jf.intel.com with ESMTP; 27 Oct 2015 02:05:21 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,204,1444719600"; d="scan'208";a="835946881" Received: from irsmsx101.ger.corp.intel.com ([163.33.3.153]) by orsmga002.jf.intel.com with ESMTP; 27 Oct 2015 02:05:21 -0700 Received: from irsmsx155.ger.corp.intel.com (163.33.192.3) by IRSMSX101.ger.corp.intel.com (163.33.3.153) with Microsoft SMTP Server (TLS) id 14.3.248.2; Tue, 27 Oct 2015 09:05:20 +0000 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.98]) by irsmsx155.ger.corp.intel.com ([169.254.14.242]) with mapi id 14.03.0248.002; Tue, 27 Oct 2015 09:05:19 +0000 From: "Soegtrop, Michael" To: Andreas Hauptmann , Alain Frisch , "caml-list@inria.fr" Thread-Topic: [Caml-list] flexdll issue with lablgtk Thread-Index: AdEQDXYjbgpi+vXnSGa5BnoLQ46tXAAg+cKAAADeVGA= Date: Tue, 27 Oct 2015 09:05:19 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE33BA4@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: yes X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.181] Content-Type: multipart/mixed; boundary="_002_0F7D3B1B3C4B894D824F5B822E3E5A172CE33BA4IRSMSX102gercor_" MIME-Version: 1.0 Subject: RE: [Caml-list] flexdll issue with lablgtk --_002_0F7D3B1B3C4B894D824F5B822E3E5A172CE33BA4IRSMSX102gercor_ Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Dear Andreas, Alain, since it was already almost through, I finished the flexdll bootstrapping b= uild (get binary flexdll - build Ocaml - build flexdll - rebuild Ocaml) wit= h the modified flexdll sources (patch attached for reference). My build env= ironment is Mingw64 host/target build on Cygwin64. My observations are: - Some Ocaml binaries are substantially different between the first and sec= ond build (not just different build path). Not sure if this is expected. - Menhir, CamlP4 and CamlP5 build fine with the second stage Ocaml, but I d= idn't test if they work. I run all my scripts with "set -o errexit", so I a= m quite sure that it was successful if it runs through. - lablgtk make stops essentially with the first build command =20 make -C src world make[1]: Entering directory '/home/soegtrop/OCAML/lablgtk-2.18.3/src' ocamlc.opt -c -pp "camlp4o -impl" -impl varcc.ml4 Fatal error: cannot load shared library dllunix Reason: Invalid access to memory location. File "varcc.ml4", line 1: Error: Error while running external preprocessor Command line: camlp4o -impl "varcc.ml4" > D:\bin\cygwin64test\tmp\ocamlppa= 21f37 So as it looks this change results in a corrupted dllunix library. I will now try the approach suggested by Andreas. 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 --_002_0F7D3B1B3C4B894D824F5B822E3E5A172CE33BA4IRSMSX102gercor_ Content-Type: application/octet-stream; name="flexdll-0.34.patch" Content-Description: flexdll-0.34.patch Content-Disposition: attachment; filename="flexdll-0.34.patch"; size=1088; creation-date="Tue, 27 Oct 2015 08:23:41 GMT"; modification-date="Tue, 27 Oct 2015 08:02:13 GMT" Content-Transfer-Encoding: base64 ZGlmZiAtYyBmbGV4ZGxsLTAuMzQub3JpZy9yZWxvYy5tbCBmbGV4ZGxsLTAu MzQucGF0Y2hlZC9yZWxvYy5tbAoqKiogZmxleGRsbC0wLjM0Lm9yaWcvcmVs b2MubWwJMjAxNS0wMS0yMiAxNzozMDowNy4wMDAwMDAwMDAgKzAxMDAKLS0t IGZsZXhkbGwtMC4zNC5wYXRjaGVkL3JlbG9jLm1sCTIwMTUtMTAtMjcgMDk6 MDE6MDYuMTQ2MDk5NDAwICswMTAwCioqKioqKioqKioqKioqKgoqKiogMzQ2 LDM1MSAqKioqCi0tLSAzNDYsMzU0IC0tLS0KICAgICAgKSBlbHNlIHRydWUK ICAgIGluCiAgICBsZXQgc2VjdGlvbiBzZWMgPQorICAgICAoKiBNLlNPRUdU Uk9QOiBkaXNhYmxlZCBjYXVzZSBvZiBwcm9ibGVtcyB3aXRoIGxhYmxndGsg Zm9yIG1pbmd3NjQgYnVpbGQgb24gY3lnd2luLgorICAgICAgICBTZWUgaHR0 cHM6Ly9naXRodWIuY29tL2FsYWluZnJpc2NoL2ZsZXhkbGwvY29tbWl0LzM3 ZTZiNWFkOTA0YjBkNDY0OGNlYmIwOWMxOWVkMTBlNmY4ZGVhMjgKKyAgICAg ICAgCiAgICAgIGlmIHNlYy5zZWNfb3B0cyAmJiYgMHgxMDAwbCA8PiAwbCAm JiBoYXNfcHJlZml4ICIucmRhdGEkLnJlZnB0ci4iIHNlYy5zZWNfbmFtZSB0 aGVuCiAgICAgICAgYmVnaW4KICAgICAgICAgICgqIHVuZGVyIEN5Z3dpbjY0 LCBnY2MgaW50cm9kdWNlcyBtZXJnYWJsZSAobGluayBvbmNlKSBDT01EQVQg c2VjdGlvbnMgdG8gc3RvcmUKKioqKioqKioqKioqKioqCioqKiAzNTQsMzU5 ICoqKioKLS0tIDM1NywzNjMgLS0tLQogICAgICAgICAgc2VjLnNlY19vcHRz IDwtIDB4YzA1MDAwNDBsOwogICAgICAgICAgc2VjLnNlY19uYW1lIDwtIFBy aW50Zi5zcHJpbnRmICIuZmxleHJlZnB0cnNlY3Rpb24laSIgKE9vLmlkIChv YmplY3QgZW5kKSk7CiAgICAgICAgZW5kOworICAgICAqKQogIAogICAgICBs ZXQgbWluID0gcmVmIEludDMyLm1heF9pbnQgYW5kIG1heCA9IHJlZiBJbnQz Mi5taW5faW50IGluCiAgICAgIGxldCBzeW0gPSBsYXp5IChsZXQgcyA9IFN5 bWJvbC5pbnRlcm4gc2VjIDBsIGluCkNvbW1vbiBzdWJkaXJlY3Rvcmllczog ZmxleGRsbC0wLjM0Lm9yaWcvdGVzdCBhbmQgZmxleGRsbC0wLjM0LnBhdGNo ZWQvdGVzdAo= --_002_0F7D3B1B3C4B894D824F5B822E3E5A172CE33BA4IRSMSX102gercor_--