From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 EC7307EE4B for ; Tue, 1 Oct 2013 02:58:08 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of berenger@riken.jp) identity=pra; client-ip=134.160.33.161; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of berenger@riken.jp designates 134.160.33.161 as permitted sender) identity=mailfrom; client-ip=134.160.33.161; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@postman.riken.jp designates 134.160.33.161 as permitted sender) identity=helo; client-ip=134.160.33.161; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="postmaster@postman.riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkoBAHIdSlKGoCGhnGdsb2JhbABagz+uepJYgUkOAQEBAQEICwkJFCiCJQEBBAEnETYKBgsLGAkEEg8JAwIBAgEzEhMIAQEOh2IDCQYMsy0DiXSPWBaEDAOJN45IgS+FBI0sgU0 X-IPAS-Result: AkoBAHIdSlKGoCGhnGdsb2JhbABagz+uepJYgUkOAQEBAQEICwkJFCiCJQEBBAEnETYKBgsLGAkEEg8JAwIBAgEzEhMIAQEOh2IDCQYMsy0DiXSPWBaEDAOJN45IgS+FBI0sgU0 X-IronPort-AV: E=Sophos;i="4.90,1011,1371074400"; d="scan'208";a="28618284" Received: from postman1.riken.jp (HELO postman.riken.jp) ([134.160.33.161]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2013 02:58:06 +0200 Received: from postman.riken.jp (postman1.riken.jp [127.0.0.1]) by postman.riken.jp (Postfix) with SMTP id 2D6D12588001 for ; Tue, 1 Oct 2013 09:58:01 +0900 (JST) Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98]) by postman.riken.jp (Postfix) with ESMTPA id A69F032A0085 for ; Tue, 1 Oct 2013 09:58:00 +0900 (JST) Message-ID: <524A1DF2.1040002@riken.jp> Date: Tue, 01 Oct 2013 09:57:22 +0900 From: Francois Berenger User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <5229DEF9.7040706@inria.fr> <5229F284.5050806@inria.fr> <5249310F.7090108@riken.jp> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2013.10.1.4815 Subject: Re: [Caml-list] from oasis to obuild (original subject was Re: Accelerating compilation) On 09/30/2013 11:11 PM, Sylvain Le Gall wrote: >> [...] >> Compile time before, with oasis: >> >> # cat build.sh >> #!/bin/bash >> >> #set -x >> >> oasis setup >> ocaml setup.ml -configure >> ocaml setup.ml -build >> >> # time ./build.sh >> real 0m9.397s >> >> Compile time after, with obuild: >> # obuild clean && time (obuild configure && obuild build -j 1) >> real 0m3.624s >> > > Note that given the proximity of obuild and _oasis files it should be > super easy to just convert 1 time the _oasis file to foo.obuild and keep > using _oasis while changing the build backend from ocamlbuild to obuild. > > OASIS is not building anything by itself, the time you report is > probably 90% due to ocamlbuild (the build backend). Sylvain, I fully trust you on this one. And since I dislike ocamlbuild, I am getting rid of it or tools that use it as their default compilation backend. obuild seems like the perfect choice to fill my needs. I do like oasis, but you also know that I started quite early to reclaim some other compilation engine to be supported by oasis. Best regards, Francois. > BTW, this kind of _oasis -> obuild conversion is a topic I have > discussed with the author of obuild and I am 100% willing to do the > conversion plugin if it makes sense. > > > Regards > Sylvain > >> -- >> Best regards, >> Francois Berenger. >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> > > Cheers, > Sylvain Le Gall