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 q29CMk0h003633 for ; Fri, 9 Mar 2012 13:22:46 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkEALP1WU9ZELGagWdsb2JhbABEhTWwHgEBFiYnggoBAQUjVhALGAICJgICITYGE4gKBAeoTpIdgS+IDYYIM2MElUmLJIdb X-IronPort-AV: E=Sophos;i="4.73,557,1325458800"; d="scan'208";a="148429472" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail1-smtp-roc.national.inria.fr with SMTP; 09 Mar 2012 13:22:41 +0100 Received: (qmail 29285 invoked by uid 634); 9 Mar 2012 12:22:40 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from dhcp-128-232-143-117.eduroam.csx.cam.ac.uk (HELO dhcp-128-232-143-117.eduroam.csx.cam.ac.uk) (128.232.143.117) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Fri, 09 Mar 2012 12:22:39 +0000 Mime-Version: 1.0 (Apple Message framework v1257) Content-Type: text/plain; charset=utf-8 From: Anil Madhavapeddy In-Reply-To: Date: Fri, 9 Mar 2012 12:22:40 +0000 Cc: Adrien , =?iso-8859-1?Q?Daniel_B=FCnzli?= , caml-list@inria.fr Message-Id: References: <1991A512A37E49ACA5AAD30A38D628BF@erratique.ch> To: Sylvain Le Gall X-Mailer: Apple Mail (2.1257) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q29CMk0h003633 Subject: Re: [Caml-list] Re: oasis packaging questions On 8 Mar 2012, at 22:26, Sylvain Le Gall wrote: > > 2012/3/8 Adrien : >> Hi, >> >> On 08/03/2012, Sylvain Le Gall wrote: >>> Hi, >>> >>> 2012/3/8 Daniel Bünzli : >>>> Le jeudi, 8 mars 2012 ŕ 09:31, Sylvain Le Gall a écrit : >>>>> setup.ml will be enough for me ;-) But I am biased. >>>> >>>> For distribution, I'm fine with that aswell. For developement setup.ml >>>> takes too much time to invoke (adds an overhead of 0.5s on my system). >>>> >>> >>> That the parsing time because the file is big. I know this issue and >>> will try to improve that in the future. I think a 50% down size is >>> possible, that will bring this time to 250ms. Although, I don't think >>> that even for development env a 500ms delay is that big... I doubt to >>> be able to reduce to ~0s. >> >> For my own stuff, I've been using a Makefile which includes a rule to >> (re)compile setup.ml into an executable with ocamlc.opt (compiling >> with ocamlopt was too slow). My usual development machine isn't >> terribly fast and this has helped a lot. >> >> I think there was a mention of an issue though but it can help a lot. > > Make sense. So super quick hack! > > Add at the beginning of setup.ml: A Makefile works just fine (and making the autogenerated code less complex rather than more would be better). This is the template Makefile I use: https://github.com/avsm/ocaml-github/blob/master/Makefile -anil