From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8AE157EE99 for ; Mon, 23 Dec 2013 21:38:07 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of adrien@notk.org) identity=pra; client-ip=91.121.71.147; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nautica.notk.org) identity=helo; client-ip=91.121.71.147; receiver=mail2-smtp-roc.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: Au0KACeeuFJbeUeT/2dsb2JhbABZgwuEDIoBrGyBIBZ0giYBAQQjZgsaAgUTDgICDwUYHQFABIdqsWeaNxeBKY4DFoJYNYETBJQ0BYNdAZIUgW+BPzs X-IPAS-Result: Au0KACeeuFJbeUeT/2dsb2JhbABZgwuEDIoBrGyBIBZ0giYBAQQjZgsaAgUTDgICDwUYHQFABIdqsWeaNxeBKY4DFoJYNYETBJQ0BYNdAZIUgW+BPzs X-IronPort-AV: E=Sophos;i="4.95,538,1384297200"; d="scan'208";a="50219847" Received: from nautica.notk.org ([91.121.71.147]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Dec 2013 21:38:07 +0100 Received: by nautica.notk.org (Postfix, from userid 1003) id 7DC64C01D; Mon, 23 Dec 2013 21:38:06 +0100 (CET) Date: Mon, 23 Dec 2013 21:38:06 +0100 From: Adrien Nader To: caml-list@inria.fr Message-ID: <20131223203806.GD3114@notk.org> References: <20131223202932.GC3114@notk.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20131223202932.GC3114@notk.org> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] [ANN] Win-builds 1.3 RC1 - Package manager on/for Windows with cross-compilers As mentionned, this version includes an OCaml cross-compiler from Linux to Windows. It is findlib-enabled and actually ocamlfind is the only way to properly invoke it. It probably also features a number of new and still unknown bugs (in case you were thinking you could build your project and assert that it won't crash). The good news is that I've been able to build without modification ocaml-fileutils, type_conv and sexplib (from before they landed in the tarballs of Core) and yypkg itself (which features a small C stub). Their common point is the use of ocamlfind either through OASIS or through ocamlbuild directly and without ad-hoc code added to the build systems. Cross-compilation should be available out-of-the-box in the OCaml compiler fairly soon and, even though this builds on an SVN snapshot from January 2013, win-builds will let you check the behaviour of your build systems and provide feedback on how you would like things to be done. Some notes: - binary names need to lose the '.exe' and get a prefix with the target: x86_64-w64-mingw32-ocamlopt.opt - camlp4, ocamldoc, ocamldebug and labltk are not provided and it's not yet clear how they will integrate with cross-compilation - the host needs an native OCaml of the exact same version (imagine if camlp4 wrote or read an AST for another version) - I haven't tried building for both native and cross in the same pass using ocamlfind's -toolchain option (see "man findlib.conf") and this will be an issue for build systems which create an executable with findlib (this excludes ocamlbuild right now) and then use it - more, discussion is open -- Adrien Nader