From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q19Mjdrt001930 for ; Thu, 9 Feb 2012 23:45:39 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArQeAMxLNE9N6B+lT2dsb2JhbABDgw2qDIJbAQEVCwkGPoIzgQ8KSgMqh3+YZqAsjAEEEAIgAQQcAwMBg18DfIMdBIhChSGNJo0N X-IronPort-AV: E=Sophos;i="4.73,393,1325458800"; d="scan'208";a="143633640" Received: from fe02x03-cgp.akado.ru (HELO akado.ru) ([77.232.31.165]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Feb 2012 23:45:34 +0100 Received: from [10.0.66.9] ([10.0.66.9] verified) by fe02-cgp.akado.ru (CommuniGate Pro SMTP 5.2.13) with ESMTPS id 252739190 for caml-list@inria.fr; Fri, 10 Feb 2012 02:45:33 +0400 Date: Fri, 10 Feb 2012 02:45:31 +0400 (MSK) From: malc X-X-Sender: malc@linmac To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: [Caml-list] OCaml/MinGW GCC shipped with (current) MingW no longer recognizes -mno-cygwin argument, my oline searches for a workaround were fruitless, but turns out there is one, one can create a self specs file and make gcc (the driver) strip -mno-cygwin from cc1 invokation. This can be done by putting a file named "specs" into a directory listed under "install:" in the output of `gcc -print-search-dirs' containing following line: *cc1: %