From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3RJTrDH015377 for ; Fri, 27 Apr 2012 21:29:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloBAHfymk/RVdS0kGdsb2JhbABEhWiaJZFvCCIBAQEBCQkNBxQEI4IJAQEBBBICDx0BGxILAQMMBgMCCw0CAgkdAgIhAQERAQUBChIGExIQh1wBAwsLnQkKi1NQgnOFFQoZJwMKV4h2AQULgSSIWIYkgRgElX2BEYhHgWWDIz2EJw X-IronPort-AV: E=Sophos;i="4.75,492,1330902000"; d="scan'208";a="155968359" Received: from mail-wi0-f180.google.com ([209.85.212.180]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Apr 2012 21:29:48 +0200 Received: by wibhm17 with SMTP id hm17so840510wib.9 for ; Fri, 27 Apr 2012 12:29:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=jvysUE5DViIJxu/6ikM+mvccwH8rPVQJ2VF4RoZoF7w=; b=R/IlNjDJmPr6iXKX708dBRZ0qxWaiTChSAngVx6t3pBWP7xsjf8Gtwxqq/OyUJIBgb ufKX4Mk9jPCUDXer3thJ2WGIYqIdVHYgAxvbd8DjR40p/BCc2qFeQmXMBuX36y73Qxm7 1tSRr9m2/3ry+FTYCrDc0E6t+/lzW2HrcNF7iErW05aqBUfnMje7ovMpyPGdFARvOZDA VG3dOeSM8S4eVjd5yCWYAfRcS3oX0UHJdKUx24R+vw3HBtCZhdbLCrMGZWVkUHLyT/jU z9YqmveeWCgce4gqZsTlYy8gxCe17mZ6A7g9mVzs0Q90KIrclCGmSvVL7eywd3c3mubw f/zw== MIME-Version: 1.0 Received: by 10.180.97.41 with SMTP id dx9mr8714030wib.9.1335554987844; Fri, 27 Apr 2012 12:29:47 -0700 (PDT) Received: by 10.180.163.132 with HTTP; Fri, 27 Apr 2012 12:29:47 -0700 (PDT) In-Reply-To: <4F9AE764.4060409@gmail.com> References: <4F9AE39B.8010500@gmail.com> <4F9AE764.4060409@gmail.com> Date: Fri, 27 Apr 2012 15:29:47 -0400 Message-ID: From: Markus Mottl To: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: Caml List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3RJTrDH015377 Subject: Re: [Caml-list] ocamlfind + sexplib + bin_io Hi, even the following should work if everything is installed correctly: ocamlfind ocamlc -linkpkg -package sexplib.syntax,bin_prot.syntax -syntax camlp4o main.ml The currently best supported versions of type_conv, sexplib, and bin_prot can be found in my fork of Jane Street's Core library here: https://bitbucket.org/mmottl/ocaml-core-mmottl Installation is fairly easy: it only requires uninstalling all Jane Street Godi packages, type_conv, bin_prot, and sexplib, installing Oasis 0.3, and running one script "build-and-install", which will install ocamlfind packages for all libraries. It may unfortunately still take a little while before Jane Street will release their latest version of Core, which should integrate the above and also finally into Godi. Until then people who want to use Core or any of type_conv, sexplib, and bin_prot are probably well-advised to not use the Godi packages. Regards, Markus On Fri, Apr 27, 2012 at 14:37, Matej Košík <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote: > On 04/27/2012 07:24 PM, David Allsopp wrote: >> Try adding -verbose to the call - ocamlfind will display the commands it is executing which may help refine the problem. > > With this: > > ocamlfind ocamlc -verbose -linkpkg -package > sexplib,sexplib.syntax,bin_prot,bin_prot.syntax -syntax camlp4o main.ml > > I get the following output: > > Effective set of preprocessor predicates: preprocessor,syntax,camlp4o > Effective set of compiler predicates: > pkg_unix,pkg_bigarray,pkg_num.core,pkg_num,pkg_sexplib,pkg_camlp4,pkg_type_conv,pkg_sexplib.syntax,pkg_bin_prot,pkg_type-conv,pkg_bin_prot.syntax,syntax,autolink,byte > + ocamlc.opt -verbose -I /home/mkosik/lib/godi/lib/ocaml/pkg-lib/num -I > /home/mkosik/lib/godi/lib/ocaml/std-lib/camlp4 -I > /home/mkosik/lib/godi/lib/ocaml/pkg-lib/type_conv -I > /home/mkosik/lib/godi/lib/ocaml/pkg-lib/sexplib -I > /home/mkosik/lib/godi/lib/ocaml/pkg-lib/type-conv -I > /home/mkosik/lib/godi/lib/ocaml/pkg-lib/bin_prot -pp "camlp4 '-I' > '/home/mkosik/lib/godi/lib/ocaml/std-lib/camlp4' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/type_conv' '-I' > '/home/mkosik/lib/godi/lib/ocaml/std-lib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/std-lib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/std-lib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/num' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/sexplib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/sexplib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/type-conv' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/bin_prot' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/bin_prot' '-parser' 'o' > '-parser' 'op' '-printer' 'p' 'pa_type_conv.cma' 'unix.cma' > 'bigarray.cma' 'nums.cma' 'sexplib.cma' 'pa_sexp_conv.cma' > 'pa_type_conv.cma' 'bin_prot.cma' 'pa_bin_prot.cma' " > /home/mkosik/lib/godi/lib/ocaml/std-lib/unix.cma > /home/mkosik/lib/godi/lib/ocaml/std-lib/bigarray.cma > /home/mkosik/lib/godi/lib/ocaml/std-lib/nums.cma > /home/mkosik/lib/godi/lib/ocaml/pkg-lib/sexplib/sexplib.cma > /home/mkosik/lib/godi/lib/ocaml/pkg-lib/bin_prot/bin_prot.cma main.ml > + camlp4 '-I' '/home/mkosik/lib/godi/lib/ocaml/std-lib/camlp4' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/type_conv' '-I' > '/home/mkosik/lib/godi/lib/ocaml/std-lib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/std-lib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/std-lib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/num' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/sexplib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/sexplib' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/type-conv' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/bin_prot' '-I' > '/home/mkosik/lib/godi/lib/ocaml/pkg-lib/bin_prot' '-parser' 'o' > '-parser' 'op' '-printer' 'p' 'pa_type_conv.cma' 'unix.cma' > 'bigarray.cma' 'nums.cma' 'sexplib.cma' 'pa_sexp_conv.cma' > 'pa_type_conv.cma' 'bin_prot.cma' 'pa_bin_prot.cma'  'main.ml' > > /tmp/camlpp99eefa > Camlp4: Uncaught exception: Not_found > > -- > Caml-list mailing list.  Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com