Re: [Caml-list] Beginner - Cannot set up Core and Batteries

[Kakadu <kakadu.hafanana@gmail.com>]

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ács Roland <zen3ger@gmail.com> 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éssel, Kakadu írta:
>>
>> 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ács Roland <zen3ger@gmail.com> 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 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
>>> 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
>>> >=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
>>> 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 () =
>>>    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
>>>
>