From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=OUW8bvu6; dkim=pass (2048-bit key; secure) header.d=mpi-sws.org header.i=@mpi-sws.org header.a=rsa-sha256 header.s=mail202309 header.b=URhNGXIZ; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 69C8C4AA88 for ; Sun, 1 Dec 2024 17:04:29 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:content-transfer-encoding:mime-version:date: message-id:to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=ZkzbNRQQDr9GDSaymUF54PKReImWw3wMKlMChL3RWH4=; b=OUW8bvu6UsUS0hz6VeWBnPBWi75JbN2ilvwfTghgfvb/CiePqnIy8TL3 xv0GNkVWXfk4WpImoz8ohCLUd0BLa9GNTGECZ8xQIdm51Dab+cIEHCpvx v9DpjGBUPkP4/96XX+uC/koVAzXb5qoq84sxVtZjNa+asWPAuQkKID4i8 Y=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=pass (signature verified) header.i=@mpi-sws.org X-IronPort-AV: E=Sophos;i="6.12,200,1728943200"; d="scan'208";a="196697516" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Dec 2024 18:04:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0834DE0D1F; Sun, 1 Dec 2024 18:04:29 +0100 (CET) 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 625CEE00B6 for ; Sun, 1 Dec 2024 18:04:26 +0100 (CET) IronPort-SDR: 674c9719_hPgMqiszrbEmEoo1hxMNOjFs1FI86gThxaCddvJIIrGi3nW VfTzeduXysS5keL2GSltL9Aa2j15j8Cik+J5w3A== X-IPAS-Result: =?us-ascii?q?A0EtAwDhlUxndw9WE4tagQmBU4JEgVgyBAtIhFaIfIZRo?= =?us-ascii?q?DuBfg8BAwENQQECBAEBAwEDj2UCHgcBBDIHDgECBAEBAQEDAgMBAQEBAQEQA?= =?us-ascii?q?QEFAQEBAgEBAgQGAQIQAUNJhXsNgls7ghYsDYEnHQEBOCYOAhgOAkoBgyeCZ?= =?us-ascii?q?QMEsTWBMoEBggwBAQaCZ9scCYEaLohMAYYEhQMbgg2BPBuCN4V/gw46gi+CQ?= =?us-ascii?q?oQcdiMCTYgznApIbxZ4IREBVRMNCgsHBWCBFgOCTXorgQuBFzqBfoETSoUMg?= =?us-ascii?q?QOCSmlNNwINAjaCJH2CTYElBAWDaYRphFmGLkIdQAMLGA1IESw3FBsGPm4Ho?= =?us-ascii?q?R+DCYJNQDUashGVD4QkBYRqnSKXUQaSeph7pEQBhGWBbgkqgVxNMAhlAYI8P?= =?us-ascii?q?xADGQ+XL8EnQzQ8AgcBCgEBAwmFRQEBAYxggUsBAQ?= IronPort-PHdr: A9a23:Nk+UMR2PnwXNVeU8smDOUQ4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeGo6gyxw6TFcWDsrQY0LKQ6/ihEUU7or+/81k6M6ZwHycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I RuroQnLtsQbg4RuJ6IvxhDUpndEZ/layXlnKF+dgxrw/Nu88IJm/y9Np/8v6slMXLn1cKg/U bFWFjMqPXwr6sb2rxfDVwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4 LxwSBD0kicHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ8BcXDFDDIyhd YsCF+oPMvpXoYbyqVUAsBiwCxerCu701j9In3r20bE60+g9EwzL2hErEdIUsHTTqdX4LLsfU eaow6nS0zrMdehW0irh5ojPaRAhuuqDUqxqccre1EIiEBnFjlKLqYz+JDyayP4Ns2eA4uplT eKvincrqxp/ozi03MssjZPJho0Mx13C6C52z5o7K8eiR05nfd6rDoFQtyeCOodrQs0sTG9lt Tg6xLAbtpC3YicExYk6yxPDdfCKb5SF7wzjWeifIjp1gGxodryxiRu98EWtyvDwW8i73ltLs idIlMTHuHMV1xHL98SKRP9w8l281TuLzQze6eBJLVopmafbM5It3KM8moQJvUnNAiP6gkv7g a6Mekk69OWk9eLqaaj4q5+YKo90kR3+Pbo0msKiAOQ5MxYBUnCH9em6ybbt51f2QK9Qgf0zi qTZsI7VJcAcpqOhAQ9Vz54j6xejDzi4ytQUh3wHLEpEeB6ejIjpP0rOL+viAfe6m1Ssny1ny O3YMbH5A5XNKGbMkKv5cLpg5UNRzBA/wc1b6p5OCbwMIej/VlLxudDACx82KQ20w+LpCNVn0 YMeXHqCArWeMKPJql+H/fwgI/ODZIIOvTb9M/kl6+f1jX43gl8RZ66p3YEYaHygGPRpOF2WY WDwjdcZDWcKog0+QfT3hFGaSz5ce26yX74g5jE8EI+pEZ3MRoWpgLCY2Ce7H4ZWZnxdB1CXE Xbocp2EVO0WZCKTJM9hiD0EWqK7R48vzxH9/DP9nrFuK+6R/iwDqbri0sJ07qvdj0Ic7ztxW u2b33uARno8pGQTXDU7xq839VZ60UyJ3LJ3q/lAFJlI+OgPVR01Y82Ph9dmAsz/D1qSNuyCT 0yrF43O6VAZS9swx4RLeENhA5C5iQiF2SO2ArgTnrjNBZou86ua0WKib91lxSPg068sx0IjX tMJLXev07R47BPZCpTGu0CBluOxar9a2zTCpy+Y1WTbhEhDS0ZrVLndG3UWZ0/Yt9P8s1nFV KSkBK4oGg5ZyIuZNbAMbcfm3h1dXPm2HtPYbiqqnnuoQxaFwrTZdI3xZ2AUxznQEmAGjhgS4 Xuccw0mB2Kip3nUSjl2GhTjbisA6MFYr3W2Bg8xxgCONAh60qatvwUSnbqaQu8S2bQNvGEgr S91FRCzxYCeDd3IvAdncKhGBLF1qF5ayWLUsRB8NZ28PuhjgFAZaQF+o0Lp0V1+FIxBlcEgq H5iwhB1LOqU11ZIdjXQ2p6VWPWfMG7p5xqicaH+30nflc2J4eEI8vt541TvsQe1F1Yzpm192 ood2H+d65PWSQsKBMuqAwBupl4q+feDP3pYhcucz3BnPKiqvyWX3tsoALBg0RO8Z5JEN7vCE gbuEsocDszoKeowmlHvYAhXWYIavKMyIc6icOOLnaCxO+M11iihln9N7Zpy+keU9m9nVfWO2 IwKiaL9vEPPR3LngVGtv9qi05pDfioYE3Cw4S38BctKebY0epwEQzTLQYX/1pB1gJjjXGRd/ VioCgYd2cOnThGVakT0wQxa0Ul/TWWPoSKj1HQ0ljgoqvHaxynS26H5cwJBPGdXRW5khFOqI I6ujtlcUlL6JwQukRKk4w79yc057OxlKHLIS0pScADzN2AnSbSr8L2YbIZD5YgpviNeTOmnK QnBG/ik8l1KjWW6QiNX33gjeiuvu4nlkhAf6irVN3t1oHfDOIlxyRrZ+N3AVKtU1zsCSjN/j GqfDVy9Mt+1uNSMws6Y46bnBiTxCNsKLHqOr8vIriaw6Gx0DAfqmvmynoaiCg0myWrg0MEsU yzUrRH6a42t1qKgMOshcFM7YT20o8d8BIx6lZM9wZ8K3n1PzI+S5mENnH38GdBD2Oflc2FLQ iQEiY2wgkCtyAh4I3SFypisHG+a2dBrasO1SmYO22cm8NsMD72bpu8h/2M9sh+zqgTfZuJ4l zEWxK416XIUtOoOvRIk0iSXBr1BVVkdJyHnkA6EqsyvtKgCLnj6aqC+jQAt+LLpRKHHuAxXX 2z1P4svDTMlpNsqK0rCiTX6uIHpYtCWaMoS8x6QiB2GivBabp4885hCzSM1O3/7ujsg0+9+j hh119e/pIfBJ2gl9fChBgNEMXvwf8JW+TX2h+BbhsnQ043KfN0pE2cCRJzsSfXuFSoT8PfjL AzIFSUz7HuWUbONHxKH6VtrtTTKC5HuNHWMLj8c1dokSBT4RgQXiVIMWy43n5I+EEav3M2kc 0Ni7HYU/lG+phYEw7BhLRTkFGLHpUKrbiw+Dp2HI1xa42Qgrw/cY8yT9Od+BGdd5pzkrwiWI CqefwsOAWxBDUWAAxqL0qCGw97G/qDYA+O/K6CLerCSsalFUO/Ow5uz04xg9jLKN8OVP3AkA edpkkxEFWt0HcjUgVBtA2Qeij7NYsiHpRy95jw/r8ax9+7uUR7u4o3HAqVbMNFm8RS7yamZM OvYiCF8IDdenpQCoB2AgKAYx0IXgjpyeiOFE6kYtDLAVuTVgq4SDBoAYWV2LMQO4699lghBN MjHi8/kg751ivlmbjUNHVflm8yveYkLOzTkbwKBXRfNZOrAfGCYpqO/KbmxQrBRkuhO4hi5u DLAVlTmIizGjD7xERamLeBLiiifeh1YooC0NBh3Wg2BBJrrbAO2NNhvgHg427ox0znQMnUHO zVmfGtItrzV9jxDxPJlFCYSixgtZfnBgCuf4+TCf9wOtuB3By1vi+9AyHYn07pJ4TsCQeR03 SjWtdQopkmp1OWCgGkCMlIGunNAg4SFul9nMKPS+8xbWHrKyxkK6H2ZFxUAo9YN4jjHvrhRj 8PQj+T0MjgQq7o8HOMeGtDVNM+ddn85MF/qHCXeSg4dQninODOH76SyuPSK9ziOsYN8rYLjy sNmdw== IronPort-Data: A9a23:ajlNgaz76n5QRvSRTiB6t+fdwirEfRIJ4+MujC+fZmUNrF6WrkUPy mcaWmCFOPfZZWv9eIhxPN+/9k4DucDSn4RrQQplqlhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmQc3l48sfrZ9Eo15K2q4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPxnaRqLV4xILRC69hnXWQU1 8EeFwE0O0Xra+KemNpXS8Fum9wiMMTxeoYHuzRjySrTS/M+TtbPTs0m5/cBh2Z235EITaiYP pdxhTlHNHwsZzVVPUwMAp8kk8+tnni6aCJD7lWPqsLb5kCKlFcoiOC0boG9ltqiTp5aogHbp Dj/o0/QKTMiMtOjySbY/Sf57gPItXmrANlPSNVU7MVCi1SWwikXCQYKfUCqpOGwzE+4QdNWb UIOkhfCtoAw6VSqUtTnGRigoTuHugUWHd9IHKs25Wlh15Y4/S6EWDkAbyFGdeV8pfEmGTlw9 GKPoOLQUGkHXKKudVqR8bKdrDWXMCcTLHMfaSJscefjy4W8yG3Upk+UJuuPAJKIYsvJ9SbY7 x3ikcTTr7cOlc8X2r/9+EjGxjGovZKPSxY6oAnaNo5E0u+bTNH7D2BLwQGFhRqlEGp+ZgPQ1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323yoCTyLNkPumskeBsB3iM4ldjBP BO7hO+tzMM70IaCM/IqONzZ5zoCkfG4S7wJqcw4nvIUMsAqKVPvENBGYEeAmnjpmU4nkuQ+P 4yHcNqxET4UFKl9hDuwSeAH1LY3xyNW+I8gbc2T8vhT6pLHPCT9Ye5cYDOzghURtfLsTPP9q ocHb5PiJtQ2eLGWXxQ7BqZIdgtTfCJiXsunwyGVH8baSjdb9KgaI6e56dscl0ZNxsy5T8+Zr ynvaVwS01flm3zMJCODb30pOvulXo9yoTh/dWYgNEqhkSprK4u+zrYtR71ud5ke9ctn0aFVS dsBcJ6+GfhhcGnM1AkcSpjfl7ZcUiqXqziABAebRQQuXoVBQlXJ8+D0fwG0+ygpCDG2hPQEo Lah9136RIJaTCtmVPTmSe+l/3mpmUcBg+koflbCEvNVXEDW9KlrNC3DofslKO4cKRj452W71 iTHJTw6tOXys4sO392Rvp+9rqCtCPlbMnNBOnvytJKaBHL/xXWy541qXMKjXyHvZEmt9IqMP exqnuzBatsZl1N0gq9AOrdMz5NmweDwprVfnz9WLF+SY3uFUrpfc2S7h+9Rvahwx5hciwu8e mSL3vJ4YbypGsfUIGQ9FTofTNao9K8rw2HJzPEPPk/Fyjd9/+OHXWVsLhC8snFhA4UvArw14 9UKmZAw0BO+uCoII9zdryFz9kawFFIifZgjlKknBN7MtlJ25HBEOYfRGw3n0qGpMt9sCHQnE hWQpajFholf+Hb8TmoOJSDz+tRZ1Lszu0Fs7V4dJl62tMLPqd0p0TZwrzkmbARn4S9W8uB0O 2JbHVVRFYPV9CY1msNGVGGIMCNCDS2/5Ube5QYolmrYbk/wTU3LDjQ3Ftis9XAj0VB3X2Zk7 pDB70i9ShfsXsX6/hVqaH5fs/a5EOBArFzTqv6oD+GuPsccYwO8poSMeGBRiR/sIf1ptX39v eMwodpBM/zqBxUx/Z8+JZKRj4kLaRa+I2dHf/Ft0YUJEUzYexCwwTK+EF+wSOwcO8319VKEN OI2KvJtTxie0AO8ngIfD4MIIJ52m6cNz/gGcbXJO2UHkuW+qhxEjZHuzRX91VQbG4hWrcUAK 43qZ22jFE6UjiBqgGPjlpRPFVe5RtgmXzfC+t6J3t8HLL85i9E0Q3oOiuO1m163LDpY+wmlu VKfRq3OkM1n54dev6rtNaRhGw6bKs/4D+ia1AXiouZfTMjuNP3WvFg/sWjXPAVxPJoQVe9ol L+LjsXF4UPdsJsyUEHbg5OkFZQV1f6tXeFSDN37HENakQSGRsXoxRkJoEK8FrBkj/Jf4ZOBa zajSc7ta+MQZchR9EdVZwdaDRwZLab9NYXkhCGlqsWzGgov6hPGIPyn5E3WQzliLAFQAKLHC yjwp/qKzfJbpt4VBBY7WtdXM6UhK1rnAaYbZ9n9sAeDNVaRg3SAh6DDkCQx4jSaG1iGF8fHu aj+fCbcTyjrmq/0z4B+ibdQ7y0nVCM3xaF6e08G4Nd5hgyrFGNMf6xXLZwCDYoSiSDoko3xY DbWdmY5FCHhRnJ+fA7h5Mj4FBKqbgDU1gwV+hRyl69VV8u3OG9EKLl87iZ87m0wfyPiieKjM ttY/2X/eBS8qn2sqSD/+dTj6dqLBNuDrp7Lxaw5u8nqAlMFHq5M02ZudOaIfTKSCNnDzS0nO kBsLV2pgyiHpYrZFN5hPmVKA1cepjyHI/DEq8uQ6I63hrh3B9GsBBEy1y8fH1HDgAk3yGYye E7K IronPort-HdrOrdr: A9a23:rlO5V67ck2PQSYLc7QPXwM/XdLJyesId70hD6qkXc3Jom62j+P xG+c5x6faaslYssR0b9exoRpPwI080hKQV3WB5B97LNmTbUQCTXeJfBOXZsljd8lXFh4pg/L Yld7I7E9H5B0V7i8HhiTPIdOod/A== X-Talos-CUID: 9a23:s1C3wm3I5cXiuVAsdBw74rxfB550dlzCy2rpeV6GGTpsEp+oT2ChwfYx X-Talos-MUID: 9a23:sWKY5QaoPVxPf+BTvGTjuHYhNp1Rv4+HI2I1l5o6u9XZOnkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,200,1728943200"; d="scan'208";a="103100163" X-MGA-submission: =?us-ascii?q?MDG9pF01yvdReBxfLN1jJYgjNZ05TAu7832VIT?= =?us-ascii?q?YB2S+rd0mBm0jR/+WdxJ6J+vO1VPikfjIftW0C1PJu651fVt+QxS4/D8?= =?us-ascii?q?I4cWCk2mwvwA5l7qFO3yucIOFGf24Mqp+c0o28q2qC92WSDHdkworuId?= =?us-ascii?q?xSHlxBrf9ZK5VAcM8oPuorxg=3D=3D?= Received: from jupiter.mpi-klsb.mpg.de ([139.19.86.15]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Dec 2024 18:04:26 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sws.org ; s=mail202309; h=To:Message-Id:Date:Mime-Version:Content-Transfer-Encoding: Content-Type:From:cc:content-id:content-description:in-reply-to:references; bh=ZkzbNRQQDr9GDSaymUF54PKReImWw3wMKlMChL3RWH4=; b=URhNGXIZ9iOAExK6ixmDZBgyjQ /427+XzsCfhNyZ81IOOGBxGbcfT08oMstPDXMH6NakvOgTdpZcXKJUUvfCRlJ2UDAVUSqjbUdAqMO C06tvH9ynnyiltl6ZXTba7TXhv5+NYgfdHeUc5GVtGyYpmN34qyS36ap7uRQK1iSbCKTkucGj6GfN dE71VOaH6HBuzrXINpD2VEe2HEzhGeszDJv9an/3skUYOOHaucaSHMw5gXddLLJLz3Pb+2IrNo37V PGdSZjXoiajEVpPmInn88jh7NeHCsPpqAKUbWpzOU/jpkTap8NIApeFaRvwSVpivYi5w4AFu94G1Q SfdgDyVQ==; Received: from srv-23-0407.mpi-klsb.mpg.de ([139.19.205.26]:39030 helo=maniac.mpi-klsb.mpg.de) by jupiter.mpi-klsb.mpg.de (envelope-from ) with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.98) id 1tHnMs-00000005JYq-1a78; Sun, 01 Dec 2024 18:04:24 +0100 Received: from [212.30.36.232] (port=7920 helo=smtpclient.apple) by maniac.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.2:ECDHE_SECP256R1__RSA_SHA256__AES_256_GCM:256) (Exim 4.96) id 1tHnMs-007ku1-0H; Sun, 01 Dec 2024 18:04:22 +0100 From: Andreas Rossberg Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.600.62\)) Date: Sun, 1 Dec 2024 18:02:55 +0100 Message-Id: To: caml-list@inria.fr X-Mailer: Apple Mail (2.3774.600.62) x-ms-reactions: disallow Subject: [Caml-list] Static linking with Mingw and dune Reply-To: Andreas Rossberg X-Loop: caml-list@inria.fr X-Sequence: 19222 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: I=E2=80=99m banging my head against a very basic problem, namely = creating a simple standalone executable on Windows with OCaml 5.2. So = here are my, possibly stupid, questions: - With OCaml 5 on Mingw64, how can I statically link libwinpthreads into = an executable (using dune)? - Some answers I found from a couple of years ago suggested using = `-static`, but dune is (nowadays?) running through flexdll for linking, = which doesn=E2=80=99t understand that. Is there a substitute? - Some other answers/discussions mentioned the new `-l:` option being = preferable, but I couldn=E2=80=99t find a working example, and all my = feeble attempts to use it with dune were unsuccessful. - What exactly is the difference between dune's `link_flags` and = `ocamlopt_flags`, and why do some online answers use the latter for = setting linking-related options? Any help is appreciated. Thanks, /Andreas