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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 75E9A7F164 for ; Sun, 6 Mar 2016 21:39:45 +0100 (CET) IronPort-PHdr: 9a23:aQYoWh9ffd4CX/9uRHKM819IXTAuvvDOBiVQ1KB91uscTK2v8tzYMVDF4r011RmSDdqdtKMP0rGG+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU0JX8jrvis7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqAQWD8vNmRw4MzwqTHCSxGO7z0SSDNFvABPBl3u7BzmFrLsqDf6p6Ip3TSAIc3nC7s0VCiK4KJiSRuugyACYW1quFrLg9B92foI6CmqoAZyltbZ Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=murthy.chet@gmail.com; spf=Pass smtp.mailfrom=murthy.chet@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f171.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of murthy.chet@gmail.com) identity=pra; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of murthy.chet@gmail.com designates 209.85.223.171 as permitted sender) identity=mailfrom; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f171.google.com) identity=helo; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="postmaster@mail-io0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ACAQCvlNxWlavfVdFdhHkGqDQEA4cdjFeHJgdMAQEBAQEBAQEQAQEBAQcLCwkhL4ItggsiER0BGx4DEggBAgU3AiQBEQEFASIbGodqAQMSoH2CB4ExPjGLNoFqgleEbQoZJw1RhBoBBQoEkgCBOgWOJIkGjW1ia40tjRcRHoEPgnaBcRsuiT0BAQE X-IPAS-Result: A0ACAQCvlNxWlavfVdFdhHkGqDQEA4cdjFeHJgdMAQEBAQEBAQEQAQEBAQcLCwkhL4ItggsiER0BGx4DEggBAgU3AiQBEQEFASIbGodqAQMSoH2CB4ExPjGLNoFqgleEbQoZJw1RhBoBBQoEkgCBOgWOJIkGjW1ia40tjRcRHoEPgnaBcRsuiT0BAQE X-IronPort-AV: E=Sophos;i="5.22,547,1449529200"; d="scan'208,217";a="206231027" Received: from mail-io0-f171.google.com ([209.85.223.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Mar 2016 21:39:44 +0100 Received: by mail-io0-f171.google.com with SMTP id m184so112278794iof.1 for ; Sun, 06 Mar 2016 12:39:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to; bh=vzDbZc6BtUcPMiWo25gW3oMz9oJLLteXVK4Za+E3iuo=; b=clMNhWO61G/leScIwcE29P3ETWk2NqwjJqOD2AJloNcArQ14zHcBrb2fEevBopsRpd xCw7xDtOSW/qPlBpPe8n59nnQ5+ONGZqQm5t6myo5RdNTaLtUei9lEUCTb4uIgUhZoNE GRH1CL3WRbuylUiWBbV0YcGpM7hteJPLbE8rXhWWjZzMsyvGBU76qOpflMY6e4Pa8aRA jfwmX7O8321KiWD1dctH/KJzMUX3jR/7wBLJenwWUOV2yctflth/gI9YCqF5s1+Vvm2s 3uhGa4SaRbYLCrp3XfoY4k+BPwUC1gERB3gbf+NxK9ANdI5SacRxG54negNo6Ums0+3g 2LEA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to; bh=vzDbZc6BtUcPMiWo25gW3oMz9oJLLteXVK4Za+E3iuo=; b=EE47uRCgB9dpboD4po7Tr26gGOsjOkR1vxJgKx9H++vXmBAUEzSCS237M/wdnb5mRq ZshjdaKcAlo+lYhUNVq7PxpoD9jMUs1PHHCcM7LH0CZvnG7ABME4WYWTzDrUqj+RZrK9 oZ0u6mFaDy9FeoVxb4xFvJHhNzy8B1Pc9EjHiZDuZJVavNKFQogFfFDbwMMbw7rvTdGo a9xLPUlFArVOsrmKxH+VOPkliIXWWR3POu+fLbGTZnOVfj9DNtigHkgbzVQ9DSMaxyXz SEO6XQAx0SaR1yO7RSHNH+UdwLUsaZrreYotUUpj92IJTdaeQlODNICJSbsa3zYA2qMO OOyQ== X-Gm-Message-State: AD7BkJKIWyAmeKp7eBjxnwxH+MDh6BXMlEabJrLQXcK0KOx6iQklI4UxwiEhURWr+z3SUfwi7f2iQucgWUT3cQ== MIME-Version: 1.0 X-Received: by 10.107.166.80 with SMTP id p77mr14212107ioe.88.1457296783334; Sun, 06 Mar 2016 12:39:43 -0800 (PST) Received: by 10.36.15.14 with HTTP; Sun, 6 Mar 2016 12:39:43 -0800 (PST) Date: Sun, 6 Mar 2016 12:39:43 -0800 Message-ID: From: Chet Murthy To: caml-list Content-Type: multipart/alternative; boundary=001a1141f23c1a69bd052d675906 Subject: [Caml-list] oasis and camlidl ? --001a1141f23c1a69bd052d675906 Content-Type: text/plain; charset=UTF-8 I searched around the 'net, and can't find anything that explains how to use oasis with camlidl. Is that supported? If not, does anybody have any suggestions for where to look for workarounds? I have my perennial fallback (ocamlmakefile), but I'd prefer to use oasis if I can. Thanks, --chet-- --001a1141f23c1a69bd052d675906 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

I searched around the 'net, and can't fin= d anything that explains how to use oasis with camlidl.=C2=A0 Is that suppo= rted?=C2=A0 If not, does anybody have any suggestions for where to look for= workarounds?=C2=A0 I have my perennial fallback (ocamlmakefile), but I'= ;d prefer to use oasis if I can.

Thanks,
--chet--

--001a1141f23c1a69bd052d675906--