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 B5E2E7F30A for ; Sat, 9 Mar 2013 13:19:38 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of wojciech.meyer@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-wg0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUBAGQnO1FKfVIxiGdsb2JhbABDh2O9AIFgFg4BAQEKCRQUBCSCLQEBBAFAARsdAQMBCwYFCxYlDwEEDxEBBQEiE4gAAQMJBgSdMowygnuEJQoZJw1ZiHwBBQyPAAeDQAOWVIEejXM/hC0 X-IPAS-Result: AvUBAGQnO1FKfVIxiGdsb2JhbABDh2O9AIFgFg4BAQEKCRQUBCSCLQEBBAFAARsdAQMBCwYFCxYlDwEEDxEBBQEiE4gAAQMJBgSdMowygnuEJQoZJw1ZiHwBBQyPAAeDQAOWVIEejXM/hC0 X-IronPort-AV: E=Sophos;i="4.84,813,1355094000"; d="scan'208";a="4762253" Received: from mail-wg0-f49.google.com ([74.125.82.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Mar 2013 13:19:38 +0100 Received: by mail-wg0-f49.google.com with SMTP id 15so3367755wgd.4 for ; Sat, 09 Mar 2013 04:19:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-type; bh=FcabRu9idmaQyylU5XPT6K+Wr6kHMpgSmTFMFzL2ikM=; b=yYfLwxWcqvOXTsGmzYYfNByrT3z+uHVbJMXlg6LLVJ/r4kCgJ+MFetyLSGhGDKBwFS Xmd68VyaBAHdivcLY3NRyHaVqdoI/2rDzqv2Vp1DhBdFrz/Lj0hehGXdkeO54c4u3nl3 LiVEo43rVj+0YwT1HRqPLu8sQ4V1GhuYRMI0NEM9CaPxdRO9riO1A1WLAkkk1EoVOMgs V9T88vqNGK+uU291dhq38Bw1MXHoE0KU4ETdc2cuVCT1qLqIBJO/YWz7TrNRh46Zrw8d m2JfyL95NT4MDdA4nv3iUXKRnchgrYF58PnymJA0qUpvllX/hXa7XRtCekZFIybVbgkn y7CA== X-Received: by 10.180.83.10 with SMTP id m10mr3486932wiy.5.1362831577678; Sat, 09 Mar 2013 04:19:37 -0800 (PST) Received: from spec-desktop.danmey.org (cpc2-cmbg12-0-0-cust796.5-4.cable.virginmedia.com. [86.9.203.29]) by mx.google.com with ESMTPS id q2sm4229115wiz.8.2013.03.09.04.19.35 (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Sat, 09 Mar 2013 04:19:36 -0800 (PST) From: Wojciech Meyer To: Philip Cc: caml-list@inria.fr References: <20130309112541.65ae99b1@philip-Compaq-Tablet-PC-TC1000> Date: Sat, 09 Mar 2013 12:19:37 +0000 In-Reply-To: <20130309112541.65ae99b1@philip-Compaq-Tablet-PC-TC1000> (Philip's message of "Sat, 9 Mar 2013 11:25:41 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] simplequestion: compile with opam Hi, Philip writes: > Hi, > > just installed omanad via opam & tried compiling: > > ocamlopt -ppx ppx_omonad test.ml > sh: ppx_omonad: not found > Error while running external preprocessor > > obviously a path / option is missing. > May someone give me a hint? Just use ppx_monad rather than ppx_omonad. -- Wojciech Meyer http://danmey.org