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 EB2AB7F30A for ; Sat, 9 Mar 2013 11:26:36 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of feucht@uni-koblenz.de) identity=pra; client-ip=141.26.64.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="feucht@uni-koblenz.de"; x-sender="feucht@uni-koblenz.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of feucht@uni-koblenz.de) identity=mailfrom; client-ip=141.26.64.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="feucht@uni-koblenz.de"; x-sender="feucht@uni-koblenz.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@deliver.uni-koblenz.de) identity=helo; client-ip=141.26.64.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="feucht@uni-koblenz.de"; x-sender="postmaster@deliver.uni-koblenz.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuMBACINO1GNGkAPiWdsb2JhbABDxkEWDgEBARUSFAUjgi4/ezSIeJo1oH6PKYMqA44+iBWBH5Jg X-IPAS-Result: AuMBACINO1GNGkAPiWdsb2JhbABDxkEWDgEBARUSFAUjgi4/ezSIeJo1oH6PKYMqA44+iBWBH5Jg X-IronPort-AV: E=Sophos;i="4.84,813,1355094000"; d="scan'208";a="4755956" Received: from deliver.uni-koblenz.de ([141.26.64.15]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Mar 2013 11:26:36 +0100 Received: from localhost (localhost [127.0.0.1]) by deliver.uni-koblenz.de (Postfix) with ESMTP id 15E7E1A898E for ; Sat, 9 Mar 2013 11:26:34 +0100 (CET) X-Virus-Scanned: amavisd-new at uni-koblenz.de Received: from deliver.uni-koblenz.de ([127.0.0.1]) by localhost (deliver.uni-koblenz.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id l89rjtWt8VZe for ; Sat, 9 Mar 2013 11:26:33 +0100 (CET) Received: from philip-Compaq-Tablet-PC-TC1000 (dhcp10.uni-koblenz.de [141.26.71.10]) by deliver.uni-koblenz.de (Postfix) with ESMTPA id BCB771A898D for ; Sat, 9 Mar 2013 11:26:33 +0100 (CET) Date: Sat, 9 Mar 2013 11:25:41 +0100 From: Philip To: caml-list@inria.fr Message-ID: <20130309112541.65ae99b1@philip-Compaq-Tablet-PC-TC1000> X-Mailer: Claws Mail 3.7.6 (GTK+ 2.22.0; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: [Caml-list] simplequestion: compile with opam 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? Greetings, Philip