From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 4CBBBBB84 for ; Thu, 29 Jan 2009 10:21:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoADAFIDgUnCpx6wZGdsb2JhbACUBRoLCgYStj2EDgY X-IronPort-AV: E=Sophos;i="4.37,343,1231110000"; d="scan'208";a="34433146" Received: from smtpmin.univ-orleans.fr (HELO min.univ-orleans.fr) ([194.167.30.176]) by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Jan 2009 10:21:28 +0100 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id 0B18712B549; Thu, 29 Jan 2009 10:21:28 +0100 (CET) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id B353736E60; Thu, 29 Jan 2009 10:21:28 +0100 (CET) Subject: Re: [Caml-list] Re: Conditional compilation wrt OCaml version? From: David Rajchenbach-Teller To: Sylvain Le Gall Cc: caml-list@inria.fr In-Reply-To: References: <1233005104.20843.25.camel@Blefuscu> Content-Type: text/plain; charset=utf-8 Date: Thu, 29 Jan 2009 10:21:35 +0100 Message-Id: <1233220895.7188.1.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; compilation:01 ocaml:01 ens-lyon:01 univ-orleans:01 lifo:01 2009:98 wrote:01 caml-list:01 chercheurs:03 readme:03 readme:03 conditional:04 distributed:05 researchers:07 wrt:10 Exactly what I needed. Thanks, David On Mon, 2009-01-26 at 21:40 +0000, Sylvain Le Gall wrote: > There is optcomp: > https://forge.ocamlcore.org/projects/optcomp/ > http://darcs.ocamlcore.org/repos/optcomp/optcomp/README > > The example in README should talk to you directly. -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller La Recherche publique est liquidée. Les chercheurs sont en colère. Latest News of French Research: System being liquidated. Researchers angry.