From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 64EC6BBBB for ; Mon, 27 Feb 2006 14:21:18 +0100 (CET) Received: from mailhost.mis.mpg.de (mailhost.mis.mpg.de [194.95.184.44]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k1RDLHXO022612 for ; Mon, 27 Feb 2006 14:21:18 +0100 Received: from huygens.mis.mpg.de (huygens.mis.mpg.de [194.95.184.58]) by mailhost.mis.mpg.de (8.9.3/8.8.6) with ESMTP id OAA09801; Mon, 27 Feb 2006 14:21:14 +0100 (MET) Received: from tobias-elze.de (s4-15.mis.mpg.de [194.95.184.55]) by huygens.mis.mpg.de (8.9.3/8.9.3) with ESMTP id OAA20447; Mon, 27 Feb 2006 14:21:14 +0100 (MET) Message-ID: <4402FCCC.509@tobias-elze.de> Date: Mon, 27 Feb 2006 14:21:16 +0100 From: Tobias Elze User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.5) Gecko/20031016 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: ocamlgsl natively for Windows? Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4402FCCD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; tobias:01 mingw:01 ocaml:01 gsl:01 ocamlmklib:01 ocamlmklib:01 tobias:01 natively:01 natively:01 native:02 compiling:02 library:03 library:03 linux:06 exist:12 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 Hello, I want to make a MS Windows port (MinGW) of a linux application using the OCaml GSL library. However, I was not successfull in compiling the ocamlgsl library natively for Windows. The tool "ocamlmklib" which is required does not exist under windows. Does anyone have a working native Windows port of ocamlgsl? And if not, is there any way to build ocamlmklib under Windows, or to circumvent this tool? Thanks a lot, Tobias.