Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save akavel/a79998df8ea9520f8048b970f8a42975 to your computer and use it in GitHub Desktop.
Save akavel/a79998df8ea9520f8048b970f8a42975 to your computer and use it in GitHub Desktop.
C:\cygwin64\home\Mateusz\.opam\system\bin>set PATH=%PATH%;c:\cygwin64\home\Mateusz\.opam\system\lib\stublibs
C:\cygwin64\home\Mateusz\.opam\system\bin>utop
────────────────────────────┬──────────────────────────────────────────────────────────────┬────────────────────────────
│ Welcome to utop version 1.19.3 (using OCaml version 4.02.3)! │
└──────────────────────────────────────────────────────────────┘
Type #utop_help for help about using utop.
─( 00:51:04 )─< command 0 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─
utop # #use "topfind";;
Cannot find file topfind.
─( 00:51:04 )─< command 1 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─
utop # Topdirs.dir_directory "/cygwin64/home/Mateusz/.opam/system/lib/toplevel"
;;
- : unit = ()
─( 00:51:12 )─< command 2 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─
utop # #use "topfind";;
- : unit = ()
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 = ()
─( 00:58:22 )─< command 3 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─
utop # #require "ctypes.foreign";;
Cannot load required shared library dllctypes-foreign-base_stubs.
Reason: dllctypes-foreign-base_stubs.dll: Operacja ukończona pomyślnie.
.
Error: Reference to undefined global `Ctypes_closure_properties'
─( 00:58:30 )─< command 4 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─
utop # #require "ctypes";;
─( 01:01:45 )─< command 5 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─
utop # #require "ctypes.foreign";;
Error: Reference to undefined global `Ctypes_closure_properties'
$ PATH=$PATH:/home/Mateusz/.opam/system/lib/stublibs/ rlwrap ocaml
OCaml version 4.02.3
# #use "topfind";;
Cannot find file topfind.
# Topdirs.dir_directory "/cygwin64/home/Mateusz/.opam/system/lib/toplevel";;
- : unit = ()
# #use "topfind";;
- : unit = ()
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 = ()
# #require "ctypes.foreign";;
C:\OCaml\lib\unix.cma: loaded
C:\OCaml\lib\bigarray.cma: loaded
C:\OCaml\lib\str.cma: loaded
C:\cygwin64\home\Mateusz\.opam\system\lib\bytes: added to search path
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes: added to search path
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes\ctypes.cma: loaded
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes\ctypes-foreign-base.cma: loaded
Cannot load required shared library dllctypes-foreign-base_stubs.
Reason: dllctypes-foreign-base_stubs.dll: Cannot resolve ffi_type_pointer.
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes\ctypes-foreign-unthreaded.cma: loaded
Characters -1--1:
#require "ctypes.foreign";;
Error: Reference to undefined global `Ctypes_closure_properties'
#
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment