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 c5ff346549e7 (Postfix) with ESMTP id 5C1435D4 for ; Sun, 30 Jun 2019 12:15:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,434,1557180000"; d="scan'208,217";a="389750091" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Jun 2019 14:15:17 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 14C26826E4; Sun, 30 Jun 2019 14:15:17 +0200 (CEST) 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 AAD268247D for ; Sun, 30 Jun 2019 14:15:08 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=per.larsson@prover.com; spf=Pass smtp.mailfrom=per.larsson@prover.com; spf=Pass smtp.helo=postmaster@EUR04-DB3-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AVSVKEx/6Tj5RF/9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?2ukcTK2v8tzYMVDF4r011RmVBN+dsa4P17We8/i5HzBZuNDZ6DFKWacPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sBvdutMIjYZtJao8xRnEqWZMd+?= =?us-ascii?q?hK2G9kP12ekwvh6suq4JJv7yFcsO89+sBdVqn3Y742RqFCAjQ8NGA16szrtR3d?= =?us-ascii?q?QgaK+3ARTGYYnAdWDgbc9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9KhkVhnlgz?= =?us-ascii?q?oaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjeK7WYNEUSndbXstJVyJPHJ6y?= =?us-ascii?q?b5cBAeQCPOZXs4byqkAUoheiGQWhHv/jxiNWinLwwKY00/4hEQbD3AE4BdwBrm?= =?us-ascii?q?7Up8jzOqgIS+C117LIzTLFb/hL3jr98JbHcgo7rfGIR71wa9HRyVIoFwPDlViQ?= =?us-ascii?q?sZblPzSL1usTqWiX9fZvVeWqi2M+rQx6vzuhxt80h4TGmo4Z0E3I+Tl7zYovJN?= =?us-ascii?q?C0UlN3bNClHZdIsyyXN5F6Tt4mTm12oio21KMKtYOhcCQU1ZgqwwbTa/KZfIWL?= =?us-ascii?q?/h7uUeOcLilki39reb+yghe//Emux+3yU8S51FVHoTdLktTJt30A1R/e5tSBR/?= =?us-ascii?q?Bg5EmuwyyP2BrW6uxcIUA7i67bK5k5z7A/mJUdrVjPEyDvlEv4kaKbeFwo+u+z?= =?us-ascii?q?5Ov5eLnmoYKcN5NvhQH5L6QunNGwDf4gMggUWGib5fqz26H//U34R7VKiOc6kq?= =?us-ascii?q?7EsJDGIcQboam5AwxP3ok/7Ba/Ci+q0NUenXYZMFJIYB2Kg5TzN13TPPz1D+2z?= =?us-ascii?q?jlW2nDt2yf3LP6XtApDXIXjClLfhc6x960lZyAcr1dBQ+YhUBqsFIP3pQE/xr8?= =?us-ascii?q?fYDhg/MwGv2+bnEtJ91p0AVmKVGKOWLKTSsVqQ6uI1P+aMfJMVuCr6K/U9+/Hh?= =?us-ascii?q?l3o5mVsEcamt3JsXc2y4E+99I0SZZHrsms0OHX0Lvgo4VuzqiUeNXSRdZ3aoDO?= =?us-ascii?q?oA4WRxA4ujCcLHR5uxqL2HxiayWJNMLCgSAVmJFTLsdp6Yc/YKciObZMF7xG8q?= =?us-ascii?q?T7+kHrcsz1mKvRXh0L1hZr7M9zdesZv5z8Ny4cXLjxYs+CYyBMOYhTLeB1pol3?= =?us-ascii?q?8FEmdllJt0plZwnw/ajfpIxsdAHNkW3MtnFx8gPMeGnfRgDM7/QETKedLbEA/7?= =?us-ascii?q?EOXjOik4S5cK+/FLY0t5HIn93D3+5XL2RpM/zPmMDpFy9b/A1X/sIco702zByK?= =?us-ascii?q?Qqk1ghRI1IKHGigal8sQPUAtyQyhTLp+ORba0ZmRX12iKGxGuKsltfVVcqA73f?= =?us-ascii?q?Wm4SfA3dqtGrv04=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgIQCgphhdh4gGayhlHQEBHwUBBgGBR?= =?us-ascii?q?QcBAwGBEhsCAQEBAQ5QbXUECygKh1oDhTGJLZtOgSMDVAkBAwELAS0CAQGEQAK?= =?us-ascii?q?DHAYBBDYEDQEDAQEEAQECAQIDARMBAQEIDQkIKYo+AQuCOiKDBy4BATgRAQx0J?= =?us-ascii?q?wQbGoMAAYEdTQMeAgGYbQKBOIhfAQGCIoJ5AQEFhRIYVIE9CYEyAgEBAQEBAY0?= =?us-ascii?q?wP4FXh1CDOoImk16WVQcCghhdBJM0giuVPo0wgTCVcwIEAgQFAg4BAQWBagyBa?= =?us-ascii?q?k0jgzyCW4NXilNBMYEpjFcBgSABAQ?= X-IPAS-Result: =?us-ascii?q?A0DgIQCgphhdh4gGayhlHQEBHwUBBgGBRQcBAwGBEhsCAQE?= =?us-ascii?q?BAQ5QbXUECygKh1oDhTGJLZtOgSMDVAkBAwELAS0CAQGEQAKDHAYBBDYEDQEDA?= =?us-ascii?q?QEEAQECAQIDARMBAQEIDQkIKYo+AQuCOiKDBy4BATgRAQx0JwQbGoMAAYEdTQM?= =?us-ascii?q?eAgGYbQKBOIhfAQGCIoJ5AQEFhRIYVIE9CYEyAgEBAQEBAY0wP4FXh1CDOoImk?= =?us-ascii?q?16WVQcCghhdBJM0giuVPo0wgTCVcwIEAgQFAg4BAQWBagyBak0jgzyCW4NXilN?= =?us-ascii?q?BMYEpjFcBgSABAQ?= X-IronPort-AV: E=Sophos;i="5.63,434,1557180000"; d="scan'208,217";a="389750052" X-MGA-submission: =?us-ascii?q?MDE4J8NY454vCS80/LPUxDJoRm//ocm/JoFlwm?= =?us-ascii?q?QSspXL2eB/qyx3QzeAivV6LkYuDo0w6/wLav2oVUPhqQmN5NaoftAZsW?= =?us-ascii?q?hCfXX6XS8agv/XOZvp01xu1URXTc1bi2yTrsaYUCM5VqqUYkdxNGekod?= =?us-ascii?q?ZL9Hg80LFIdwbra+VIUB0yNA=3D=3D?= Received: from mail-eopbgr60136.outbound.protection.outlook.com (HELO EUR04-DB3-obe.outbound.protection.outlook.com) ([40.107.6.136]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 30 Jun 2019 14:15:08 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=provertechnology.onmicrosoft.com; s=selector1-provertechnology-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=/LXBVj3bVZAuXCq/o0J3cbwmWv8eZFfFuqh7RT0Oak0=; b=ijAP6bmHDWpzTusucUt1NCA2p+OxeJa19ROIugx710HjQYIrsvZtME88HAQD5AQzoBjI2h6zT8cAx3qYT4LP2/AOYKUItfo2C8M/PF9/gKeikcp80qGgOgVr0j0y6I7Ru+k/OAzGOfLCTB8loeUNBZwnjLTs9iBiaXZ//U74f3k= Received: from AM0PR08MB3554.eurprd08.prod.outlook.com (20.177.111.15) by AM0PR08MB4098.eurprd08.prod.outlook.com (20.178.202.33) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2032.20; Sun, 30 Jun 2019 12:15:06 +0000 Received: from AM0PR08MB3554.eurprd08.prod.outlook.com ([fe80::ec36:663f:98df:6780]) by AM0PR08MB3554.eurprd08.prod.outlook.com ([fe80::ec36:663f:98df:6780%7]) with mapi id 15.20.2008.014; Sun, 30 Jun 2019 12:15:06 +0000 From: Per Larsson To: "caml-list@inria.fr" Thread-Topic: ocaml on cygwin64 Thread-Index: AQHVLzoV3MPAK6u62EqrV7FXDP14+g== Date: Sun, 30 Jun 2019 12:15:06 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [95.192.221.219] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 104994d7-3497-47a3-d616-08d6fd54968b x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:AM0PR08MB4098; x-ms-traffictypediagnostic: AM0PR08MB4098: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 008421A8FF x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(396003)(376002)(346002)(39830400003)(366004)(136003)(199004)(189003)(74316002)(6306002)(9686003)(54896002)(6436002)(91956017)(5640700003)(73956011)(5660300002)(55016002)(7696005)(66556008)(66446008)(66946007)(64756008)(66476007)(76116006)(44832011)(81156014)(4744005)(7736002)(2501003)(53936002)(66066001)(6116002)(3846002)(99286004)(68736007)(2906002)(476003)(33656002)(26005)(316002)(7116003)(25786009)(86362001)(186003)(8676002)(508600001)(8936002)(81166006)(486006)(6506007)(2351001)(71190400001)(256004)(14444005)(71200400001)(6916009)(52536014)(102836004)(14454004);DIR:OUT;SFP:1102;SCL:1;SRVR:AM0PR08MB4098;H:AM0PR08MB3554.eurprd08.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: h/nG1+0TcktHSsniPbWQqDYA+6xmZdbC4VFGftUckt/1ncw1PCx3Xe1ympkTMa/ZqM/+sygL4L4f8EkNC6AbSYdtsTK4H6JjbRRASgj6ld63E3Mg7CF3N9FoVWd5sRnhwTrWNop4xdvvO5BwKFg92/ewNHXQoV6Q+KPxn5hQKRwM1xjmLvylAN0yirO8Hnt9lxHrFecscQatFkQyK1ylVNrbtxV5Pjmr0GXX3KiakU2eBPTyVzMAttQpMn+jYF8IfBnIGy2yWLrtskjKXSC1GPmQguw08iw+oWFmCAp8KUFuRNBQxpVzFqA09ZHlRuPsz2c0uk3X5X8UgxgOI8WWA74RutBWSf4SXV1Bk49BxhK2tqx8G+iFD4cqoCb9neVLcf0qI4zZCeuNcdOFstEc1eeATojjwKBfmxyNpCjocpA= Content-Type: multipart/alternative; boundary="_000_AM0PR08MB3554076588FF2C8A4BC5C9D88EFE0AM0PR08MB3554eurp_" MIME-Version: 1.0 X-OriginatorOrg: prover.com X-MS-Exchange-CrossTenant-Network-Message-Id: 104994d7-3497-47a3-d616-08d6fd54968b X-MS-Exchange-CrossTenant-originalarrivaltime: 30 Jun 2019 12:15:06.3031 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 496a88d8-7c6f-423f-95bd-eee3dc9aacfc X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: per.larsson@prover.com X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0PR08MB4098 Subject: [Caml-list] ocaml on cygwin64 Reply-To: Per Larsson X-Loop: caml-list@inria.fr X-Sequence: 17661 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --_000_AM0PR08MB3554076588FF2C8A4BC5C9D88EFE0AM0PR08MB3554eurp_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable We have standardized on the cygwin (64-bit) platform at my workplace. The l= atest version of ocaml available for this platform in the cygwin-package to= ol is 4.04.2. This is also the latest version which has worked without prob= lems for me. Later versions can be be installed using opam, but as soon one= tries to use the compile suit or install extra libraries with opam there a= re problems connected to loading shared libraries. Some googling gives tha= t there is a problem concerning flexdll/flexlink causing this. I hope someo= ne can give me more information on this. Is the cygwin64 platform presently= abandoned or is this worked on or planned to be fixed in some future versi= on (which) ? Is there a plan to update the version at the cygwin package to= ol soon? --_000_AM0PR08MB3554076588FF2C8A4BC5C9D88EFE0AM0PR08MB3554eurp_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

We have standardized on the cygwin (64-bit) platform= at my workplace. The latest version of ocaml available for this platform i= n the cygwin-package tool is 4.04.2. This is also the latest version which = has worked without problems for me. Later versions can be be installed using opam, but as soon one tries to us= e the compile suit or install extra libraries with opam there are problems = connected to loading shared libraries.  Some googling gives that there= is a problem concerning flexdll/flexlink causing this. I hope someone can give me more information on this. Is the = cygwin64 platform presently abandoned or is this worked on or planned to be= fixed in some future version (which) ? Is there a plan to update the versi= on at the cygwin package tool soon?

--_000_AM0PR08MB3554076588FF2C8A4BC5C9D88EFE0AM0PR08MB3554eurp_--