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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 60C567EE7C for ; Thu, 14 Apr 2016 14:57:13 +0200 (CEST) IronPort-PHdr: 9a23:QVKNih/zvbt9mP9uRHKM819IXTAuvvDOBiVQ1KB92+kcTK2v8tzYMVDF4r011RmSDdWdtqwP1raempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lSsiP0Y/qi6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wyserAvBzHBS6G538dVGpethtTH0CR5xj/WtL1szDmnut7wiiTe8PsG+MaQzOnuolxQRlnjyYcABQ++mbLwph+lqtdqxWgvFp1xITTfKmeOfM4cLmLLoBSfnZIQssED38JOYi7dYZaSrNZZes= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=None smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@oxalide-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@oxalide-out.extra.cea.fr) identity=helo; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@oxalide-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CTAADBkg9XkwjgqIRehAt9p32SQIFxIociORMBAQEBAQEBAREBAQEBCQsJCSEvgi2CPg8BBXYCBSECEQJMDQgCiCUOoCGPXZJpBHyRL4JWBZgLhXeMdYRbhVQCjykiAYJUHYE3aolGAQEB X-IPAS-Result: A0CTAADBkg9XkwjgqIRehAt9p32SQIFxIociORMBAQEBAQEBAREBAQEBCQsJCSEvgi2CPg8BBXYCBSECEQJMDQgCiCUOoCGPXZJpBHyRL4JWBZgLhXeMdYRbhVQCjykiAYJUHYE3aolGAQEB X-IronPort-AV: E=Sophos;i="5.24,484,1454972400"; d="scan'208";a="174302897" Received: from oxalide-out.extra.cea.fr ([132.168.224.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Apr 2016 14:57:12 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide.extra.cea.fr (8.15.2/8.15.2/CEAnet-Internet-out-2.4) with ESMTP id u3ECvCv9008138 for ; Thu, 14 Apr 2016 14:57:12 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 48051205E31 for ; Thu, 14 Apr 2016 14:58:32 +0200 (CEST) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 2F0E7205E3B for ; Thu, 14 Apr 2016 14:58:20 +0200 (CEST) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet2.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id u3ECuxrA030028 for ; Thu, 14 Apr 2016 14:56:59 +0200 From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= To: OCaml Mailing List Message-ID: <570F939B.70309@cea.fr> Date: Thu, 14 Apr 2016 14:56:59 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:44.0) Gecko/20100101 Icedove/44.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] ANN: Initial Release of OCI, a framework for continuous integrations and benchmarks Hi everyone, I'm pleased to release OCI. OCI is a framework for continuous integrations and benchmarks. At its heart it is a container manager and at the top a tool that allows to compile, test, and compare compilations and runs of inter-dependent git repositories. The main interest of OCI is to be able to select a specific commit of a project, and of its dependencies, easily. Here let's imagine myproj is your cool project ;) : * ./myproj-client run --rootfs 1 myproj * ./myproj-client run --rootfs 1 --myproj=cool_feature myproj * ./myproj-client run --rootfs 1 --ocaml=4.03 myproj * ./myproj-client run --rootfs 1 --ocaml=trunk --myproj=new_warning_trunk myproj This ability allows it to compare the performance of different commits of a project but also to compare between different versions of libraries or the compiler (ex: flambda) OCI is used continuously for testing pull-requests within the Frama-C development team, and it also allows to track continuously their compatibility with the current tip of ocaml 4.03 branch (automatically compiled when it changes). The tutorial at https://github.com/bobot/oci/blob/master/README.adoc will show you a full example of the abilities of OCI. The possibility to use OCI as a framework is not shown yet. You can install it with: opam install oci The repository is at: https://github.com/bobot/oci It has been presented at the last Ocaml User in Paris (OUPS) and it is supported by the ANR SOPRANO Project. Best, -- François Bobot