From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id E0CC7BBAF for ; Tue, 14 Oct 2008 21:39:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8AAG+S9EjRVcbmmWdsb2JhbACTIT4BAQEBAQgLCAkRA6JbbCeHWwEDAQOBaA X-IronPort-AV: E=Sophos;i="4.33,410,1220220000"; d="scan'208";a="18732817" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Oct 2008 21:39:38 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9EJdcWH016511 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 14 Oct 2008 21:39:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8AAG+S9EjRVcbmmWdsb2JhbACTIT4BAQEBAQgLCAkRA6JbbCeHWwEDAQOBaA X-IronPort-AV: E=Sophos;i="4.33,410,1220220000"; d="scan'208";a="18732815" Received: from rv-out-0506.google.com ([209.85.198.230]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Oct 2008 21:39:37 +0200 Received: by rv-out-0506.google.com with SMTP id k40so4235019rvb.57 for ; Tue, 14 Oct 2008 12:39:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=RQeenyrQbpxH9yw0KaceciyXEYdap/cODp0F7z/qJ3g=; b=Fy7FD62J+zff3AcecpFLUZIh34uB5HhRZPYBXQiZDXYpMxjdVg2y6GywHHRNTNojlz SpUalFgz1/WufEg0F5mSZU1GbGyoLBRymio0Ontszxp+3ZNK4vrSSsXsoCzppGK6Sv8h PQxJO0h6RfyPG7k3tdyeSRArlB4V8+JSQuUPs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=mKSp7dId5OBit2T8yTNy1EXPgDQPunKnonfQ2roCjmGBqI/o2jLkXiO4vRSuN/68ms yC8MU2vh9SGbuBhH1vgt1jxCq2ukBmp0bHH1c4HASzZzsJsEan0F4s0WKzSyMdJXgbQI FbtBFPYv8qVMV30PjGwYU+dTEPllvto7PNCdk= Received: by 10.141.19.9 with SMTP id w9mr55923rvi.204.1224013176626; Tue, 14 Oct 2008 12:39:36 -0700 (PDT) Received: by 10.141.82.18 with HTTP; Tue, 14 Oct 2008 12:39:36 -0700 (PDT) Message-ID: <666572260810141239w59a1ae88v5ededac9dd48dac5@mail.gmail.com> Date: Tue, 14 Oct 2008 21:39:36 +0200 From: Adrien To: "Sylvain Le Gall" Subject: Re : [Caml-list] Re: Re : Re: Re : Road to native windows OCaml... Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <200810131935.53365.kuba@mareimbrium.org> <548B4D09-6EFF-4805-83E2-D1F413706EE5@erratique.ch> <666572260810140241p5d7b8ee2ofafebec229e9bce2@mail.gmail.com> <666572260810140407w121d5bafm43993737df5e2c0c@mail.gmail.com> X-Miltered: at discorde with ID 48F4F57A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 le-gall:01 le-gall:01 bunzli:01 buenzli:01 cygwin:01 cygwin:01 runtime:01 runtime:01 recompiled:01 mingw:01 mingw:01 pathname:01 ocamlfind:01 ocamlc:01 2008/10/14, Sylvain Le Gall : > On 14-10-2008, Adrien wrote: >> 2008/10/14, Sylvain Le Gall : >>> On 14-10-2008, Adrien wrote: >>>> 2008/10/14, Daniel B=FCnzli : >>>>> >>>>> Le 14 oct. 08 =E0 09:59, David Allsopp a =E9crit : >>>>> >>> Another information, I have various benchmark on cygwin. My conclusion >>> was not what i have expected. Most of the time cygwin runtime has a goo= d >>> speed. This is not so slow in fact. I think most of the slowness you ca= n >>> see is because you are working in a MSDOS/emulated X terminal which >>> seems slow (but is not, this is just a question of refresh rate). >>> Seriously, cygwin is not that bad. I would still not recommend using it >>> for various other reasons. >> >> Indeed, runtime has no reason to be affected as long as it's not using >> external libraries, typically -lws2_32, winsock2). The point is really >> startup. >> As for terminal slowness, my computer boots in 16 seconds under linux. >> I recompiled my kernel yesterday and activated PRINTK_TIME/Show timing >> information on printks, it gives you the time a kernel message was >> emitted, related to startup. At the end of the boot, the kernel was >> giving times 3 seconds better than an independent chronometer. There >> had been enough things to write on the console for message to take 3 >> seconds to be displayed. Displaying on a terminal is slooow >> everywhere, not just windows. >> > > In fact, I cannot really prove what I say, but MSDOS shell windows seems > to refresh less frequently, giving you a strange feeling that something > is blocked. It is not a question of being slow but SEEMING to be slow. > I mean you spend the same amount of time but you get results sooner in > linux console than in MSDOS. At the end of the process, the chronometer > is at the same time, but with MSDOS you have the feeling to have spend > more time. > > I think that the refresh rate of MSDOS is over 125 ms (ergonomic limit > time to feel that something is not stalled). Under cygwin, it would take from 1 to 2 seconds to get one line further in a configure script, so definitely not this > >> Also, I don't think cygwin is bad. I just think it is not the >> appropriate answer for most of us. IMHO msys/mingw is a better >> *approach*, however their shell implementation is bastard. They >> decided to support both forward and backward slashes for instance, >> this has the awful consequence of giving you "not found" errors when >> using /c/gnu/msys/home/Adrien/icu\\source (personal experience). That >> is however something at the msys level, not the mingw one. >> > > +10 points, "/" and "\\" (and " " for all OS) in pathname is a big pain. > Spend many hours debugging scripts. > > Another big problem: "\n" in cygwin. For example if you use > ocamlfind ocamlc -pp "camlp4 `ocamlfind query -a-format sexplib`" > You are in trouble, because "\r" will pops up in the resulting command > line not being interpreted by the shell as space.... At some point I thought about making a new shell, with much more strictness. I'd prefer cross-compilation but if it's not possible, that would maybe be a good thing, even though it really scares me. --- Adrien Nader > > Regards, > Sylvain Le Gall > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >