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 F353B7F72A for ; Wed, 10 Aug 2016 14:14:15 +0200 (CEST) IronPort-PHdr: 9a23:A5gIgxMEwLfId7wjyo4l6mtUPXoX/o7sNwtQ0KIMzox0KPX6rarrMEGX3/hxlliBBdydsKMdzbKK+Pq7ESxYuNDa4ShEKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9GO35F8bogtit0KjqotuIMlwO3Gb2O+g6bE3v616A7o9O2coqA51y4yOBmmFPdeVSyDEgDnOotDG42P2N+oV++T9bofMr+p0Ie6z7e6MlUe4QV2x+YCgdrffmvhjbTAaJ+mBUEiBPykIJUED560TZWYl4uTDNjO150S+WdZnkQLZvVjm4x6huQR7sziwAMmhq3nvQj5lThaFSrA/p8x92wIfYfceVPfR3eKrbdPsVQGNAWoBaUCkXUdD0VJcGE+dUZbUQlIL6vVZb6ELmXQQ= Authentication-Results: mail3-smtp-sop.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-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.217.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.217.181 as permitted sender) identity=mailfrom; client-ip=209.85.217.181; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ua0-f181.google.com) identity=helo; client-ip=209.85.217.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-ua0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CwAADhGatXhrXZVdFdhBt8B7EsiXAchgECgVcHOxEBAQEBAQEBAREBAQEICwsJGS+CMgQBEwGCFAEFEhEEGQEbHQEDDAYDAgsNAgImAgIhAQERAQUBHAYTCAwOh3QBAxeUFI9EgTI+Mos7gWqCWwWGVAoZJw1Ug14BAQEHAgEcAgYQcYl2gkOBSTSDAYJaAQSIJoZkiX40giuDcoY5gjyBa058gxGDMoVLiC2EB4I4Ex6BDzSCLwMRC4FPOTKHLAEBAQ X-IPAS-Result: A0CwAADhGatXhrXZVdFdhBt8B7EsiXAchgECgVcHOxEBAQEBAQEBAREBAQEICwsJGS+CMgQBEwGCFAEFEhEEGQEbHQEDDAYDAgsNAgImAgIhAQERAQUBHAYTCAwOh3QBAxeUFI9EgTI+Mos7gWqCWwWGVAoZJw1Ug14BAQEHAgEcAgYQcYl2gkOBSTSDAYJaAQSIJoZkiX40giuDcoY5gjyBa058gxGDMoVLiC2EB4I4Ex6BDzSCLwMRC4FPOTKHLAEBAQ X-IronPort-AV: E=Sophos;i="5.28,499,1464645600"; d="scan'208";a="187353544" Received: from mail-ua0-f181.google.com ([209.85.217.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Aug 2016 14:14:14 +0200 Received: by mail-ua0-f181.google.com with SMTP id 97so66420468uav.3 for ; Wed, 10 Aug 2016 05:14:14 -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=he063RmISiRCYq3r7jsAz4tVe07AcIrDY6MtdAYWU7k=; b=M0G6khw9szauFJs7lokwlTf6vNnOPdza+xUcWKPRCJLJjX+pn//om185H4SdgXs8Uq twepwaqnm+VTXjtdJ1kUPQtODPuNgepKfwUMgpkSN/6Xt6V9kJZtaRzrOZ2rgrc08Z5A r8C+DxN1yXKw3/+jLL4J6tg0CiPrBGHQKATlgVyFzOlBuItU7SwetDdSS+1+VzPUz/kR now0SIkz8FIRGczhY1V4Dc4nr4TBN1hMhOiMOUBezlq/OU0Q7MuYfTNXHfDqlSObcIpK C36NMxiW1dkPq8+CmhqXvza2zdNJWrB/EEHilMbUIAXc06Jx1MCG+N0RLInHovce9mTE utQQ== 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=he063RmISiRCYq3r7jsAz4tVe07AcIrDY6MtdAYWU7k=; b=GybYGT5o5lFLgmY8DwcLy5FgUMIkbR9LQflESNNzxALFO4fW7KZD8/UMo+Hjai2UFi Va3wTQXXbRpHcS6fODJvE9ikEA4ZDb6Ny3HwMYfqgmkdEiiQ9A1IRBm5IeQEftTZbEyF Fc6xXkIK3EMFuDAFy8WB/cXt8J2rgMGpuAk69hltCK7D0AwjyqtcOn4Qjqvng0geLWkH L2b6ZsGhKl3C3aAaa8u5EZimeBtI1o7SAvHLIDYRVOi8Qn19Xina1rnl8LNJXHsa6u20 KrT92uL5mirNebVmJJWprCMYrwvW39Nfb7nTWz1TmgdfoOdP3RdWf2Gt9g/gNUpYAVw4 TXDQ== X-Gm-Message-State: AEkoousx77QrzWbBVw9Z2QsFrWs7mzeWx+f5EAa8z3lftLcrR2MxJDSDeIl9EFvG5lzxRKhGlDOYQ2d1japRMw== X-Received: by 10.159.37.101 with SMTP id 92mr1738079uaz.109.1470831252510; Wed, 10 Aug 2016 05:14:12 -0700 (PDT) MIME-Version: 1.0 Received: by 10.31.52.6 with HTTP; Wed, 10 Aug 2016 05:13:52 -0700 (PDT) In-Reply-To: References: <1113f97f-4ad4-3589-6ff5-4e20d8657e5f@gmail.com> <591153db-3b69-cacc-35cc-83096ca2a145@gmail.com> From: Kakadu Date: Wed, 10 Aug 2016 15:13:52 +0300 Message-ID: To: =?UTF-8?Q?Kov=C3=A1cs_Roland?= Cc: Caml List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Beginner - Cannot set up Core and Batteries Roland, Please use button `Reply to all` instead of `Reply`. You don't need to change distro, you need just to spend some time for configuration. For example, you can put eval `opam config env` to your ~/.bashrc and opam will be should configured well on every new tter= minal Btw, I managed to load core to toplevel. Look what I have typed manually and put this in your ~/.ocamlinit file. N.B. `-no-init` switch forbids toplevel `ocaml` to read ~/.ocamlinit. After that I think that both `ocaml` and `utop` will work. Happy hacking, Kakadu $ ocaml -noinit OCaml version 4.02.3 # #use "topfind";; - : unit =3D () 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 - : unit =3D () # #thread;; /home/kakadu/.opam/4.02.3/lib/ocaml/threads: added to search path /home/kakadu/.opam/4.02.3/lib/ocaml/unix.cma: loaded /home/kakadu/.opam/4.02.3/lib/ocaml/threads/threads.cma: loaded # #require "core.top";; /home/kakadu/.opam/4.02.3/lib/ocaml/bigarray.cma: loaded /home/kakadu/.opam/4.02.3/lib/bin_prot: added to search path /home/kakadu/.opam/4.02.3/lib/bin_prot/bin_prot.cma: loaded /home/kakadu/.opam/4.02.3/lib/custom_printf: added to search path /home/kakadu/.opam/4.02.3/lib/custom_printf/custom_printf.cma: loaded /home/kakadu/.opam/4.02.3/lib/variantslib: added to search path /home/kakadu/.opam/4.02.3/lib/variantslib/variantslib.cma: loaded /home/kakadu/.opam/4.02.3/lib/sexplib: added to search path /home/kakadu/.opam/4.02.3/lib/sexplib/sexplib.cma: loaded /home/kakadu/.opam/4.02.3/lib/enumerate: added to search path /home/kakadu/.opam/4.02.3/lib/fieldslib: added to search path /home/kakadu/.opam/4.02.3/lib/fieldslib/fieldslib.cma: loaded /home/kakadu/.opam/4.02.3/lib/pa_bench: added to search path /home/kakadu/.opam/4.02.3/lib/pa_bench/pa_bench_lib.cma: loaded /home/kakadu/.opam/4.02.3/lib/pa_ounit: added to search path /home/kakadu/.opam/4.02.3/lib/pa_ounit/pa_ounit_lib.cma: loaded /home/kakadu/.opam/4.02.3/lib/pa_test: added to search path /home/kakadu/.opam/4.02.3/lib/pa_test/pa_test_lib.cma: loaded /home/kakadu/.opam/4.02.3/lib/typerep_lib: added to search path /home/kakadu/.opam/4.02.3/lib/typerep_lib/typerep_lib.cma: loaded /home/kakadu/.opam/4.02.3/lib/core_kernel: added to search path /home/kakadu/.opam/4.02.3/lib/core_kernel/core_kernel.cma: loaded /home/kakadu/.opam/4.02.3/lib/sexplib_unix: added to search path /home/kakadu/.opam/4.02.3/lib/sexplib_unix/sexplib_unix.cma: loaded /home/kakadu/.opam/4.02.3/lib/pa_structural_sexp: added to search path /home/kakadu/.opam/4.02.3/lib/pa_structural_sexp/pa_structural_sexp_lib.cma: loaded /home/kakadu/.opam/4.02.3/lib/core: added to search path /home/kakadu/.opam/4.02.3/lib/core/core.cma: loaded /home/kakadu/.opam/4.02.3/lib/core/core_top.cma: loaded /home/kakadu/.opam/4.02.3/lib/core/core_top.cma: loaded # open Core.Std;; # On Wed, Aug 10, 2016 at 2:36 PM, Kov=C3=A1cs Roland wro= te: > I've removed the utop installed by apt, then did `opam install core > batteries utop` and `eval $(opam config env)`. > > The given errors might be a bug, as now neither utop and ocaml throws an > error when I type `open Core.Std;;` (it's even shown in the suggestions in > utop). > > But now in every terminal session I have to do `eval $(opam config env)` > before I can start using utop. > > Is there a different Linux distro which supports OCaml well, so it's much > simpler to set up? I don't mind distro hopping. > > Roland > > -------------------------------------------------------------------------= ------------------ > > My .ocamlinit now is : > > $ cat .ocamlinit > #use "topfind";; > #thread;; > #require "core.std";; > #require "core.syntax";; > #require "batteries";; > > let () =3D > try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH") > with Not_found -> () > ;; > -------------------------------------------------------------------------= ------------------ > > Utop still imports camlp4, and can't find core.std > > $ utop > =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=AC=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=AC=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80 > =E2=94=82 Welcome to utop version 1.19.2 (using OCaml version 4.0= 2.3)!=E2=94=82 > =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=98 > 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 > > Type #utop_help for help about using utop. > > -------------------------------------------------------------------------= ------------------ > > ocaml can't find core.std and loads camlp4 too... > > $ 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 > > /home/zen3ger/.opam/4.02.3/lib/ocaml/threads: added to search path > /home/zen3ger/.opam/4.02.3/lib/ocaml/unix.cma: loaded > /home/zen3ger/.opam/4.02.3/lib/ocaml/threads/threads.cma: loaded > No such package: core.std > /home/zen3ger/.opam/4.02.3/lib/core: added to search path > /home/zen3ger/.opam/4.02.3/lib/ocaml/nums.cma: loaded > /home/zen3ger/.opam/4.02.3/lib/num-top: added to search path > /home/zen3ger/.opam/4.02.3/lib/num-top/num_top.cma: loaded > /home/zen3ger/.opam/4.02.3/lib/num: added to search path > /home/zen3ger/.opam/4.02.3/lib/ocaml/bigarray.cma: loaded > /home/zen3ger/.opam/4.02.3/lib/ocaml/str.cma: loaded > /home/zen3ger/.opam/4.02.3/lib/bytes: added to search path > /home/zen3ger/.opam/4.02.3/lib/batteries: added to search path > /home/zen3ger/.opam/4.02.3/lib/batteries/batteries.cma: loaded > /home/zen3ger/.opam/4.02.3/lib/batteries/batteriesConfig.cmo: loaded > /home/zen3ger/.opam/4.02.3/lib/batteries/batteriesHelp.cmo: loaded > /home/zen3ger/.opam/4.02.3/lib/batteries/batteriesPrint.cmo: loaded > /home/zen3ger/.opam/4.02.3/lib/batteries/batteriesThread.cma: loaded > /home/zen3ger/.opam/4.02.3/lib/batteries/batteriesThread.cma: loaded > > > > 2016-08-10 12:53 keltez=C3=A9ssel, Kakadu =C3=ADrta: >> >> It seems that you have done `opam switch` and now some packages are >> not installed. (I.e. opam doesn't look for packages installled in >> /usr/lib anymore.) So, toplevel gives you an error about unknown >> topfind. >> >> It's likely that `opam install core batteries utop` will fix that. >> >> But it is a little bit strange that utop still prints the same. It is >> likely that you have a little bit dirty environment. You can try to >> reopen terminal and try again and see that result differs. Don't >> forget to do `eval $(opam config env)` at the beginnning! >> >> Kakadu >> >> On Wed, Aug 10, 2016 at 1:48 PM, Kov=C3=A1cs Roland = wrote: >>> >>> Hi! >>> >>> Thans for the tip! >>> >>> I've tried and utop still prints exactly the same, and it still imports >>> camlp4, while ocaml prints another error now: >>> >>> $ ocaml >>> OCaml version 4.02.3 >>> >>> Cannot find file topfind. >>> Unknown directive `thread'. >>> >>> Roland >>> >>> >>> 2016-08-10 12:19 keltez=C3=A9ssel, Kakadu =C3=ADrta: >>>> >>>> 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 >>>> wrote: >>>>> >>>>> 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 >>>>> working >>>>> 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 OCa= ml >>>>> 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 >>>>> values >>>>> 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 >>>>> useful >>>>> 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 >>>>> types >>>>> ppx_core 113.33.03 Standard library for ppx rewriters >>>>> ppx_custom_printf 113.33.03 Printf-style format-strings for >>>>> user-defined >>>>> stri >>>>> ppx_deriving 4.0 Type-driven code generation for OCaml >>>>>> >>>>>> =3D4.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 >>>>> other >>>>> 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 >>>>> OCaml >>>>> 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 >>>>> >