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=oCQjqRxD; 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=fxbNKblo; 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 196463F998 for ; Thu, 12 Dec 2024 07:46:26 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:in-reply-to:date:cc: content-transfer-encoding:message-id:references:to: subject:reply-to:sender:list-id:list-help:list-subscribe: list-unsubscribe:list-post:list-owner:list-archive; bh=FOIdo2ZxZmY01huF/9Ysr5oy7WBNKwfkCrmrgFjjzts=; b=oCQjqRxDyFLHxqdbpZEVYJmeCFqMzMvbyVTWykqKTpDEFJPnDmeFaFs7 Ci6oF74p3/oa3/QBXheXU2osztwI+i8COpVSgAdqkqfh4YE81TfUxUTbn jsyfPWRDiLRlQ3hYnZW7MrRtUIFgEJaEyxgFOhoTfQOLB9Gi3pcToG4n+ o=; 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,227,1728943200"; d="scan'208";a="198734320" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Dec 2024 08:46:25 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A929BE0D22; Thu, 12 Dec 2024 08:46:24 +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 22727E0077 for ; Thu, 12 Dec 2024 08:46:21 +0100 (CET) IronPort-SDR: 675a94cc_LZTHTgM7v5irAVtXunnc8zXITwJeebzCygHhaV8YHyMu+kk 3WCD3XzrZD9mld3BV53v9I1iDDDuwDQVWGWLfTw== X-IPAS-Result: =?us-ascii?q?A0EMAAATlFpnhShWE4taGwEBAQEBAQEBBQEBARIBAQEDA?= =?us-ascii?q?wEBAUCBQQQBAQELAYJDfVsyBAtIhFaIfIZRgiSLY5I1gX4PAQMBDTsGAQIEA?= =?us-ascii?q?QEDAQOFAAKKbAIeBwEEMgcOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECB?= =?us-ascii?q?AYBAhABAQEBQEmFew2CYgEzcYElAQEBAQEBAQEBAQEBAQEBAQEBARcCDX0BA?= =?us-ascii?q?QEBAgEjHQEBNwEECwsMDAICGA4CAiA2BhMbgmYBgjADDiMDBA0Grkh6gTKBA?= =?us-ascii?q?YIMAQEGgmfYPw2CUAMGgRouAYgvHgGKYicbgg2BFScbgjcxPoIfQgEBAoFeg?= =?us-ascii?q?1uCaYJAgxeDOBGdBUgKZRZ4IREBVRMNCgsHBWFIICwDOQwLMRWCBYFbBTdHg?= =?us-ascii?q?klpSTcCDQI2giR8gk2BJQQFg2uBC4NehFeGJIIZgUQdQAMLGA1IESw3FBsGP?= =?us-ascii?q?m4Hm0wBRoULEFB1PsYPcYQkhG+HKI83hkOXUQaSeph7jgKEBZI9AYRlgW4DM?= =?us-ascii?q?IFcTTAIOyoBgjw/EAMZD44hGYNhhRS7H0M0CzECBwEKAQEDCYVFAQEBimyBS?= =?us-ascii?q?wEB?= IronPort-PHdr: A9a23:MojzhhdOduyGicOYju7GwhWflGM+39fLVj580XLHo4xHfqnrxZn+J kuXvawr0ASQG9WHoKkdw6qO6ua8AjRGuc7A+Fk5M7VyFDY9yv8q1zQ6B8CEDUCpZNXLVAcdW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cLjYd4Kas8xRTFr3VVd+9LwW9kOU+fkwzz68q+4JJv6Thct+4k+8VdTaj0YqM0Q KBXAzghL207/srnuwXdQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Qr8oVzus6 adrUwLohzwcNzEl6mHXi9d/g7xdrRm8uhFw2Y/UYIWSNPpjYqPQeM4RSGRdUspNUSFKH5ixZ JUTAeUfIelYrpH9p1oQohu4GQmsH/7kxjtRinPrwaE2z+EtHAfb1wIiAt0OqmzZo8n6O6kPU e66zqfGwCvMYf1V1zfz9o/Gfws9ofGVWLJ8bcrRxVUtGg7Dk16eqZblPzSQ1ukVr2Wb6fdvV fixhGE9sAF6vyShxsA3ionSnY0a1ErE9Spky4syP924T1V7YcW/H5ROrSGaOJB7QsY6Q2Fpo So60bMHuYWhcCgN0pQnyAfSZvqaeIeH/hztTvyeIStkhH17YrK/gQ6//Eu8xuPyVcS5zkpGo zZGn9XSqH0A2QHf58eHR/Z8/kmv2SuC2x7S5+xYLk05mqrWJ4I8z7MxiJYesVnPEC/4lUjwk aSYeEIk+u2y5OTmZLXrvpCcN45oigH+L6QhgdazDvg/MggLR2SU5eO81Lvt/U34T7VKk+c2n bfDvJ/AOcsWoLOyDQxN0os79hqyATOr3M4FkXQDNl5IexOKg5LmNl3SOPz0E+qzj0q2nDpl2 /zKJLPsD5TXInTelLrscrBw4FNCxQo30NBf/I5UBa8bIPzuW0/wtcLXAwclPwGy3u3pEs9y1 pkEVmKKGqKZML3dsVuP5u83IemMeYkVuDHnJ/gg//7ujGY1mVwZfamyxpQbcnW4HuxpI0mDf HXjnM8NEWYMvgUgUOznkECOXDBXanqoQq4x4is3BYGnAIvZSY2hnKSN3CKhEZ1XYmBGBEqME XDtd4icQfcMbzmSItR6nTMaT7ihRJQs1RS2tA/70rZnNeTV+jYCuZLkzth16PXflRcp+jNsF cSSz3mNT31onmMPXzI6wbhzoVZhxVebzah4n/tYGMRP6PxTVwc6MYfQz+h7C9DpRgLMZcyJS VajQtW+Gz49VNMxw9kUY0Z8AdqulB7D3zD5S4MSwpWNGJsy86SU8/n6JsN6gyLP0rUmiVggB MdCPmyjgYZw8gHSA8jClEDPxIiwcqFJ9SjB7mqK1iK0u1pDWgNqXu2RR3cEfUHbt9vR41vDC qSxEvIgKAQXmp3KEbdDdtC81QYOf/zkItmLJjvpww9YZD6Nz7KIN8/xfnkFmT7aEA4CmhwS+ nCPMU4/AD2gqiTQFm8mDkrhNmXr9+Q2s3anVgks1QjfdUp6zLC44BE9gOSdDugMxfQDoihy4 y5sEgOF1snNQ8GFuxIneaxdZd0n51ISz2XCrAZwJJOIKrhjw0UBaEJwpUy9nw5vBNBmls4n5 Ggv0BI0Ka+c1wZZcCiE2JnrJrDNAmvv+hfpbrbXn1Lay9zQ/78Arvg1w7n6lCeuEEdqs3Bu0 t0OlmCZ+o2PFw0KF5T4Tkcw8RF+4bDceCg0oY3OhzVqNuGvvznO1shMZqNtwwu8f9pZLKKPF RPjW8wcCc+0LeU2ml+vJhsaNeFW/aQwMouobfyDkKKsOe9hmnqhgwElqMhn1VmX/SdmRcbNx 5dA2O6DmAydWHa0jVustNz2hZERfSsbTSK0zSnpApIUZ7UnJN1aTz7/ZZ3pgIkm1PuPEzZC+ VWuBk0LwpqscBuWNBnm2BFIkF8QuTqhkDe5yDp9l3coqLCe1WrA2beHFlJPN2hVSW1llVqpL 5KzioVQRk+zdAIkjhSN4F77grNEv+J4NWaZEiIqN2DmanpvVKe9rO/IeclU85klqyp/Vfy9J EuFUfj6uRRQgEaBVyNOgTs8cT+toJDwmRd33XmcIHhEp33cYchsxB3b6bQwXNZp1yEdDGl9g DjTXR2nOsWxuM6Tj9HFu/y/UGSoUttSdzPqxMWOrnnz6WpvCBy51/e9/7+vWRI9yjTx2sNlf SDQrVPnfZKt0L61ee5qZUhnAlbg5tEyQ9ov1NJhwsFOnyRCzpyOtWIKi2LyLclW1cecJDIWS DgHzsSUqAnp1Ut/L26YkofwV3GT2MxkNJGxZmIb3D547tgfUfzFquUV23sr5Abg/mezKbBnk zwQyOUj8isfiuAN4082yzmFR6sVBQ9eNDDtkBKB65a/qr9WbSCha+vVtgI2kNa/AbWFugwZV mz+f8JoByhr9c9yKl3k1WXyr5r7Y5/Xd91Z5Xj221/QyvNYLp48jK9Any18Imjwp3INzvY6y Adxxte9pofNeAAPtOqpRxVfMDPyfcYa/Drg2L1fksih1IeqBpx9Gz8PUcigXbeyHTkVr/iiK xeWHWh2tCKAAbSGV1z6ig8uvzfVHpusLX3SOHQJ0YAoWkyGPEIGyAlGXDggl9g8DgHvx8j6e gF8/j9X6lOdyFMEw7BqKh/4FGLHpUKrbiw+Dp2HI1xa40lLtV/RLNCZqOdrHmRb+oar6gmVJ SqXamEqRSkACEWcAFTnOf+r/diF8OyDDKy7N/SIbbjGoL5cSu+J2Z+1lI5+/nOPMt6FeHx6A Ls31y8hFThwSdzegDgORysR0SfVbouYoAy2vChvoYaz/bziCgv16JDJDqNTdNZr4BrwhL+Mc eKd4UQxYT8K1p4WwHLTjr0H3RsRjzpkMTy1HvIMuGaaRabU0Me7FjY9bCV+fItN5qM4hUxWP NLDz8jyzvh+h+I0DFFMURrgnNuobIoEOTP1MlSPH0uNOLmcQF+Di8jqfaOxT6FRh+RIplWxv zicCUrqIjWEkXHgSRmuNehGiCzTMgZZvcmxdRNkCG6rS9yDCFXzKNhskTg/2qE5nFvIKGgbd z1kcgZOqqaaqyZAjbNzFi0J73ZoK/WFhzfM7+TcLcVz07MjCSB1muRGpXUinuIOvWcdFbolx m2O9o0LwRnuiOSExzt5XQAbrz9KgNnOpkB+IeDC8YEGX3/Y/RUL5GHWChIQptIjBMe83sIYg tXJiq/3Ly9PttzO+s5JTdLTM9mNPWAuGR/xGXvPExBDSiSkfzK65QQVgLSJ+3uZo4Jv4IDrg 4YLQ6RHWUYdFO4cDQJgBN1HI5NsVHUhibHdgMNCth/c5FHBAc5duJ7ATPebB/7ifS2Ygbdzb BwN2brkLI4XO+UTPmRnclg/h5vRXU3KUoIVysWORgosoQBW72M4SXc8iRuNguKF4mIVErixh h9ziQ9la6Io7Diq71plfjL3 IronPort-Data: A9a23:6WVICKmmb8KKmT4HK9GUXe/o5gx3IkRdPkR7XQ2eYbSJt1+Wr1Gzt xJMWWGBOfmMNGr8Lot3borioB9T7cTXmoJkGgdupSthRltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazh8B56r8ks14K2o4WpA4zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1sFmsoB4E0+Np7BE9Nz aYaDAIhaUGM0rfeLLKTEoGAh+whMc/seoYHuzRjySrTS/M+TtbPTs0m5/cBh2Z235EITaiYO 5JxhTlHNHwsZzVVPUwMAp8kk8+tnni6aCJD7lWPqsLb5kCKlFAoiOeyaou9ltqiaYYLgXTbh Gf88z77IhwiO8606ie4yyf57gPItXmrANlPSNVU7MVCi1SWwikXCQYKfUCqpOGwzE+4QdNWb UIOkhfCtoAw6UqsCNzlXli7pGWO+BsEVJxcHoXW9T1h1ILW+SyHPGQoTAJNbfIljJU0YQ4G0 Q6GyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVZUizUEiNxq5i8jXupe/LiJYsrdNRyY/ txnhCojgbJViNYKkqa/5lqBhiqj4JTEJuLU2uk1dj/9hu+aTNf7D2BN1bQ9xawRRGp+ZgPd1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323yoCXyIdkAsWAuexkB3iM4ldnBP RC7VeR5v8Q7AZdWRfEfj3+ZVZl3lvaI+SrNDK68giVyjmhZLl/fp3wyDaJh92XkgA00lag5M pTecMC3EXcGFLgvwie7Xa8c17Es3CU32WLQLa0XPDz6uYdykEW9EO9fWHPXN7BRxP3f+m39r Y0AX/ZmPj0EC4USlAGMqtZLdTjn7BETWfjLliCgXrXSfVY2Rz54U6O5LHFIU9UNopm5X9zgp hmVMnK0AnKl7ZEeAVTaNCJQe/n0UIxhrHk2GyUpMBz6kzIgeIujpuNXPZc+YbBtpqQpwO9WX ss1XZyKIs1ObTDbpBUbT53297J5eDqR2AmhAiuCYRoERaBGeTDnwNHeQ1bQxHE8NRbv7coai J+85zzfWqsGFlhDDt6JSfeBzGGRnHk6mcBuVGTLPtIIdFfI9dl7GT3Qld4yGdkHcj/Y9wuZ1 iGXIBYWnvbMqIkL6+v0hbiIgoOqMulmFG9YIjXr1qm3Pizk4WaT+49Mf+KWdzT7Vmmv2qGdS chK7vP7atsroU1rttdiLrNV0q4O3dvjiLtExABCHn+QTVCKCKtlE0aWz/t0qaxB6b9IizSYA nvV1IFhBoyIH8f5HHo6BgkvNL2D3M5JvAji160+JUGi6RJn+LaCb15pACCNry5gN5pwDpIux LYwmcwR6jHnsCEQDPS9snl2+ViPf1s6aId2krEBAYTutBgn9UEaX7zYFR3Nwc+ub/diDxAUB wG61Yv4qZZS/E7gS0YINGPs2LNdjKseuRoRw14lIU+Iq+X/hfQ2/UNw9G0oRz8M3Bkc9v95Y UptFkxqJJeh+yVjq9hDUluNRSBAJky90W7gx2QZkFb2SxGTaVXMC2kmKMCx/Ew92EBNTAhxp b235j7sbmf3QZvXwCA3Z39Al9Xiat5Ariv5h8GtGpW+LakQODbKrPenWjsVlkHBH8g0uUzgo Ntq9sZWbYnQF3YZg48/Ormg+YUgcjK2D00cfqg554IMJ3/WRx+q0zvXK0yRRNJEF8aXzWCGU f5RNuB9fDXg8h2RrwIrJ78GeJ51u/8L2OAsWJ3WIUw+jr/OiQYx7bzx8HDliX4JUudet583C rnsegKoFk2SgnppmFHxkvRUB1rgYfc4SV39+MuX7NQ2E4kytbAwUEMqjZqxkXanECpm2BO2p Q/8OrHyyrV9wL81hYHMNKRnAlyrG8KuV9az0RuStu5WZojlKvb+tAIyq3jmMT9JPLAXZc9Fq LSVvPPz32LHpLwTQUmBv7WkCI9y+p+UTsdMF8DGM0lhgiqJXfHz7ys5+2yXLYJDlPVf7JKFQ zSURdSRd9lPfftg31xQNjZjFigCB5TNbqvPoT23q9KOAEM/1S3FNNaWym/7X1pEdyMnO4zMN SGsgqyAvutnlYVrAAMII9pEAJUieV/qZvYARu3L7DKdCjGlv0OGtr7cjiEf0DDsCESfMcPE8 JnAFwnfdhOzhfny9+tnkbdO5z8ZMHUsptMLXBMty4YjwXTyRmsLNv8UPpg6G4lZ2H66no3xY DbWKnAuE2PhVDBDag/x+8nnQhzZPOEVJ9PlPXY8yit4sctt6F+oW9ONNxuM4kuavhPh0eegb 9QG+zjzOgO7hJRxSqAf65RXRAuhKuzynho1FYLVyqQewCryxZ0PzH0kBxVWEyvdHKkhUW3Vc HMtSzksrF6TECbM/AUJR5KRMBQBvXb00C5uaj2AqDoaV0N308UYoMDC1yrPPnHvoSjEyHPih Z86eodV312r5w== IronPort-HdrOrdr: A9a23:d6ZH8KF+kB71kstzpLqEwceALOsnbusQ8zAXPo5KOH5om6uj5q WTdZUguSMc7Qx7ZJhOo6HiBEDtexLhHNtOgbX5Q43SODUOyVHGEGgK1+KLqVDd8m/Fh4lgPM xbHZSWZueAa2SS9fyKmTWQApIl2p2d/KijmOfZyG0Fd3ATV51d X-Talos-CUID: =?us-ascii?q?9a23=3AgYvmhGpITg41oxQYJNEetGTmUcI/WGPnwFvSH0O?= =?us-ascii?q?9J2VREr+xe3OXqawxxg=3D=3D?= X-Talos-MUID: 9a23:uYnIYAjC+MoHoGpgVU4HbMMpGIQ2/JbtKkU3nc8Em8S8Oj5bGCqgtWHi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,227,1728943200"; d="scan'208";a="104107729" X-MGA-submission: =?us-ascii?q?MDE83v/2qhaH/Jq8TM+se2vFnIb9gV5Kjf6YBB?= =?us-ascii?q?SeYdKvl8X8JFUqnbkrRZODHhH8xEFug/FMfHM+cZlwXESVw/TTXb4JBb?= =?us-ascii?q?TTAfldHQWsVJ6YxU+QSXeNy3fUuAGvcmNyorj5MEonJS/PwfCEC19yGM?= =?us-ascii?q?5noSQZnubMlz3GvmvtONuixw=3D=3D?= Received: from juno.mpi-klsb.mpg.de ([139.19.86.40]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 Dec 2024 08:46:20 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sws.org ; s=mail202309; h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date: In-Reply-To:From:Mime-Version:Content-Type:content-id:content-description; bh=FOIdo2ZxZmY01huF/9Ysr5oy7WBNKwfkCrmrgFjjzts=; b=fxbNKblo+gZAyQGYHd7JdOUdk/ QXEKDFpBitgHQqpYxTricAsMNsfKmOzOgLD1HepqPWEufmeRHri3uYBtLxqPJH8xVRIPQ2XEA9b4n 1rO/sToWoeKRpzb3FUIIt1kIJtHCOyvsPTZQAIgw7gjZUvte+yFKexICOIXOdG24hMj/5INzKtyhp Zob2N4R4zpmShJy0kTx8HTN9zDDaxWEQ1cYmcWh/tfK+EmkR2sinU+7oenb55Yo/qasOKiINVbXsL /5XqpaE5Pp1bOb5d6iw2MNpXFbw1ZWVeSTSuoW+8Ibi08VpBFUZlzxx5cAlC/obiVf4h0re/VPUET eGlI0F3A==; Received: from srv-23-0407.mpi-klsb.mpg.de ([139.19.205.26]:51550 helo=maniac.mpi-klsb.mpg.de) by juno.mpi-klsb.mpg.de (envelope-from ) with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.98) id 1tLdto-00000004s4V-0FKN; Thu, 12 Dec 2024 08:46:18 +0100 Received: from [212.30.36.194] (port=64567 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 1tLdtn-00BPzK-1Z; Thu, 12 Dec 2024 08:46:15 +0100 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.600.62\)) From: Andreas Rossberg In-Reply-To: Date: Thu, 12 Dec 2024 08:44:44 +0100 Cc: Kate Deplaix , "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: References: To: =?utf-8?Q?Antonin_D=C3=A9cimo?= X-Mailer: Apple Mail (2.3774.600.62) x-ms-reactions: disallow Subject: Re: [Caml-list] Static linking with Mingw and dune Reply-To: Andreas Rossberg X-Loop: caml-list@inria.fr X-Sequence: 19228 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: Good to know, thank you for the suggestions! However, I=E2=80=99m afraid that hacking the compiler and tool chain for = this purpose is not an option =E2=80=94 that would require everybody = else who wants to build the project to do the same, which is infeasible. It=E2=80=99s a bit disappointing that there seems to be no easy solution = for this problem. I would expect it to be a common pain point for folks = using OCaml 5 to develop and publish application binaries for Windows. = Or am I just alien? Cheers, /Andreas > On 2. Dec 2024, at 09:25, Antonin D=C3=A9cimo = wrote: >=20 >> Regarding OCaml 5.3/mingw64 you shouldn't need to have to do anything = with libwinpthreads because it's only used for the msvc port, not the = mingw one. >=20 > That is not quite exact, winpthreads is used with mingw-w64, but found > in the system installation, and linked to. It is vendored for the MSVC > port and we *statically* link into the runtime only the parts we're > interested in. >=20 > To statically link with winpthreads, I suggest you do all of it = manually: > - clone winpthreads sources at https://github.com/mingw-w64/mingw-w64, > go to mingw-w64-libraries/winpthreads, and build a static version of > the library with your preferred toolchain; >=20 > - hack the OCaml compiler / Makefile to *not* use `-lpthreads`: > = https://github.com/ocaml/ocaml/blob/5a5eb481c7a9d0f039e3169aa8ed19c9b926e9= 82/configure.ac#L2372-L2373 > Maybe it's just sufficient to set PTHREAD_LIBS when invoking > configure; however seeing this line makes me think that winpthreads is > already statically linked with the runtime. >=20 > PTHREAD_LIBS=3D"-l:libpthread.a $link_gcc_eh"] >=20 > Haven't dug further. >=20 > -- Antonin