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 284457F72A for ; Wed, 10 Aug 2016 12:19:36 +0200 (CEST) IronPort-PHdr: 9a23:7J5HHxCJElqcnV4Oigz5UyQJP3N1i/DPJgcQr6AfoPdwSP7ypsbcNUDSrc9gkEXOFd2CrakV0qyO6Ou6ACRAuc/H6yFaNsQUFlcssoY/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbtr8FoOatcmrzef6o8SVOFQRwmLmKukrZFXu9EOK55FQ2dMjYo8KiTLx6kNSfOpXwW46bXmypD3bovmKwZh47i5LsOgg/cMTGY/zfqA/UKAKRG9+azN9zITRuBLCVQqC4GcHGiVTy0IQQluN0BavfZDvOyDhgdB63CCcMYWiX70yAjuv9Y9kTRbpjGEMMDtvo0/Njcklr6tYqR6870h8yo3dbJzTNPNwd6XUe9oySm9IX8IXXCtEVNDvJ7ATBvYMaL4L57L2oEED+F7nXVGh Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-ua0-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.217.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.217.173 as permitted sender) identity=mailfrom; client-ip=209.85.217.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@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-ua0-f173.google.com) identity=helo; client-ip=209.85.217.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-ua0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CvAAB6/qpXhq3ZVdFdhRcHuR+BfYYdAoFTBzoSAQEBAQEBAQERAQEBCAsLCRkvgjIEARMBghQBBRIRBBkBGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTFA6HdAEDF6NNgTI+Mos7gWqCWwWGVQoZJw1Ug14BAQEHAQEBARsCBhBxiXaCQ4FJNIMBgloFiCaGZIl+NIIriiuCPIFrgUqGQ4VLiC2EB4I4Ex6BDyUMgjIDEQuBTzkyhywBAQE X-IPAS-Result: A0CvAAB6/qpXhq3ZVdFdhRcHuR+BfYYdAoFTBzoSAQEBAQEBAQERAQEBCAsLCRkvgjIEARMBghQBBRIRBBkBGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTFA6HdAEDF6NNgTI+Mos7gWqCWwWGVQoZJw1Ug14BAQEHAQEBARsCBhBxiXaCQ4FJNIMBgloFiCaGZIl+NIIriiuCPIFrgUqGQ4VLiC2EB4I4Ex6BDyUMgjIDEQuBTzkyhywBAQE X-IronPort-AV: E=Sophos;i="5.28,499,1464645600"; d="scan'208";a="229518465" Received: from mail-ua0-f173.google.com ([209.85.217.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Aug 2016 12:19:34 +0200 Received: by mail-ua0-f173.google.com with SMTP id 97so62528356uav.3 for ; Wed, 10 Aug 2016 03:19:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=aeKAjuw+vR4Xap5EktbPdFFvxKyjBFAkI2WGSthwwZ4=; b=bmR+wtoO34ViC7E2X712j6VYGA735oME4DiZ3lYy8PRk4DdgGJo8ofedHfFPJG6oF9 U9njXRTjFGMAsqddL7V21+rPr3eHx+8INDhz4G/ZBeG1a6eyaZB5CQSHorkYJXVMzux7 n3ubBIa7Xx09cODiEig3ZllxlMun+FP4AAA2TTkvBUE3jASpXXxLW1jPwAjVsaS4P3Cc hBegQP5yoyx1QHAp20oFgUh3TeDzDqgn6TI5WkTJmd4cW2OL8MeJQ49ZsFR/XT0jPPqF DRugEDLQtt9EqzfkUT+JFe9xOWhPGmx/syQrn5QaS20nI/3hcrry7FQF1VOGlFNmA+tK 4A4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=aeKAjuw+vR4Xap5EktbPdFFvxKyjBFAkI2WGSthwwZ4=; b=UpSQGkeTB9RsefSHc9I2GoUqC33f8H4xln6ykFCJkVDy5Dmotg5l28vhP1bRO6WFP7 R/vamoWhU4odlB5r9unQfA/n989NDXFrGsFmZPwg4cW7tu7xnUxIcs0e4SlnzorbQOTW Ei7gdK5DpO3Dg53f1n8Em687xNFEYBG8JmhuGZlFdaa0vZl1l4dwavHWts3H1PxsAShN 7HVCFNQQcug7Ghd973+7wKgIMRNjEyBkrUaNrePBZNaOnG9o8Fzs4tUKJxWHrQ0CdBqS g4nzfIIzRSxeyLh4EPc3CQn0UrKwHZO6hDDIF1PG+/veyGeA7Li7a0ilDgWK8j+VEj7L XTWw== X-Gm-Message-State: AEkooutM3xX0vPdp+yevyOimlheOwLFCvYA5yOsRCoTAnAUDyU1Y43rx0OHXsyDq9t02eHuldrLNDbpWdFulWw== X-Received: by 10.176.3.242 with SMTP id 105mr1596441uau.112.1470824373616; Wed, 10 Aug 2016 03:19:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.31.52.6 with HTTP; Wed, 10 Aug 2016 03:19:13 -0700 (PDT) In-Reply-To: <1113f97f-4ad4-3589-6ff5-4e20d8657e5f@gmail.com> References: <1113f97f-4ad4-3589-6ff5-4e20d8657e5f@gmail.com> From: Kakadu Date: Wed, 10 Aug 2016 13:19:13 +0300 Message-ID: To: =?UTF-8?Q?Kov=C3=A1cs_Roland?= Cc: Caml List , ocaml_beginners@yahoogroups.com Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Beginner - Cannot set up Core and Batteries Can you try the same without line about `camlp4` in your ~/.ocamlinit file? It is very likely that you will not need it at all because modern versions of libraries doesn't require it anymore. Also, I can recommend you to compile ocaml locally using `opam switch 4.02.3 && eval $(opam config env)` command. kakadu On Wed, Aug 10, 2016 at 8:52 AM, Kov=C3=A1cs Roland wro= te: > Hello Everyone! > > I'm completely new to OCaml, but I've read that it's a good practice to > start by having both Batteries and the Core module installed. > I'm using Ubuntu 16.04, and installed ocaml, opam, utop from the official > PPAs as it seemed that the one provided for Ubuntu (avsm/ppa) is not work= ing > for 16.04! > > After installation I did opam init, and all the setups it asked me to do.= In > my .ocamlinit file I have what I've found as a fix for the error 'unbound > module'. > For one time utop found the modules, but since then it gives me an error. > > > Cheers, > Roland > -------------------------------------------------------------------- > Judging by the output of opam, the packages should be installed correctly= : > > $ opam list > # Installed packages for system: > base-bigarray base Bigarray library distributed with the OCaml > compi > base-bytes base Bytes library distributed with the OCaml > compiler > base-ocamlbuild base OCamlbuild binary and libraries distributed > with > base-threads base Threads library distributed with the OCaml > compil > base-unix base Unix library distributed with the OCaml > compiler > batteries 2.5.2 a community-maintained standard library > extension > bin_prot 113.33.03 A binary protocol generator > cmdliner 0.9.8 Declarative definition of command line > interfaces > conf-m4 1 Virtual package relying on m4 > core 113.33.03 Industrial strength alternative to OCaml's > standa > core_kernel 113.33.03 Industrial strength alternative to OCaml's > standa > cppo 1.3.2 Equivalent of the C preprocessor for OCaml > progra > depext 1.0.1 Query and install external dependencies of > OPAM p > fieldslib 113.33.03 Syntax extension to define first class val= ues > rep > js-build-tools 113.33.04 Collection of tools to help building Jane > Street > ocamlbuild 0 Build system distributed with the OCaml > compiler > ocamlfind 1.6.2 A library manager for OCaml > ppx_assert 113.33.03 Assert-like extension nodes that raise use= ful > err > ppx_bench 113.33.03 Syntax extension for writing in-line > benchmarks i > ppx_bin_prot 113.33.03 Generation of bin_prot readers and writers > from t > ppx_compare 113.33.03 Generation of comparison functions from ty= pes > ppx_core 113.33.03 Standard library for ppx rewriters > ppx_custom_printf 113.33.03 Printf-style format-strings for user-defin= ed > stri > ppx_deriving 4.0 Type-driven code generation for OCaml >=3D= 4.02 > ppx_driver 113.33.03 Feature-full driver for OCaml AST > transformers > ppx_enumerate 113.33.03 Generate a list containing all values of a > finite > ppx_expect 113.33.03 Cram like framework for OCaml > ppx_fail 113.33.03 Add location to calls to failwiths > ppx_fields_conv 113.33.03 Generation of accessor and iteration > functions fo > ppx_here 113.33.03 Expands [%here] into its location > ppx_inline_test 113.33.03 Syntax extension for writing in-line tests= in > oca > ppx_jane 113.33.03 Standard Jane Street ppx rewriters > ppx_let 113.33.03 Monadic let-bindings > ppx_optcomp 113.33.03 Optional compilation for OCaml > ppx_pipebang 113.33.03 A ppx rewriter that inlines reverse > application o > ppx_sexp_conv 113.33.03 Generation of S-expression conversion > functions f > ppx_sexp_message 113.33.03 A ppx rewriter for easy construction of > s-express > ppx_sexp_value 113.33.03 A ppx rewriter that simplifies building > s-express > ppx_tools 5.0+4.02.0 Tools for authors of ppx rewriters and oth= er > synt > ppx_type_conv 113.33.03 Support Library for type-driven code > generators > ppx_typerep_conv 113.33.03 Generation of runtime types from type > declaration > ppx_variants_conv 113.33.03 Generation of accessor and iteration > functions fo > re 1.6.1 RE is a regular expression library for OCa= ml > result 1.2 Compatibility Result module > sexplib 113.33.03 Library for serializing OCaml values to and > from > typerep 113.33.03 typerep is a library for runtime types. > variantslib 113.33.03 Part of Jane Street's Core library > > > -------------------------------------------------------------------- > My .ocmalinit : > > #use "topfind";; > #thread;; > #camlp4o;; > #require "core.std";; > #require "core.syntax";; > #require "batteries";; > > let () =3D > try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH") > with Not_found -> () > ;; > > -------------------------------------------------------------------- > What ocaml prints : > > $ ocaml > OCaml version 4.02.3 > Findlib has been successfully loaded. Additional directives: > #require "package";; to load a package > #list;; to list the available packages > #camlp4o;; to load camlp4 (standard syntax) > #camlp4r;; to load camlp4 (revised syntax) > #predicates "p,q,...";; to set these predicates > Topfind.reset();; to force that packages will be reloaded > #thread;; to enable threads > > /usr/lib/ocaml/threads: added to search path > /usr/lib/ocaml/unix.cma: loaded > /usr/lib/ocaml/threads/threads.cma: loaded > /usr/lib/ocaml/dynlink.cma: loaded > /usr/lib/ocaml/camlp4: added to search path > /usr/lib/ocaml/camlp4/camlp4o.cma: loaded > No such package: core.std > /home/zen3ger/.opam/system/lib/core: added to search path > /usr/lib/ocaml/nums.cma: loaded > /home/zen3ger/.opam/system/lib/num-top: added to search path > /home/zen3ger/.opam/system/lib/num-top/num_top.cma: loaded > Camlp4 Parsing version 4.02.3 > > /home/zen3ger/.opam/system/lib/num: added to search path > /usr/lib/ocaml/bigarray.cma: loaded > /usr/lib/ocaml/str.cma: loaded > /home/zen3ger/.opam/system/lib/bytes: added to search path > /home/zen3ger/.opam/system/lib/batteries: added to search path > /home/zen3ger/.opam/system/lib/batteries/batteries.cma: loaded > /home/zen3ger/.opam/system/lib/batteries/batteriesConfig.cmo: loaded > /home/zen3ger/.opam/system/lib/batteries/batteriesHelp.cmo: loaded > /home/zen3ger/.opam/system/lib/batteries/batteriesPrint.cmo: loaded > /home/zen3ger/.opam/system/lib/batteries/batteriesThread.cma: loaded > /home/zen3ger/.opam/system/lib/batteries/batteriesThread.cma: loaded > > > -------------------------------------------------------------------- > What utop prints : > > Findlib has been successfully loaded. Additional directives: > #require "package";; to load a package > #list;; to list the available packages > #camlp4o;; to load camlp4 (standard syntax) > #camlp4r;; to load camlp4 (revised syntax) > #predicates "p,q,...";; to set these predicates > Topfind.reset();; to force that packages will be reloaded > #thread;; to enable threads > > No such package: core.std > No such package: core.syntax > No such package: batteries >