Guest User

Untitled

a guest
Jun 29th, 2013
159
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 3.99 KB | None | 0 0
  1. % cat .ocamlinit && echo "" | ocaml
  2. #use "topfind"
  3. #thread
  4. #require "dynlink"
  5. #camlp4o
  6. #require "bin_prot.syntax"
  7. #require "sexplib.syntax"
  8. #require "variantslib.syntax"
  9. #require "fieldslib.syntax"
  10. #require "comparelib.syntax"
  11. #require "core"
  12. #require "async"
  13. #require "core_extended"
  14. #require "core.top"
  15. OCaml version 4.02.0+dev0-2013-06-13
  16.  
  17. Findlib has been successfully loaded. Additional directives:
  18. #require "package";; to load a package
  19. #list;; to list the available packages
  20. #camlp4o;; to load camlp4 (standard syntax)
  21. #camlp4r;; to load camlp4 (revised syntax)
  22. #predicates "p,q,...";; to set these predicates
  23. Topfind.reset();; to force that packages will be reloaded
  24. #thread;; to enable threads
  25.  
  26. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/threads: added to search path
  27. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/unix.cma: loaded
  28. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/threads/threads.cma: loaded
  29. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/dynlink.cma: loaded
  30. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/camlp4: added to search path
  31. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/camlp4/camlp4o.cma: loaded
  32. /home/kaustuv/.opam/4.02.0dev+trunk/lib/type_conv: added to search path
  33. /home/kaustuv/.opam/4.02.0dev+trunk/lib/type_conv/pa_type_conv.cma: loaded
  34. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/bigarray.cma: loaded
  35. /home/kaustuv/.opam/4.02.0dev+trunk/lib/bin_prot: added to search path
  36. /home/kaustuv/.opam/4.02.0dev+trunk/lib/bin_prot/bin_prot.cma: loaded
  37. /home/kaustuv/.opam/4.02.0dev+trunk/lib/bin_prot/pa_bin_prot.cma: loaded
  38. /home/kaustuv/.opam/4.02.0dev+trunk/lib/ocaml/nums.cma: loaded
  39. /home/kaustuv/.opam/4.02.0dev+trunk/lib/num-top: added to search path
  40. /home/kaustuv/.opam/4.02.0dev+trunk/lib/num-top/num_top.cma: loaded
  41. Camlp4 Parsing version 4.02.0+dev0-2013-06-13
  42.  
  43. /home/kaustuv/.opam/4.02.0dev+trunk/lib/num: added to search path
  44. /home/kaustuv/.opam/4.02.0dev+trunk/lib/sexplib: added to search path
  45. /home/kaustuv/.opam/4.02.0dev+trunk/lib/sexplib/sexplib.cma: loaded
  46. /home/kaustuv/.opam/4.02.0dev+trunk/lib/sexplib/pa_sexp_conv.cma: loaded
  47. /home/kaustuv/.opam/4.02.0dev+trunk/lib/variantslib: added to search path
  48. /home/kaustuv/.opam/4.02.0dev+trunk/lib/variantslib/variantslib.cma: loaded
  49. /home/kaustuv/.opam/4.02.0dev+trunk/lib/variantslib/pa_variants_conv.cma: loaded
  50. /home/kaustuv/.opam/4.02.0dev+trunk/lib/fieldslib: added to search path
  51. /home/kaustuv/.opam/4.02.0dev+trunk/lib/fieldslib/fieldslib.cma: loaded
  52. /home/kaustuv/.opam/4.02.0dev+trunk/lib/fieldslib/pa_fields_conv.cma: loaded
  53. /home/kaustuv/.opam/4.02.0dev+trunk/lib/comparelib: added to search path
  54. /home/kaustuv/.opam/4.02.0dev+trunk/lib/comparelib/comparelib.cma: loaded
  55. /home/kaustuv/.opam/4.02.0dev+trunk/lib/comparelib/pa_compare.cma: loaded
  56. /home/kaustuv/.opam/4.02.0dev+trunk/lib/oUnit: added to search path
  57. /home/kaustuv/.opam/4.02.0dev+trunk/lib/oUnit/oUnit.cma: loaded
  58. /home/kaustuv/.opam/4.02.0dev+trunk/lib/pa_ounit: added to search path
  59. /home/kaustuv/.opam/4.02.0dev+trunk/lib/pa_ounit/pa_ounit_lib.cma: loaded
  60. /home/kaustuv/.opam/4.02.0dev+trunk/lib/res: added to search path
  61. /home/kaustuv/.opam/4.02.0dev+trunk/lib/res/res.cma: loaded
  62. /home/kaustuv/.opam/4.02.0dev+trunk/lib/core_kernel: added to search path
  63. /home/kaustuv/.opam/4.02.0dev+trunk/lib/core_kernel/core_kernel.cma: loaded
  64. Cannot load required shared library dllcore_kernel_stubs.
  65. Reason: dllcore_kernel_stubs.so: dllcore_kernel_stubs.so: cannot open shared object file: No such file or directory.
  66. /home/kaustuv/.opam/4.02.0dev+trunk/lib/core: added to search path
  67. /home/kaustuv/.opam/4.02.0dev+trunk/lib/core/core.cma: loaded
  68. Cannot load required shared library dllcore_stubs.
  69. Reason: dllcore_stubs.so: dllcore_stubs.so: cannot open shared object file: No such file or directory.
  70. /home/kaustuv/.opam/4.02.0dev+trunk/lib/core/core_top.cma: loaded
  71. File ".ocamlinit", line 1:
  72. Error: Reference to undefined global `Core'
  73. #
Advertisement
Add Comment
Please, Sign In to add comment