From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E72117EE4B for ; Tue, 1 Oct 2013 14:26:11 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sylvain@le-gall.net) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="sylvain@le-gall.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArgAAHS+SlJQW+UDmWdsb2JhbABagz+ufJQHFg4BAQEBAQgLCwcUKIIlAQEEASdHGwsYDSEQLAkSGRKHYgMJCgiyaAOJdI9uhAwDmS6Tbw X-IPAS-Result: ArgAAHS+SlJQW+UDmWdsb2JhbABagz+ufJQHFg4BAQEBAQgLCwcUKIIlAQEEASdHGwsYDSEQLAkSGRKHYgMJCgiyaAOJdI9uhAwDmS6Tbw X-IronPort-AV: E=Sophos;i="4.90,1013,1371074400"; d="scan'208";a="35079532" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 01 Oct 2013 14:26:09 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1VQz1k-0008V0-2s for caml-list@inria.fr; Tue, 01 Oct 2013 14:26:08 +0200 Received: from root.ovh.le-gall.net ([37.59.37.175]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 01 Oct 2013 14:26:08 +0200 Received: from sylvain by root.ovh.le-gall.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 01 Oct 2013 14:26:08 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Date: Tue, 1 Oct 2013 12:25:50 +0000 (UTC) Message-ID: References: <5229DEF9.7040706@inria.fr> <5229F284.5050806@inria.fr> <5249310F.7090108@riken.jp> <524A1DF2.1040002@riken.jp> X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: root.ovh.le-gall.net User-Agent: slrn/pre1.0.0-18 (Linux) Subject: Re: [Caml-list] from oasis to obuild (original subject was Re: Accelerating compilation) On 01-10-2013, Francois Berenger wrote: > On 09/30/2013 11:11 PM, Sylvain Le Gall wrote: >>> 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. Fair enough, so let make this happen! Are you willing to be a tester or helping me on the topic. I have seen that there are some tools to handle _oasis file in obuild, but given there extreme simpicity, I think this was just a try and probably not working: https://github.com/vincenthz/obuild/blob/master/tools/assimilate_oasis.ml Let's grow this into something that work really with _oasis file and have the possibility to choose a different backend for OASIS. I have contacted obuild author to see how we can cooperate on the topic and I would like to do something to have at least another build engine possible. Cheers Sylvain > >> 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 > > -- > 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 -- Website: http://sylvain.le-gall.net/ OCaml forge: http://forge.ocamlcore.org OCaml blogs: http://planet.ocaml.org