From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <adrien@notk.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 C579481799
	for <caml-list@sympa.inria.fr>; Sat, 27 Jul 2013 21:53:29 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  adrien@notk.org) identity=pra; client-ip=91.121.71.147;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  adrien@notk.org designates 91.121.71.147 as permitted sender)
  identity=mailfrom; client-ip=91.121.71.147;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@nautica.notk.org) identity=helo;
  client-ip=91.121.71.147;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="adrien@notk.org";
  x-sender="postmaster@nautica.notk.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApgAAO8k9FFbeUeTmWdsb2JhbABbhxq6R4EaFg4BAQEBAQgLCwcUKIIkAQEFI1YQCxgCAgUTDgICDwUYHQETiCenDZB8gSiOVQeCYzNvA5deAZRiOg
X-IPAS-Result: ApgAAO8k9FFbeUeTmWdsb2JhbABbhxq6R4EaFg4BAQEBAQgLCwcUKIIkAQEFI1YQCxgCAgUTDgICDwUYHQETiCenDZB8gSiOVQeCYzNvA5deAZRiOg
X-IronPort-AV: E=Sophos;i="4.89,758,1367964000"; 
   d="scan'208";a="22476032"
Received: from nautica.notk.org ([91.121.71.147])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 27 Jul 2013 21:53:29 +0200
Received: by nautica.notk.org (Postfix, from userid 1003)
	id C8144C009; Sat, 27 Jul 2013 21:53:28 +0200 (CEST)
Date: Sat, 27 Jul 2013 21:53:28 +0200
From: Adrien Nader <adrien@notk.org>
To: Florent Monnier <monnier.florent@gmail.com>
Cc: caml-list@inria.fr
Message-ID: <20130727195328.GA32686@notk.org>
References: <CAE1DttC5cVd3=RwXjpuAVM1syf8zU4gpbx7c+xgkobWvkMqMFQ@mail.gmail.com>
 <CAE1DttBWpX0ixjPXSFpkJqr8W+zxU1tedGSOJ=i2=z++SvjKVA@mail.gmail.com>
 <20130727083844.GA17235@notk.org>
 <CAE1DttDN2F2Xea0Rw3fTnJ6YnWypXkOfYWhq9eq3Qv0zU2Vz5Q@mail.gmail.com>
 <20130727142320.GA26244@notk.org>
 <CAE1DttBiTF94839AyOec3_p9jROr8G6+uwvOkf18uufQY0x=Uw@mail.gmail.com>
 <20130727154347.GA3385@notk.org>
 <CAE1DttAa6aNKGt=586gBt-prcFhQLezPthNCE25h0bY_dcL8Tw@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <CAE1DttAa6aNKGt=586gBt-prcFhQLezPthNCE25h0bY_dcL8Tw@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] Re: portable truncate

On Sat, Jul 27, 2013, Florent Monnier wrote:
> 2013/7/27, Adrien Nader wrote:
> > On Sat, Jul 27, 2013, Florent Monnier wrote:
> [...]
> >> mingw's additional lib has to be used if we're using thread for
> >> example if I have understood correctly.
> >
> > What makes you think so?
> 
> The sentence below that is on the website of the project:
> 
> "It does depend on a number of DLLs provided by Microsoft themselves,
> as components of the operating system; most notable among these is
> MSVCRT.DLL, the Microsoft C runtime library. Additionally, threaded
> applications must ship with a freely distributable thread support DLL,
> provided as part of MinGW itself"

I'd be on it being outdated.

The "pthreads" libraries on Windows are meant to ease porting of
applications to Windows and I wouldn't be surprised that pthreads-win32
had first been used for that. Then when thread support was finally
implemented without requiring pthreads-win32, updating the documentation
was of course forgotten. :-) 

That just an hypothesis but it seems likely enough for me.

-- 
Adrien Nader