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

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

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
>